Image de couverture de livre

Feferman's completeness theorem

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Pakhomov, Fedor, Rathjen, Michael, Rossegger, Dino
Format:	Preprint
Publié:	2024
Sujets:	Logic 03F15, 03F30, 03C57
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Learning Families of Algebraic Structures from Text
par: Bazhenov, Nikolay, et autres
Publié: (2024)

Algorithmic aspects of left-orderings of solvable Baumslag--Solitar groups via its dynamical realization
par: Ho, Meng-Che "Turbo", et autres
Publié: (2024)

Scott sentence complexities of linear orderings
par: Gonzalez, David, et autres
Publié: (2023)

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

A Lopez-Escobar Theorem for Continuous Domains
par: Bazhenov, Nikolay, et autres
Publié: (2023)

Saturation properties for compositional truth with propositional correctness
par: Wcisło, Bartosz
Publié: (2024)

Finite Combinatorics and Fragments of Arithmetic
par: Wang, Wei
Publié: (2025)

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

On the hierarchy of natural theories
par: Walsh, James
Publié: (2021)

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

Tightness and solidity in fragments of Peano Arithmetic
par: Gruza, Piotr, et autres
Publié: (2025)

Linear Orders in Presburger Arithmetic
par: Pakhomov, Fedor, 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)

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

Truth and collection
par: Wcisło, Bartosz
Publié: (2024)

Classical determinate truth without induction
par: Wcisło, Bartosz
Publié: (2024)

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

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

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

Automatic structures and the problem of natural well-orderings
par: Beklemishev, Lev D., et autres
Publié: (2024)

Bi-Isolated d.c.e. Degrees and $Σ_1$ Induction
par: Liu, Yong, et autres
Publié: (2025)

Isolated d.c.e. degrees and $Σ_1$ induction
par: Liu, Yiqun, et autres
Publié: (2025)

Robinson Splitting Theorem and $Σ_1$ Induction
par: Liu, Yong, et autres
Publié: (2026)

The cohesive and stable Ramsey theorems and proof size over a weak base theory
par: Kołodziejczyk, Leszek Aleksander, et autres
Publié: (2026)

From Numbers to Container Strings
par: Visser, Albert
Publié: (2024)

On Rosser theories
par: Cheng, Yong
Publié: (2024)

Pour-El's Landscape
par: Kurahashi, Taishi, et autres
Publié: (2023)

There are no minimal effectively inseparable theories
par: Cheng, Yong
Publié: (2022)

Completions of Restricted Complexity I, Weak Arithmetical Theories
par: Enayat, Ali, et autres
Publié: (2025)

Classifying the complexity of models of arithmetic
par: Gonzalez, David, et autres
Publié: (2025)

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

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

The behavior of higher proof theory I: Case $Σ^1_2$
par: Jeon, Hanul
Publié: (2024)

Satisfaction classes with approximate disjunctive correctness
par: Enayat, Ali
Publié: (2023)

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

Generalizing Goodstein's theorem and Cichon's independence proof
par: Wilken, Gunnar
Publié: (2025)

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

Reduced Set Theory
par: Kunik, Matthias
Publié: (2023)

The Aurellion Function: A Recursive Fast-Growing Hierarchy Beyond Knuth Notation
par: Vodrazka, Daniel
Publié: (2025)

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