Image de couverture de livre

Fraïssé's conjecture, partial impredicativity and well-ordering principles, part I

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteur principal:	Freund, Anton
Format:	Preprint
Publié:	2024
Sujets:	Logic 6A07, 03B30, 03F35
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Reverse mathematics of a uniform Kruskal-Friedman theorem
par: Freund, Anton
Publié: (2021)

Well-quasi-orders on finite trees and transfinite sequences
par: Chopra, Alakh Dhruv, et autres
Publié: (2026)

On Nash-Williams' Theorem regarding sequences with finite range
par: Pakhomov, Fedor, et autres
Publié: (2024)

Ordinal Analysis of Well-Ordering Principles, Well Quasi-Orders Closure Properties, and $Σ_n$-Collection Schema
par: Buriola, Gabriele, et autres
Publié: (2025)

Avoiding logical strength in real analysis
par: Freund, Anton, et autres
Publié: (2026)

Dilators and the reverse mathematics zoo
par: Freund, Anton
Publié: (2024)

Induction on Dilators and Bachmann-Howard Fixed Points
par: Aguilera, Juan P., et autres
Publié: (2024)

More conservativity for weak Kőnig's lemma
par: Freund, Anton, et autres
Publié: (2024)

Proof-Theoretic Relations between Higman's and Kruskal's theorem, and Independence Results for Tree-like Structures
par: Buriola, Gabriele, et autres
Publié: (2025)

The uniform Kruskal theorem over RCA$_0$
par: Uftring, Patrick
Publié: (2025)

The finite cohesiveness principle
par: Sun, Mengzhou
Publié: (2025)

On two recent extensions of the Big Five of Reverse Mathematics
par: Normann, Dag, et autres
Publié: (2024)

A note on continuous functions on metric spaces
par: Sanders, Sam
Publié: (2024)

On sequential theorems in Reverse Mathematics
par: Normann, Dag, et autres
Publié: (2024)

Coding is hard
par: Sanders, Sam
Publié: (2024)

A Reverse Mathematical Analysis of Hilbert's Nullstellensatz and Basis Theorem
par: Kulshreshtha, Dhruv
Publié: (2024)

Connecting real and hyperarithmetical analysis
par: Sanders, Sam
Publié: (2024)

Approximation theorems throughout Reverse Mathematics
par: Sanders, Sam
Publié: (2023)

Open questions about Ramsey-type statements in reverse mathematics
par: Patey, Ludovic
Publié: (2015)

Big in Reverse Mathematics: measure and category
par: Sanders, Sam
Publié: (2023)

On countability and representations
par: Sanders, Sam
Publié: (2026)

The uncountability of the reals and the Axiom of Choice
par: Normann, Dag, et autres
Publié: (2026)

Weak and Strong Versions of Effective Transfinite Recursion
par: Uftring, Patrick
Publié: (2022)

Fragments of arithmetic and cyclic proofs
par: Beklemishev, Lev D., et autres
Publié: (2025)

A non-speedup result for the chain-antichain principle over a weak base theory
par: Kowalik, Katarzyna W.
Publié: (2025)

On inverse Goodstein sequences
par: Uftring, Patrick
Publié: (2023)

Maximal order types for sequences with gap condition
par: Uftring, Patrick
Publié: (2025)

Proof-theoretic dilator and intermediate pointclasses
par: Jeon, Hanul
Publié: (2025)

(Extra)ordinary equivalences with the ascending/descending sequence principle
par: Fiori-Carones, Marta, et autres
Publié: (2021)

Coherence for logicians
par: Petric, Zoran, et autres
Publié: (2024)

Effective inseparability and some applications in meta-mathematics
par: Cheng, Yong
Publié: (2022)

On the relationships between some meta-mathematical properties of arithmetical theories
par: Cheng, Yong
Publié: (2023)

The limitless First Incompleteness Theorem
par: Cheng, Yong
Publié: (2021)

Serial Properties, Selector Proofs, and the Provability of Consistency
par: Artemov, Sergei
Publié: (2024)

Non-Compact Proofs
par: Artemov, Sergei
Publié: (2025)

Consistency formula is strictly stronger in PA than PA-consistency
par: Artemov, Sergei
Publié: (2025)

When Bi-interpretability implies Synonymy
par: Friedman, Harvey M., et autres
Publié: (2025)

Tarski's Undefinability Theorem and first-order arithmetic
par: Boyce, Stephen
Publié: (2010)

Algorithmic correspondence and analytic rules
par: De Domenico, Andrea, et autres
Publié: (2022)

The Kaufmann--Clote question on end extensions of models of arithmetic and the weak regularity principle
par: Sun, Mengzhou
Publié: (2024)