Image de couverture de livre

A classification of incompleteness statements

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Towsner, Henry, Walsh, James
Format:	Preprint
Publié:	2024
Sujets:	Logic
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Proofs that Modify Proofs, 1/2
par: Towsner, Henry
Publié: (2025)

Proofs that Modify Proofs
par: Towsner, Henry
Publié: (2024)

Polymorphic Ordinal Notations
par: Towsner, Henry
Publié: (2025)

Intersecting sets in probability spaces and Shelah's classification
par: Chernikov, Artem, et autres
Publié: (2024)

Hanf Locality and Invariant Elementary Definability
par: Lindell, Steven, et autres
Publié: (2025)

The Complexity of the Set of Validities of a Theory
par: Hirschfeldt, Denis R., et autres
Publié: (2025)

Perfect stable regularity lemma and slice-wise stable hypergraphs
par: Chernikov, Artem, et autres
Publié: (2024)

Higher-arity PAC learning, VC dimension and packing lemma
par: Chernikov, Artem, et autres
Publié: (2025)

Averages of hypergraphs and higher arity stability
par: Chernikov, Artem, et autres
Publié: (2025)

Modal definability in Kripke's theory of truth
par: Walsh, James
Publié: (2024)

A comparison of three kinds of monotonic proof-theoretic semantics and the base-incompleteness of intuitionistic logic
par: d'Aragona, Antonio Piccolomini
Publié: (2025)

Modal logical aspects of provability predicates and consistency statements
par: Kogure, Haruka, et autres
Publié: (2025)

Descending sequences in reflection hierarchies
par: Łełyk, Mateusz, et autres
Publié: (2025)

Refinements of provability and consistency principles for the second incompleteness theorem
par: Kurahashi, Taishi
Publié: (2025)

Incompleteness in Quantified Conditional Logic
par: Kocurek, Alexander W., et autres
Publié: (2026)

Ranking theories via encoded $β$-models
par: Jeon, Hanul, et autres
Publié: (2025)

Superclub, splitting, separating statements
par: Garti, Shimon, et autres
Publié: (2023)

Some reflections on the relationship between logical incompleteness and concrete incompleteness
par: Cheng, Yong
Publié: (2024)

The complete classification for quantified equality constraints
par: Zhuk, Dmitriy, et autres
Publié: (2021)

Degree of Kripke-incompleteness of Tense Logics
par: Chen, Qian
Publié: (2025)

Computable classifications of continuous, transducer, and regular functions
par: Franklin, Johanna N. Y., et autres
Publié: (2020)

Undecidability and incompleteness in quantum information theory and operator algebras
par: Goldbring, Isaac
Publié: (2024)

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

On classification of continuous first order theories
par: Khanaki, Karim
Publié: (2022)

Reflection ranks via infinitary derivations
par: Walsh, James
Publié: (2021)

The failure of cut-elimination in cyclic proof for first-order logic with inductive definitions
par: Oda, Yukihiro, et autres
Publié: (2021)

A fuzzy loss for ontology classification
par: Flügel, Simon, et autres
Publié: (2024)

Gödel's incompleteness theorem and the Anti-Mechanist Argument: revisited
par: Cheng, Yong
Publié: (2019)

A removal lemma for ordered hypergraphs
par: Henry Towsner
Publié: (2024)

Herbrand's Theorem: a short statement and a model-theoretic proof
par: Badano, Mariana
Publié: (2025)

Weak Indestructibility and Reflection
par: Holland, James
Publié: (2022)

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

From Gödel incompleteness to the consistency of circuit lower bounds
par: Atserias, Albert, et autres
Publié: (2026)

A Logic of Inability
par: Wang, Shanxia
Publié: (2026)

A Study on Actions for Atomic Logics
par: Espejo-Boix, Raül
Publié: (2024)

A Cobham theorem for scalar multiplication
par: Hieronymi, Philipp, et autres
Publié: (2024)

A modal approach towards substitutions
par: Tu, Yaxin, et autres
Publié: (2025)

A logic for default deontic reasoning
par: Piazza, Mario, et autres
Publié: (2025)

A Logic of Secrecy on Simplicial Models
par: Wang, Shanxia
Publié: (2026)

A Coalgebraic Semantics for Intuitionistic Modal Logic
par: Almeida, Rodrigo Nicolau, et autres
Publié: (2024)