Publication:2258545

DOI10.1215/00294527-2798754zbMATH Open1339.03056OpenAlexW1992569381MaRDI QIDQ2258545FDOQ2258545

Albert Visser, V. Yu. Shavrukov

Publication date: 26 February 2015

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://projecteuclid.org/euclid.ndjfl/1415382957

zbMATH Keywords

arithmeticfirst-order theoriesuniform densityLindenbaum algebras

Mathematics Subject Classification ID

Theory of numerations, effectively presented structures (03D45) First-order arithmetic and fragments (03F30) Gödel numberings and issues of incompleteness (03F40)

Cites Work

• Title not available (Why is that?)
• Undecidable theories
• Can We Make the Second Incompleteness Theorem Coordinate Free?
• Arithmetization of metamathematics in a general setting
• Extensions of some theorems of Gödel and Church
• Reflection principles and provability algebras in formal arithmetic
• Arithmetic analogues of McAloon's unique Rosser sentences
• On the algebraization of a Feferman's predicate. (The algebraization of theories which express Theor; X)
• Peano's smart children: A provability logical study of systems with built-in consistency
• A smart child of Peano's
• Modal analysis of generalized rosser sentences
• Experimental logics and \(\Delta^0_2\)-theories
• Trial and error predicates and the solution to a problem of Mostowski
• Deduction-preserving "Recursive Isomorphisms" between theories
• Rosser sentences
• Relative Interpretations
• A small reflection principle for bounded arithmetic
• The optimality of induction as an axiomatization of arithmetic
• Peano Corto and Peano Basso: A Study of Local Induction in the Context of Weak Theories
• A simplification of the completeness proofs for Guaspari and Solovay's R
• Reflection Principles in Fragments of Peano Arithmetic
• Universal recursion theoretic properties of r.e. preordered structures
• The arithmetics of a theory

Cited In (7)

• Effective inseparability and its applications
• ON THE INEVITABILITY OF THE CONSISTENCY OPERATOR
• A note on uniform density in weak arithmetical theories
• Evitable iterates of the consistency operator
• ANOTHER LOOK AT THE SECOND INCOMPLETENESS THEOREM
• EFFECTIVE INSEPARABILITY, LATTICES, AND PREORDERING RELATIONS
• AXIOMATIZATIONS OF PEANO ARITHMETIC: A TRUTH-THEORETIC VIEW

This page was built for publication: Uniform density in Lindenbaum algebras

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2258545)