Authors: Herbelin, Hugo, Ilik, Danko
Contributors: Les assistants à la démonstration au cœur du raisonnement mathématique (PICUBE), Inria de Paris, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Institut de Recherche en Informatique Fondamentale (IRIF (UMR_8243)), Centre National de la Recherche Scientifique (CNRS)-Université Paris Cité (UPCité)-Centre National de la Recherche Scientifique (CNRS)-Université Paris Cité (UPCité), Institut de Recherche en Informatique Fondamentale (IRIF (UMR_8243)), Centre National de la Recherche Scientifique (CNRS)-Université Paris Cité (UPCité), Centre National d'Études Spatiales Toulouse (CNES)
Superior Title: https://inria.hal.science/hal-04408312 ; 2024.
Subject Terms: Tarski semantics, Henkin's proof of Gödel's completeness, Computational contents of proofs, Reverse mathematics, MSC 03B10 Classical first-order logicMSC 03B35 Mechanization of proofs and logical operationsMSC 03C07 Basic properties of first-order languages and structuresMSC 03F07 Structure of proofsMSC 03F65 Other constructive mathematicsMSC 03-03 History of mathematical logic and foundations, [MATH.MATH-LO]Mathematics [math]/Logic [math.LO]
Relation: info:eu-repo/semantics/altIdentifier/arxiv/2401.13304; hal-04408312; https://inria.hal.science/hal-04408312; https://inria.hal.science/hal-04408312/document; https://inria.hal.science/hal-04408312/file/godelcompl-hal2024.pdf; ARXIV: 2401.13304
Availability:
https://inria.hal.science/hal-04408312
https://inria.hal.science/hal-04408312/document
https://inria.hal.science/hal-04408312/file/godelcompl-hal2024.pdf
Authors: Saint-Germier, Pierre, Verdée, Peter
Contributors: Sciences et Technologies de la Musique et du Son (STMS), Institut de Recherche et Coordination Acoustique/Musique (IRCAM)-Sorbonne Université (SU)-Centre National de la Recherche Scientifique (CNRS), Université Catholique de Louvain = Catholic University of Louvain (UCL)
Superior Title: https://hal.science/hal-04382596 ; 2024.
Subject Terms: Classical Core Logic Relevance and Substructurality, Classical Core Logic, Relevance, and Substructurality, [MATH.MATH-LO]Mathematics [math]/Logic [math.LO], [SHS.PHIL]Humanities and Social Sciences/Philosophy
Relation: hal-04382596; https://hal.science/hal-04382596; https://hal.science/hal-04382596/document; https://hal.science/hal-04382596/file/Classical_Core_Logic_Relevance_and_Substructurality%20-%20abstract.pdf
Availability:
https://hal.science/hal-04382596
https://hal.science/hal-04382596/document
https://hal.science/hal-04382596/file/Classical_Core_Logic_Relevance_and_Substructurality%20-%20abstract.pdf
Authors: Monin, Benoit, Patey, Ludovic
Contributors: Laboratoire d'Algorithmique Complexité et Logique (LACL), Université Paris-Est Créteil Val-de-Marne - Paris 12 (UPEC UP12), Algèbre, géométrie, logique (AGL), Institut Camille Jordan (ICJ), École Centrale de Lyon (ECL), Université de Lyon-Université de Lyon-Université Claude Bernard Lyon 1 (UCBL), Université de Lyon-Institut National des Sciences Appliquées de Lyon (INSA Lyon), Université de Lyon-Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université Jean Monnet - Saint-Étienne (UJM)-Centre National de la Recherche Scientifique (CNRS)-École Centrale de Lyon (ECL), Université de Lyon-Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université Jean Monnet - Saint-Étienne (UJM)-Centre National de la Recherche Scientifique (CNRS), Centre National de la Recherche Scientifique (CNRS), Equipe de Logique Mathématique (ELM), Institut de Mathématiques de Jussieu - Paris Rive Gauche (IMJ-PRG (UMR_7586)), Sorbonne Université (SU)-Centre National de la Recherche Scientifique (CNRS)-Université Paris Cité (UPCité)-Sorbonne Université (SU)-Centre National de la Recherche Scientifique (CNRS)-Université Paris Cité (UPCité)
Superior Title: ISSN: 0022-4812.
Subject Terms: [MATH.MATH-LO]Mathematics [math]/Logic [math.LO]
Relation: info:eu-repo/semantics/altIdentifier/arxiv/2204.02705; hal-03790535; https://hal.science/hal-03790535; https://hal.science/hal-03790535/document; https://hal.science/hal-03790535/file/pigeons-genericity.pdf; ARXIV: 2204.02705
Authors: Monin, Benoit, Patey, Ludovic
Contributors: Laboratoire d'Algorithmique Complexité et Logique (LACL), Université Paris-Est Créteil Val-de-Marne - Paris 12 (UPEC UP12), Algèbre, géométrie, logique (AGL), Institut Camille Jordan (ICJ), École Centrale de Lyon (ECL), Université de Lyon-Université de Lyon-Université Claude Bernard Lyon 1 (UCBL), Université de Lyon-Institut National des Sciences Appliquées de Lyon (INSA Lyon), Université de Lyon-Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université Jean Monnet - Saint-Étienne (UJM)-Centre National de la Recherche Scientifique (CNRS)-École Centrale de Lyon (ECL), Université de Lyon-Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université Jean Monnet - Saint-Étienne (UJM)-Centre National de la Recherche Scientifique (CNRS), Centre National de la Recherche Scientifique (CNRS), Equipe de Logique Mathématique (ELM), Institut de Mathématiques de Jussieu - Paris Rive Gauche (IMJ-PRG (UMR_7586)), Sorbonne Université (SU)-Centre National de la Recherche Scientifique (CNRS)-Université Paris Cité (UPCité)-Sorbonne Université (SU)-Centre National de la Recherche Scientifique (CNRS)-Université Paris Cité (UPCité)
Superior Title: ISSN: 0022-4812.
Subject Terms: [MATH.MATH-LO]Mathematics [math]/Logic [math.LO]
Relation: info:eu-repo/semantics/altIdentifier/arxiv/2204.02705; hal-03790535; https://hal.science/hal-03790535; https://hal.science/hal-03790535/document; https://hal.science/hal-03790535/file/pigeons-genericity.pdf; ARXIV: 2204.02705
Authors: Bompard, Tristan, Liu, Lu, Patey, Ludovic
Contributors: Laboratoire de physique subatomique et des technologies associées (SUBATECH), Institut National de Physique Nucléaire et de Physique des Particules du CNRS (IN2P3)-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Institut Mines-Télécom Paris (IMT)-Institut Mines-Télécom Paris (IMT)-Nantes université - UFR des Sciences et des Techniques (Nantes univ - UFR ST), Nantes Université - pôle Sciences et technologie, Nantes Université (Nantes Univ)-Nantes Université (Nantes Univ)-Nantes Université - pôle Sciences et technologie, Nantes Université (Nantes Univ)-Nantes Université (Nantes Univ), Centre National de la Recherche Scientifique (CNRS), Equipe de Logique Mathématique (ELM), Institut de Mathématiques de Jussieu - Paris Rive Gauche (IMJ-PRG (UMR_7586)), Sorbonne Université (SU)-Centre National de la Recherche Scientifique (CNRS)-Université Paris Cité (UPCité)-Sorbonne Université (SU)-Centre National de la Recherche Scientifique (CNRS)-Université Paris Cité (UPCité)
Superior Title: ISSN: 2156-3527.
Subject Terms: [MATH.MATH-LO]Mathematics [math]/Logic [math.LO]
Relation: info:eu-repo/semantics/altIdentifier/arxiv/2208.03152; hal-04254970; https://hal.science/hal-04254970; https://hal.science/hal-04254970/document; https://hal.science/hal-04254970/file/carlson-located-words.pdf; ARXIV: 2208.03152
Availability:
https://hal.science/hal-04254970
https://hal.science/hal-04254970/document
https://hal.science/hal-04254970/file/carlson-located-words.pdf
Authors: Bompard, Tristan, Liu, Lu, Patey, Ludovic
Contributors: Laboratoire de physique subatomique et des technologies associées (SUBATECH), Institut National de Physique Nucléaire et de Physique des Particules du CNRS (IN2P3)-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Institut Mines-Télécom Paris (IMT)-Institut Mines-Télécom Paris (IMT)-Nantes université - UFR des Sciences et des Techniques (Nantes univ - UFR ST), Nantes Université - pôle Sciences et technologie, Nantes Université (Nantes Univ)-Nantes Université (Nantes Univ)-Nantes Université - pôle Sciences et technologie, Nantes Université (Nantes Univ)-Nantes Université (Nantes Univ), Centre National de la Recherche Scientifique (CNRS), Equipe de Logique Mathématique (ELM), Institut de Mathématiques de Jussieu - Paris Rive Gauche (IMJ-PRG (UMR_7586)), Sorbonne Université (SU)-Centre National de la Recherche Scientifique (CNRS)-Université Paris Cité (UPCité)-Sorbonne Université (SU)-Centre National de la Recherche Scientifique (CNRS)-Université Paris Cité (UPCité)
Superior Title: ISSN: 2156-3527.
Subject Terms: [MATH.MATH-LO]Mathematics [math]/Logic [math.LO]
Relation: info:eu-repo/semantics/altIdentifier/arxiv/2208.03152; hal-04254970; https://hal.science/hal-04254970; https://hal.science/hal-04254970/document; https://hal.science/hal-04254970/file/carlson-located-words.pdf; ARXIV: 2208.03152
Availability:
https://hal.science/hal-04254970
https://hal.science/hal-04254970/document
https://hal.science/hal-04254970/file/carlson-located-words.pdf
Authors: de Rancourt, Noé, Miller, Benjamin
Contributors: Laboratoire Paul Painlevé - UMR 8524 (LPP), Université de Lille-Centre National de la Recherche Scientifique (CNRS), Universität Wien = University of Vienna, Univerzita Karlova Praha, Česká republika = Charles University Prague, Czech Republic (UK), Les deux auteurs ont été soutenus par la bourse FWF P29999.
Superior Title: ISSN: 0022-4812.
Subject Terms: Countable equivalence relation, Dichotomy, Intersection graph, Smooth equivalence relation, MSC (2020) : primaires 03E15, 28A05, [MATH.MATH-LO]Mathematics [math]/Logic [math.LO]
Relation: info:eu-repo/semantics/altIdentifier/arxiv/2105.05362; hal-04406982; https://hal.science/hal-04406982; https://hal.science/hal-04406982/document; https://hal.science/hal-04406982/file/SigmaSmooth_Revision.pdf; ARXIV: 2105.05362
Availability:
https://hal.science/hal-04406982
https://hal.science/hal-04406982/document
https://hal.science/hal-04406982/file/SigmaSmooth_Revision.pdf
Authors: Bompard, Tristan, Liu, Lu, Patey, Ludovic
Contributors: Laboratoire de physique subatomique et des technologies associées (SUBATECH), Institut National de Physique Nucléaire et de Physique des Particules du CNRS (IN2P3)-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Institut Mines-Télécom Paris (IMT)-Institut Mines-Télécom Paris (IMT)-Nantes université - UFR des Sciences et des Techniques (Nantes univ - UFR ST), Nantes Université - pôle Sciences et technologie, Nantes Université (Nantes Univ)-Nantes Université (Nantes Univ)-Nantes Université - pôle Sciences et technologie, Nantes Université (Nantes Univ)-Nantes Université (Nantes Univ), Centre National de la Recherche Scientifique (CNRS), Equipe de Logique Mathématique (ELM), Institut de Mathématiques de Jussieu - Paris Rive Gauche (IMJ-PRG (UMR_7586)), Sorbonne Université (SU)-Centre National de la Recherche Scientifique (CNRS)-Université Paris Cité (UPCité)-Sorbonne Université (SU)-Centre National de la Recherche Scientifique (CNRS)-Université Paris Cité (UPCité)
Superior Title: ISSN: 2156-3527.
Subject Terms: [MATH.MATH-LO]Mathematics [math]/Logic [math.LO]
Relation: info:eu-repo/semantics/altIdentifier/arxiv/2208.03152; hal-04254970; https://hal.science/hal-04254970; https://hal.science/hal-04254970/document; https://hal.science/hal-04254970/file/carlson-located-words.pdf; ARXIV: 2208.03152
Availability:
https://hal.science/hal-04254970
https://hal.science/hal-04254970/document
https://hal.science/hal-04254970/file/carlson-located-words.pdf
Authors: Monin, Benoit, Patey, Ludovic
Contributors: Laboratoire d'Algorithmique Complexité et Logique (LACL), Université Paris-Est Créteil Val-de-Marne - Paris 12 (UPEC UP12), Algèbre, géométrie, logique (AGL), Institut Camille Jordan (ICJ), École Centrale de Lyon (ECL), Université de Lyon-Université de Lyon-Université Claude Bernard Lyon 1 (UCBL), Université de Lyon-Institut National des Sciences Appliquées de Lyon (INSA Lyon), Université de Lyon-Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université Jean Monnet - Saint-Étienne (UJM)-Centre National de la Recherche Scientifique (CNRS)-École Centrale de Lyon (ECL), Université de Lyon-Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université Jean Monnet - Saint-Étienne (UJM)-Centre National de la Recherche Scientifique (CNRS), Centre National de la Recherche Scientifique (CNRS), Equipe de Logique Mathématique (ELM), Institut de Mathématiques de Jussieu - Paris Rive Gauche (IMJ-PRG (UMR_7586)), Sorbonne Université (SU)-Centre National de la Recherche Scientifique (CNRS)-Université Paris Cité (UPCité)-Sorbonne Université (SU)-Centre National de la Recherche Scientifique (CNRS)-Université Paris Cité (UPCité)
Superior Title: ISSN: 0022-4812.
Subject Terms: [MATH.MATH-LO]Mathematics [math]/Logic [math.LO]
Relation: info:eu-repo/semantics/altIdentifier/arxiv/2204.02705; hal-03790535; https://hal.science/hal-03790535; https://hal.science/hal-03790535/document; https://hal.science/hal-03790535/file/pigeons-genericity.pdf; ARXIV: 2204.02705
Authors: Bompard, Tristan, Liu, Lu, Patey, Ludovic
Contributors: Laboratoire de physique subatomique et des technologies associées (SUBATECH), Institut National de Physique Nucléaire et de Physique des Particules du CNRS (IN2P3)-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Institut Mines-Télécom Paris (IMT)-Institut Mines-Télécom Paris (IMT)-Nantes université - UFR des Sciences et des Techniques (Nantes univ - UFR ST), Nantes Université - pôle Sciences et technologie, Nantes Université (Nantes Univ)-Nantes Université (Nantes Univ)-Nantes Université - pôle Sciences et technologie, Nantes Université (Nantes Univ)-Nantes Université (Nantes Univ), Centre National de la Recherche Scientifique (CNRS), Equipe de Logique Mathématique (ELM), Institut de Mathématiques de Jussieu - Paris Rive Gauche (IMJ-PRG (UMR_7586)), Sorbonne Université (SU)-Centre National de la Recherche Scientifique (CNRS)-Université Paris Cité (UPCité)-Sorbonne Université (SU)-Centre National de la Recherche Scientifique (CNRS)-Université Paris Cité (UPCité)
Superior Title: ISSN: 2156-3527.
Subject Terms: [MATH.MATH-LO]Mathematics [math]/Logic [math.LO]
Relation: info:eu-repo/semantics/altIdentifier/arxiv/2208.03152; hal-04254970; https://hal.science/hal-04254970; https://hal.science/hal-04254970/document; https://hal.science/hal-04254970/file/carlson-located-words.pdf; ARXIV: 2208.03152
Availability:
https://hal.science/hal-04254970
https://hal.science/hal-04254970/document
https://hal.science/hal-04254970/file/carlson-located-words.pdf
Authors: Bompard, Tristan, Liu, Lu, Patey, Ludovic
Contributors: Laboratoire de physique subatomique et des technologies associées (SUBATECH), Institut National de Physique Nucléaire et de Physique des Particules du CNRS (IN2P3)-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Institut Mines-Télécom Paris (IMT)-Institut Mines-Télécom Paris (IMT)-Nantes université - UFR des Sciences et des Techniques (Nantes univ - UFR ST), Nantes Université - pôle Sciences et technologie, Nantes Université (Nantes Univ)-Nantes Université (Nantes Univ)-Nantes Université - pôle Sciences et technologie, Nantes Université (Nantes Univ)-Nantes Université (Nantes Univ), Centre National de la Recherche Scientifique (CNRS), Equipe de Logique Mathématique (ELM), Institut de Mathématiques de Jussieu - Paris Rive Gauche (IMJ-PRG (UMR_7586)), Sorbonne Université (SU)-Centre National de la Recherche Scientifique (CNRS)-Université Paris Cité (UPCité)-Sorbonne Université (SU)-Centre National de la Recherche Scientifique (CNRS)-Université Paris Cité (UPCité)
Superior Title: ISSN: 2156-3527.
Subject Terms: [MATH.MATH-LO]Mathematics [math]/Logic [math.LO]
Relation: info:eu-repo/semantics/altIdentifier/arxiv/2208.03152; hal-04254970; https://hal.science/hal-04254970; https://hal.science/hal-04254970/document; https://hal.science/hal-04254970/file/carlson-located-words.pdf; ARXIV: 2208.03152
Availability:
https://hal.science/hal-04254970
https://hal.science/hal-04254970/document
https://hal.science/hal-04254970/file/carlson-located-words.pdf
Authors: d'Auriac, Paul-Elliot Anglès, Cholak, Peter A., Dzhafarov, Damir D., Monin, Benoît, Patey, Ludovic
Contributors: University of Notre Dame Indiana (UND), University of Connecticut (UCONN), Laboratoire d'Algorithmique Complexité et Logique (LACL), Université Paris-Est Créteil Val-de-Marne - Paris 12 (UPEC UP12), Centre National de la Recherche Scientifique (CNRS), Algèbre, géométrie, logique (AGL), Institut Camille Jordan (ICJ), École Centrale de Lyon (ECL), Université de Lyon-Université de Lyon-Université Claude Bernard Lyon 1 (UCBL), Université de Lyon-Institut National des Sciences Appliquées de Lyon (INSA Lyon), Université de Lyon-Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université Jean Monnet - Saint-Étienne (UJM)-Centre National de la Recherche Scientifique (CNRS)-École Centrale de Lyon (ECL), Université de Lyon-Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université Jean Monnet - Saint-Étienne (UJM)-Centre National de la Recherche Scientifique (CNRS), ANR-19-CE48-0012,ACTC,Aspects Calculatoires des Théorèmes Combinatoires(2019)
Superior Title: Memoirs of the American Mathematical Society ; https://hal.science/hal-02991282 ; Memoirs of the American Mathematical Society, 2024, 293 (1457), pp.vi+118. ⟨10.48550/arXiv.2007.09739⟩
Subject Terms: [MATH.MATH-LO]Mathematics [math]/Logic [math.LO]
Relation: info:eu-repo/semantics/altIdentifier/arxiv/2007.09739; hal-02991282; https://hal.science/hal-02991282; https://hal.science/hal-02991282/document; https://hal.science/hal-02991282/file/milliken-tree.pdf; ARXIV: 2007.09739
Authors: Monin, Benoit, Patey, Ludovic
Contributors: Laboratoire d'Algorithmique Complexité et Logique (LACL), Université Paris-Est Créteil Val-de-Marne - Paris 12 (UPEC UP12), Algèbre, géométrie, logique (AGL), Institut Camille Jordan (ICJ), École Centrale de Lyon (ECL), Université de Lyon-Université de Lyon-Université Claude Bernard Lyon 1 (UCBL), Université de Lyon-Institut National des Sciences Appliquées de Lyon (INSA Lyon), Université de Lyon-Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université Jean Monnet - Saint-Étienne (UJM)-Centre National de la Recherche Scientifique (CNRS)-École Centrale de Lyon (ECL), Université de Lyon-Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université Jean Monnet - Saint-Étienne (UJM)-Centre National de la Recherche Scientifique (CNRS), Centre National de la Recherche Scientifique (CNRS), Equipe de Logique Mathématique (ELM), Institut de Mathématiques de Jussieu - Paris Rive Gauche (IMJ-PRG (UMR_7586)), Sorbonne Université (SU)-Centre National de la Recherche Scientifique (CNRS)-Université Paris Cité (UPCité)-Sorbonne Université (SU)-Centre National de la Recherche Scientifique (CNRS)-Université Paris Cité (UPCité)
Superior Title: ISSN: 0022-4812.
Subject Terms: [MATH.MATH-LO]Mathematics [math]/Logic [math.LO]
Relation: info:eu-repo/semantics/altIdentifier/arxiv/2204.02705; hal-03790535; https://hal.science/hal-03790535; https://hal.science/hal-03790535/document; https://hal.science/hal-03790535/file/pigeons-genericity.pdf; ARXIV: 2204.02705
Authors: Barritault, Rémi
Contributors: Algèbre, géométrie, logique (AGL), Institut Camille Jordan (ICJ), École Centrale de Lyon (ECL), Université de Lyon-Université de Lyon-Université Claude Bernard Lyon 1 (UCBL), Université de Lyon-Institut National des Sciences Appliquées de Lyon (INSA Lyon), Université de Lyon-Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université Jean Monnet - Saint-Étienne (UJM)-Centre National de la Recherche Scientifique (CNRS)-École Centrale de Lyon (ECL), Université de Lyon-Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université Jean Monnet - Saint-Étienne (UJM)-Centre National de la Recherche Scientifique (CNRS), Université Claude Bernard Lyon 1 (UCBL), Université de Lyon
Superior Title: https://hal.science/hal-04525798 ; 2024.
Subject Terms: oligomorphic groups, unitary representations, ω-categorical, Roelcke precompact groups, Tannaka, Krein, duality, [MATH.MATH-RT]Mathematics [math]/Representation Theory [math.RT], [MATH.MATH-GR]Mathematics [math]/Group Theory [math.GR], [MATH.MATH-LO]Mathematics [math]/Logic [math.LO]
Relation: hal-04525798; https://hal.science/hal-04525798; https://hal.science/hal-04525798/document; https://hal.science/hal-04525798/file/Tannaka_krein_duality.pdf
Availability:
https://hal.science/hal-04525798
https://hal.science/hal-04525798/document
https://hal.science/hal-04525798/file/Tannaka_krein_duality.pdf
Authors: Barritault, Rémi
Contributors: Algèbre, géométrie, logique (AGL), Institut Camille Jordan (ICJ), École Centrale de Lyon (ECL), Université de Lyon-Université de Lyon-Université Claude Bernard Lyon 1 (UCBL), Université de Lyon-Institut National des Sciences Appliquées de Lyon (INSA Lyon), Université de Lyon-Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université Jean Monnet - Saint-Étienne (UJM)-Centre National de la Recherche Scientifique (CNRS)-École Centrale de Lyon (ECL), Université de Lyon-Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université Jean Monnet - Saint-Étienne (UJM)-Centre National de la Recherche Scientifique (CNRS), Université Claude Bernard Lyon 1 (UCBL), Université de Lyon
Superior Title: https://hal.science/hal-04525798 ; 2024.
Subject Terms: oligomorphic groups, unitary representations, ω-categorical, Roelcke precompact groups, Tannaka, Krein, duality, [MATH.MATH-RT]Mathematics [math]/Representation Theory [math.RT], [MATH.MATH-GR]Mathematics [math]/Group Theory [math.GR], [MATH.MATH-LO]Mathematics [math]/Logic [math.LO]
Relation: hal-04525798; https://hal.science/hal-04525798; https://hal.science/hal-04525798/document; https://hal.science/hal-04525798/file/Tannaka_krein_duality.pdf
Availability:
https://hal.science/hal-04525798
https://hal.science/hal-04525798/document
https://hal.science/hal-04525798/file/Tannaka_krein_duality.pdf
Authors: Barritault, Rémi
Contributors: Algèbre, géométrie, logique (AGL), Institut Camille Jordan (ICJ), École Centrale de Lyon (ECL), Université de Lyon-Université de Lyon-Université Claude Bernard Lyon 1 (UCBL), Université de Lyon-Institut National des Sciences Appliquées de Lyon (INSA Lyon), Université de Lyon-Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université Jean Monnet - Saint-Étienne (UJM)-Centre National de la Recherche Scientifique (CNRS)-École Centrale de Lyon (ECL), Université de Lyon-Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université Jean Monnet - Saint-Étienne (UJM)-Centre National de la Recherche Scientifique (CNRS), Université Claude Bernard Lyon 1 (UCBL), Université de Lyon
Superior Title: https://hal.science/hal-04525798 ; 2024.
Subject Terms: oligomorphic groups, unitary representations, ω-categorical, Roelcke precompact groups, Tannaka, Krein, duality, [MATH.MATH-RT]Mathematics [math]/Representation Theory [math.RT], [MATH.MATH-GR]Mathematics [math]/Group Theory [math.GR], [MATH.MATH-LO]Mathematics [math]/Logic [math.LO]
Relation: hal-04525798; https://hal.science/hal-04525798; https://hal.science/hal-04525798/document; https://hal.science/hal-04525798/file/Tannaka_krein_duality.pdf
Availability:
https://hal.science/hal-04525798
https://hal.science/hal-04525798/document
https://hal.science/hal-04525798/file/Tannaka_krein_duality.pdf
Authors: Barritault, Rémi
Contributors: Algèbre, géométrie, logique (AGL), Institut Camille Jordan (ICJ), École Centrale de Lyon (ECL), Université de Lyon-Université de Lyon-Université Claude Bernard Lyon 1 (UCBL), Université de Lyon-Institut National des Sciences Appliquées de Lyon (INSA Lyon), Université de Lyon-Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université Jean Monnet - Saint-Étienne (UJM)-Centre National de la Recherche Scientifique (CNRS)-École Centrale de Lyon (ECL), Université de Lyon-Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université Jean Monnet - Saint-Étienne (UJM)-Centre National de la Recherche Scientifique (CNRS), Université Claude Bernard Lyon 1 (UCBL), Université de Lyon
Superior Title: https://hal.science/hal-04525798 ; 2024.
Subject Terms: oligomorphic groups, unitary representations, ω-categorical, Roelcke precompact groups, Tannaka, Krein, duality, [MATH.MATH-RT]Mathematics [math]/Representation Theory [math.RT], [MATH.MATH-GR]Mathematics [math]/Group Theory [math.GR], [MATH.MATH-LO]Mathematics [math]/Logic [math.LO]
Relation: hal-04525798; https://hal.science/hal-04525798; https://hal.science/hal-04525798/document; https://hal.science/hal-04525798/file/Tannaka_krein_duality.pdf
Availability:
https://hal.science/hal-04525798
https://hal.science/hal-04525798/document
https://hal.science/hal-04525798/file/Tannaka_krein_duality.pdf
Authors: Altinel, Tuna, Berkman, Ayse, Wagner, Frank Olaf
Contributors: Algèbre, géométrie, logique (AGL), Institut Camille Jordan (ICJ), École Centrale de Lyon (ECL), Université de Lyon-Université de Lyon-Université Claude Bernard Lyon 1 (UCBL), Université de Lyon-Institut National des Sciences Appliquées de Lyon (INSA Lyon), Université de Lyon-Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université Jean Monnet - Saint-Étienne (UJM)-Centre National de la Recherche Scientifique (CNRS)-École Centrale de Lyon (ECL), Université de Lyon-Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université Jean Monnet - Saint-Étienne (UJM)-Centre National de la Recherche Scientifique (CNRS), ANR-13-BS01-0006,ValCoMo,Valuations, Combinatoire et Théorie des Modèles(2013), ANR-19-CE40-0022,GeoMod,Configurations géométriques et combinatoires en théorie des modèles(2019)
Superior Title: https://hal.science/hal-01935537 ; 2024.
Subject Terms: sharply $2$-transitive, Frobenius group, finite Morley rank, permutation group, [MATH.MATH-LO]Mathematics [math]/Logic [math.LO], [MATH.MATH-RA]Mathematics [math]/Rings and Algebras [math.RA]
Relation: info:eu-repo/semantics/altIdentifier/arxiv/1811.10854; hal-01935537; https://hal.science/hal-01935537; https://hal.science/hal-01935537v3/document; https://hal.science/hal-01935537v3/file/ABW2bis.pdf; ARXIV: 1811.10854
Availability:
https://hal.science/hal-01935537
https://hal.science/hal-01935537v3/document
https://hal.science/hal-01935537v3/file/ABW2bis.pdf
Authors: Barritault, Rémi
Contributors: Algèbre, géométrie, logique (AGL), Institut Camille Jordan (ICJ), École Centrale de Lyon (ECL), Université de Lyon-Université de Lyon-Université Claude Bernard Lyon 1 (UCBL), Université de Lyon-Institut National des Sciences Appliquées de Lyon (INSA Lyon), Université de Lyon-Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université Jean Monnet - Saint-Étienne (UJM)-Centre National de la Recherche Scientifique (CNRS)-École Centrale de Lyon (ECL), Université de Lyon-Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université Jean Monnet - Saint-Étienne (UJM)-Centre National de la Recherche Scientifique (CNRS), Université Claude Bernard Lyon 1 (UCBL), Université de Lyon
Superior Title: https://hal.science/hal-04525798 ; 2024.
Subject Terms: oligomorphic groups, unitary representations, ω-categorical, Roelcke precompact groups, Tannaka, Krein, duality, [MATH.MATH-RT]Mathematics [math]/Representation Theory [math.RT], [MATH.MATH-GR]Mathematics [math]/Group Theory [math.GR], [MATH.MATH-LO]Mathematics [math]/Logic [math.LO]
Relation: hal-04525798; https://hal.science/hal-04525798; https://hal.science/hal-04525798/document; https://hal.science/hal-04525798/file/Tannaka_krein_duality.pdf
Availability:
https://hal.science/hal-04525798
https://hal.science/hal-04525798/document
https://hal.science/hal-04525798/file/Tannaka_krein_duality.pdf
Authors: Altinel, Tuna, Berkman, Ayse, Wagner, Frank Olaf
Contributors: Algèbre, géométrie, logique (AGL), Institut Camille Jordan (ICJ), École Centrale de Lyon (ECL), Université de Lyon-Université de Lyon-Université Claude Bernard Lyon 1 (UCBL), Université de Lyon-Institut National des Sciences Appliquées de Lyon (INSA Lyon), Université de Lyon-Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université Jean Monnet - Saint-Étienne (UJM)-Centre National de la Recherche Scientifique (CNRS)-École Centrale de Lyon (ECL), Université de Lyon-Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université Jean Monnet - Saint-Étienne (UJM)-Centre National de la Recherche Scientifique (CNRS), ANR-13-BS01-0006,ValCoMo,Valuations, Combinatoire et Théorie des Modèles(2013), ANR-19-CE40-0022,GeoMod,Configurations géométriques et combinatoires en théorie des modèles(2019)
Superior Title: https://hal.science/hal-01935537 ; 2024.
Subject Terms: sharply $2$-transitive, Frobenius group, finite Morley rank, permutation group, [MATH.MATH-LO]Mathematics [math]/Logic [math.LO], [MATH.MATH-RA]Mathematics [math]/Rings and Algebras [math.RA]
Relation: info:eu-repo/semantics/altIdentifier/arxiv/1811.10854; hal-01935537; https://hal.science/hal-01935537; https://hal.science/hal-01935537v3/document; https://hal.science/hal-01935537v3/file/ABW2bis.pdf; ARXIV: 1811.10854
Availability:
https://hal.science/hal-01935537
https://hal.science/hal-01935537v3/document
https://hal.science/hal-01935537v3/file/ABW2bis.pdf