Cover Image

Incompleteness of boundedly axiomatizable theories

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Enayat, Ali, Visser, Albert
Format:	Preprint
Published:	2023
Subjects:	Logic 03F40
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Completions of Restricted Complexity I, Weak Arithmetical Theories
by: Enayat, Ali, et al.
Published: (2025)

On a Question of Hamkins'
by: Visser, Albert
Published: (2025)

From Numbers to Container Strings
by: Visser, Albert
Published: (2024)

Extensional Independence
by: Kurahashi, Taishi, et al.
Published: (2025)

On a Theorem by Bezboruah & Shepherdson
by: Visser, Albert
Published: (2026)

Pour-El's Landscape
by: Kurahashi, Taishi, et al.
Published: (2023)

The limitless First Incompleteness Theorem
by: Cheng, Yong
Published: (2021)

The Mostowski Bridge
by: Enayat, Ali
Published: (2025)

Satisfaction classes with approximate disjunctive correctness
by: Enayat, Ali
Published: (2023)

On Rosser theories
by: Cheng, Yong
Published: (2024)

There are no minimal effectively inseparable theories
by: Cheng, Yong
Published: (2022)

Lewis and Brouwer meet Strong Löb
by: Visser, Albert, et al.
Published: (2024)

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

A proof complexity conjecture and the Incompleteness theorem
by: Krajicek, Jan
Published: (2023)

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

Properties of Selector Proofs
by: Gadsby, Elijah
Published: (2025)

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

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

Different Theories of Parts
by: Pietruszczak, Andrzej
Published: (2024)

Fundamental sequences based on localization
by: Wilken, Gunnar
Published: (2024)

Generalizing Goodstein's theorem and Cichon's independence proof
by: Wilken, Gunnar
Published: (2025)

Herbrandized modified realizability
by: Ferreira, Gilda, et al.
Published: (2024)

Uniform Lyndon interpolation for the pure logic of necessitation with a modal reduction principle
by: Sato, Yuta
Published: (2025)

A Guide to Krivine Realizability for Set Theory
by: Matthews, Richard
Published: (2023)

Models of Set Theory: Extensions and Dead-ends
by: Enayat, Ali
Published: (2024)

Finitary Simulation of Infinitary $β$-Reduction via Taylor Expansion, and Applications
by: Cerda, Rémy, et al.
Published: (2022)

Y is a least fixed point combinator
by: Helfer, Joseph
Published: (2025)

Internal Effectful Forcing in System T
by: Escardo, Martin H., et al.
Published: (2025)

Nested Sequents for Intuitionistic Multi-Modal Logics: Modularity, Cut-Elimination, and Undecidability
by: Lyon, Tim S.
Published: (2025)

A meta-modal logic for bisimulations
by: Burrieza, Alfredo, et al.
Published: (2025)

The Syllogistic with Unity
by: Pratt-Hartmann, Ian
Published: (2011)

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

Some Unpublished Letters by Gödel and von Neumann in the Fraenkel Archive
by: Mancosu, Paolo, et al.
Published: (2023)

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

Nonstandard Witnesses and Observational Barriers for Π0_1 Sentences in ZFC: Standard Cuts, Uniform Reflection Failure, and the Semantic Void
by: Fukumoto, Yusei
Published: (2025)

Implicative models of set theory
by: Maschio, Samuele, et al.
Published: (2023)

The Orientation Boundary for Step-Duplicating Recursors: Mechanized Impossibility, Escape, and Certification
by: Rahnama, Moses
Published: (2025)

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

Fractal Analysis on the Real Interval: A Constructive Approach via Fractal Countability
by: Semenov, Stanislav
Published: (2025)

Interpolation in model theory
by: Väänänen, Jouko
Published: (2025)