Fraïssé’s conjecture in [math]-comprehension

Journal of Mathematical Logic 17 (2):1750006 (2017)
  Copy   BIBTEX

Abstract

We prove Fraïssé’s conjecture within the system of Π11-comprehension. Furthermore, we prove that Fraïssé’s conjecture follows from the Δ20-bqo-ness of 3 over the system of Arithmetic Transfinite Recursion, and that the Δ20-bqo-ness of 3 is a Π21-statement strictly weaker than Π11-comprehension.

Categories

Keywords

Reprint years

DOI

10.1142/s0219061317500064

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,783

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Fermat's last theorem and Catalan's conjecture in weak exponential arithmetics.Petr Glivický & Vítězslav Kala - 2017 - Mathematical Logic Quarterly 63 (3-4):162-174.
On Fraïssé’s conjecture for linear orders of finite Hausdorff rank.Alberto Marcone & Antonio Montalbán - 2009 - Annals of Pure and Applied Logic 160 (3):355-367.
Equivalence between Fraïssé’s conjecture and Jullien’s theorem.Antonio Montalbán - 2006 - Annals of Pure and Applied Logic 139 (1):1-42.
Computability of fraïssé limits.Barbara F. Csima, Valentina S. Harizanov, Russell Miller & Antonio Montalbán - 2011 - Journal of Symbolic Logic 76 (1):66 - 93.
On the set-theoretic strength of the existence of disjoint cofinal sets in posets without maximal elements.Paul Howard, Denis I. Saveliev & Eleftherios Tachtsis - 2016 - Mathematical Logic Quarterly 62 (3):155-176.
On Fraïssé's Order Type Conjecture.Richard Laver & Saharon Shelah - 1987 - Journal of Symbolic Logic 52 (2):571-574.
On Martin's Axiom and Forms of Choice.Eleftherios Tachtsis - 2016 - Mathematical Logic Quarterly 62 (3):190-203.
The ultra‐weak Ash conjecture and some particular cases.Annie Chateau & Malika More - 2006 - Mathematical Logic Quarterly 52 (1):4-13.
Socrate, portraits et enseignements, coll. « SUP — Les grands textes ».Anne Fraisse & Jean-Claude Fraisse - 1974 - Revue Philosophique de la France Et de l'Etranger 164 (2):195-196.
Comprehension contradicts to the induction within Łukasiewicz predicate logic.Shunsuke Yatabe - 2009 - Archive for Mathematical Logic 48 (3-4):265-268.
Naïve comprehension and contracting implications.Susan Rogerson & Sam Butchart - 2002 - Studia Logica 71 (1):119-132.
Surprise and the Psycho-Analyst: A Study of the Conjecture and Comprehension of Unconscious Processes.Theodor Reik & Margaret M. Green - 1937 - Philosophy 12 (47):366-368.
Chang’s Conjecture and weak square.Hiroshi Sakai - 2013 - Archive for Mathematical Logic 52 (1-2):29-45.
On non‐determined ehrenfeucht‐fraïssé games and unstable theories.Tapani Hyttinen & T. Hyttinen - 1992 - Mathematical Logic Quarterly 38 (1):399-408.
The stable forking conjecture and generic structures.Massoud Pourmahdian - 2003 - Archive for Mathematical Logic 42 (5):415-421.

Analytics

Added to PP
2017-08-03

Downloads
51 (#311,456)

6 months
6 (#514,728)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Embeddings between well-orderings: Computability-theoretic reductions.Jun Le Goh - 2020 - Annals of Pure and Applied Logic 171 (6):102789.
Weak Well Orders and Fraïssé’s Conjecture.Anton Freund & Davide Manca - forthcoming - Journal of Symbolic Logic:1-16.

Add more citations

References found in this work

Happy families.A. R. D. Mathias - 1977 - Annals of Mathematical Logic 12 (1):59.
Proof-theoretic investigations on Kruskal's theorem.Michael Rathjen & Andreas Weiermann - 1993 - Annals of Pure and Applied Logic 60 (1):49-88.

View all 12 references / Add more references