Finitely axiomatized theories lack self‐comprehension

DOI10.1112/blms.12708arXiv2109.02548OpenAlexW3198436659WikidataQ114077891 ScholiaQ114077891MaRDI QIDQ6051417

Albert Visser, Fedor N. Pakhomov

Publication date: 20 September 2023

Published in: Bulletin of the London Mathematical Society (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2109.02548

Mathematics Subject Classification ID

Other aspects of forcing and Boolean-valued models (03E40) Gödel numberings and issues of incompleteness (03F40) Relative consistency and interpretations (03F25)

Related Items

Friedman-reflexivity

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Constructivism in mathematics. An introduction. Volume I
• The computational complexity of logical theories
• On \(\mathsf{Q}\)
• The predicative Frege hierarchy
• Gödel incompleteness theorems and the limits of their applicability. I
• Can We Make the Second Incompleteness Theorem Coordinate Free?
• Arithmetization of metamathematics in a general setting
• CARDINAL ARITHMETIC IN THE STYLE OF BARON VON MÜNCHHAUSEN
• Forcing in Proof Theory
• The small‐is‐very‐small principle
• Eliminating definitions and Skolem functions in first-order logic