Cover Image

A classification of incompleteness statements

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Towsner, Henry, Walsh, James
Format:	Preprint
Published:	2024
Subjects:	Logic
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Proofs that Modify Proofs, 1/2
by: Towsner, Henry
Published: (2025)

Proofs that Modify Proofs
by: Towsner, Henry
Published: (2024)

Polymorphic Ordinal Notations
by: Towsner, Henry
Published: (2025)

Intersecting sets in probability spaces and Shelah's classification
by: Chernikov, Artem, et al.
Published: (2024)

Hanf Locality and Invariant Elementary Definability
by: Lindell, Steven, et al.
Published: (2025)

The Complexity of the Set of Validities of a Theory
by: Hirschfeldt, Denis R., et al.
Published: (2025)

Perfect stable regularity lemma and slice-wise stable hypergraphs
by: Chernikov, Artem, et al.
Published: (2024)

Higher-arity PAC learning, VC dimension and packing lemma
by: Chernikov, Artem, et al.
Published: (2025)

Averages of hypergraphs and higher arity stability
by: Chernikov, Artem, et al.
Published: (2025)

Modal definability in Kripke's theory of truth
by: Walsh, James
Published: (2024)

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

Modal logical aspects of provability predicates and consistency statements
by: Kogure, Haruka, et al.
Published: (2025)

Descending sequences in reflection hierarchies
by: Łełyk, Mateusz, et al.
Published: (2025)

Refinements of provability and consistency principles for the second incompleteness theorem
by: Kurahashi, Taishi
Published: (2025)

Incompleteness in Quantified Conditional Logic
by: Kocurek, Alexander W., et al.
Published: (2026)

Ranking theories via encoded $β$-models
by: Jeon, Hanul, et al.
Published: (2025)

Superclub, splitting, separating statements
by: Garti, Shimon, et al.
Published: (2023)

Some reflections on the relationship between logical incompleteness and concrete incompleteness
by: Cheng, Yong
Published: (2024)

The complete classification for quantified equality constraints
by: Zhuk, Dmitriy, et al.
Published: (2021)

Degree of Kripke-incompleteness of Tense Logics
by: Chen, Qian
Published: (2025)

Computable classifications of continuous, transducer, and regular functions
by: Franklin, Johanna N. Y., et al.
Published: (2020)

Undecidability and incompleteness in quantum information theory and operator algebras
by: Goldbring, Isaac
Published: (2024)

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

On classification of continuous first order theories
by: Khanaki, Karim
Published: (2022)

Reflection ranks via infinitary derivations
by: Walsh, James
Published: (2021)

The failure of cut-elimination in cyclic proof for first-order logic with inductive definitions
by: Oda, Yukihiro, et al.
Published: (2021)

A fuzzy loss for ontology classification
by: Flügel, Simon, et al.
Published: (2024)

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

A removal lemma for ordered hypergraphs
by: Henry Towsner
Published: (2024)

Herbrand's Theorem: a short statement and a model-theoretic proof
by: Badano, Mariana
Published: (2025)

Weak Indestructibility and Reflection
by: Holland, James
Published: (2022)

On the hierarchy of natural theories
by: Walsh, James
Published: (2021)

From Gödel incompleteness to the consistency of circuit lower bounds
by: Atserias, Albert, et al.
Published: (2026)

A Logic of Inability
by: Wang, Shanxia
Published: (2026)

A Study on Actions for Atomic Logics
by: Espejo-Boix, Raül
Published: (2024)

A Cobham theorem for scalar multiplication
by: Hieronymi, Philipp, et al.
Published: (2024)

A modal approach towards substitutions
by: Tu, Yaxin, et al.
Published: (2025)

A logic for default deontic reasoning
by: Piazza, Mario, et al.
Published: (2025)

A Logic of Secrecy on Simplicial Models
by: Wang, Shanxia
Published: (2026)

A Coalgebraic Semantics for Intuitionistic Modal Logic
by: Almeida, Rodrigo Nicolau, et al.
Published: (2024)