Item request has been placed!

Item request cannot be made.

Processing Request

Search Results

Display Settings

Results per page: 10

Sort By: Relevance

Your Filters

Item request has been placed!

Item request cannot be made.

Processing Request

Academic Journal

Partition genericity and pigeonhole basis theorems

Authors : Monin, Benoit; Patey, Ludovic;

Subjects: [MATH.MATH-LO]Mathematics [math]/Logic [math.LO]

Source: ISSN: 0022-4812.

Read More Add to Saved list

Academic Journal

The reverse mathematics of Carlson's theorem for located words

Authors : Bompard, Tristan; Liu, Lu; Patey, Ludovic ...

Subjects: [MATH.MATH-LO]Mathematics [math]/Logic [math.LO]

Source: ISSN: 2156-3527.

Read More Add to Saved list

Academic Journal

A dichotomy for countable unions of smooth Borel equivalence relations

Authors : de Rancourt, Noé; Miller, Benjamin;

Subjects: Countable equivalence relation; Dichotomy; Intersection graph

Source: ISSN: 0022-4812.

Read More Add to Saved list

Academic Journal

Milliken's tree theorem and its applications: a computability-theoretic perspective

Authors : d'Auriac, Paul-Elliot Anglès; Cholak, Peter A.; Dzhafarov, Damir D. ...

Subjects: [MATH.MATH-LO]Mathematics [math]/Logic [math.LO]

Source: 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⟩

Read More Add to Saved list

Report

$\Pi^0_4$ conservation of Ramsey's theorem for pairs

Authors : Houérou, Quentin Le; Levy Patey, Ludovic; Yokoyama, Keita ...

Subjects: [MATH.MATH-LO]Mathematics [math]/Logic [math.LO]

Source: https://hal.science/hal-04563930 ; 2024.

Read More Add to Saved list

Report

$\Pi^0_4$ conservation of the Ordered Variable Word theorem

Authors : Houérou, Quentin Le; Patey, Ludovic Levy;

Subjects: [MATH.MATH-LO]Mathematics [math]/Logic [math.LO]

Source: https://hal.science/hal-04563918 ; 2024.

Read More Add to Saved list

Report

Conservation of Ramsey's theorem for pairs and well-foundedness

Authors : Le Houérou, Quentin; Levy Patey, Ludovic; Yokoyama, Keita ...

Subjects: [MATH.MATH-LO]Mathematics [math]/Logic [math.LO]

Source: https://hal.science/hal-04464369 ; 2024.

Read More Add to Saved list

Report

On groups and fields interpretable in differentially closed valued fields and in various $\mathrm{NTP_2}$ fields

Authors : Wang, Paul Z.;

Subjects: Definable groups; definable fields; MSC: 03C45

Source: https://hal.science/hal-04494574 ; 2024.

Read More Add to Saved list

Report

On some Fraïssé limits with free amalgamation

Authors : Bossut, Yvon;

Subjects: NSOP 1 theories; Kim-independence; Model theory

Source: https://hal.science/hal-04501440 ; 2024.

Read More Add to Saved list

Report

An analysis of the constructive content of Henkin's proof of Gödel's completeness theorem ; Une analyse du contenu constructif de la preuve de Henkin du théorème de complétude de Gödel

Authors : Herbelin, Hugo; Ilik, Danko;

Subjects: Tarski semantics; Henkin's proof of Gödel's completeness; Computational contents of proofs

Source: https://inria.hal.science/hal-04408312 ; 2024.

Read More Add to Saved list