Imagen de Portada

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

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autor principal:	Freund, Anton
Formato:	Preprint
Publicado:	2024
Materias:	Logic 6A07, 03B30, 03F35
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Reverse mathematics of a uniform Kruskal-Friedman theorem
por: Freund, Anton
Publicado: (2021)

Well-quasi-orders on finite trees and transfinite sequences
por: Chopra, Alakh Dhruv, et al.
Publicado: (2026)

On Nash-Williams' Theorem regarding sequences with finite range
por: Pakhomov, Fedor, et al.
Publicado: (2024)

Ordinal Analysis of Well-Ordering Principles, Well Quasi-Orders Closure Properties, and $Σ_n$-Collection Schema
por: Buriola, Gabriele, et al.
Publicado: (2025)

Avoiding logical strength in real analysis
por: Freund, Anton, et al.
Publicado: (2026)

Dilators and the reverse mathematics zoo
por: Freund, Anton
Publicado: (2024)

Induction on Dilators and Bachmann-Howard Fixed Points
por: Aguilera, Juan P., et al.
Publicado: (2024)

More conservativity for weak Kőnig's lemma
por: Freund, Anton, et al.
Publicado: (2024)

Proof-Theoretic Relations between Higman's and Kruskal's theorem, and Independence Results for Tree-like Structures
por: Buriola, Gabriele, et al.
Publicado: (2025)

The uniform Kruskal theorem over RCA$_0$
por: Uftring, Patrick
Publicado: (2025)

The finite cohesiveness principle
por: Sun, Mengzhou
Publicado: (2025)

On two recent extensions of the Big Five of Reverse Mathematics
por: Normann, Dag, et al.
Publicado: (2024)

A note on continuous functions on metric spaces
por: Sanders, Sam
Publicado: (2024)

On sequential theorems in Reverse Mathematics
por: Normann, Dag, et al.
Publicado: (2024)

Coding is hard
por: Sanders, Sam
Publicado: (2024)

A Reverse Mathematical Analysis of Hilbert's Nullstellensatz and Basis Theorem
por: Kulshreshtha, Dhruv
Publicado: (2024)

Connecting real and hyperarithmetical analysis
por: Sanders, Sam
Publicado: (2024)

Approximation theorems throughout Reverse Mathematics
por: Sanders, Sam
Publicado: (2023)

Open questions about Ramsey-type statements in reverse mathematics
por: Patey, Ludovic
Publicado: (2015)

Big in Reverse Mathematics: measure and category
por: Sanders, Sam
Publicado: (2023)

On countability and representations
por: Sanders, Sam
Publicado: (2026)

The uncountability of the reals and the Axiom of Choice
por: Normann, Dag, et al.
Publicado: (2026)

Weak and Strong Versions of Effective Transfinite Recursion
por: Uftring, Patrick
Publicado: (2022)

Fragments of arithmetic and cyclic proofs
por: Beklemishev, Lev D., et al.
Publicado: (2025)

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

On inverse Goodstein sequences
por: Uftring, Patrick
Publicado: (2023)

Maximal order types for sequences with gap condition
por: Uftring, Patrick
Publicado: (2025)

Proof-theoretic dilator and intermediate pointclasses
por: Jeon, Hanul
Publicado: (2025)

(Extra)ordinary equivalences with the ascending/descending sequence principle
por: Fiori-Carones, Marta, et al.
Publicado: (2021)

Coherence for logicians
por: Petric, Zoran, et al.
Publicado: (2024)

Effective inseparability and some applications in meta-mathematics
por: Cheng, Yong
Publicado: (2022)

On the relationships between some meta-mathematical properties of arithmetical theories
por: Cheng, Yong
Publicado: (2023)

The limitless First Incompleteness Theorem
por: Cheng, Yong
Publicado: (2021)

Serial Properties, Selector Proofs, and the Provability of Consistency
por: Artemov, Sergei
Publicado: (2024)

Non-Compact Proofs
por: Artemov, Sergei
Publicado: (2025)

Consistency formula is strictly stronger in PA than PA-consistency
por: Artemov, Sergei
Publicado: (2025)

When Bi-interpretability implies Synonymy
por: Friedman, Harvey M., et al.
Publicado: (2025)

Tarski's Undefinability Theorem and first-order arithmetic
por: Boyce, Stephen
Publicado: (2010)

Algorithmic correspondence and analytic rules
por: De Domenico, Andrea, et al.
Publicado: (2022)

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