Uniform density in Lindenbaum algebras
From MaRDI portal
Publication:2258545
DOI10.1215/00294527-2798754zbMath1339.03056OpenAlexW1992569381MaRDI QIDQ2258545
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
First-order arithmetic and fragments (03F30) Theory of numerations, effectively presented structures (03D45) Gödel numberings and issues of incompleteness (03F40)
Related Items
Evitable iterates of the consistency operator, ANOTHER LOOK AT THE SECOND INCOMPLETENESS THEOREM, AXIOMATIZATIONS OF PEANO ARITHMETIC: A TRUTH-THEORETIC VIEW, A note on uniform density in weak arithmetical theories, ON THE INEVITABILITY OF THE CONSISTENCY OPERATOR, EFFECTIVE INSEPARABILITY, LATTICES, AND PREORDERING RELATIONS, Effective inseparability and its applications
Cites Work
- Unnamed Item
- A simplification of the completeness proofs for Guaspari and Solovay's R
- Arithmetic analogues of McAloon's unique Rosser sentences
- Experimental logics and \(\Delta^0_2\)-theories
- 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
- The arithmetics of a theory
- Undecidable theories
- Can We Make the Second Incompleteness Theorem Coordinate Free?
- Arithmetization of metamathematics in a general setting
- Modal analysis of generalized rosser sentences
- Reflection principles and provability algebras in formal arithmetic
- The optimality of induction as an axiomatization of arithmetic
- Universal recursion theoretic properties of r.e. preordered structures
- Reflection Principles in Fragments of Peano Arithmetic
- Rosser sentences
- A small reflection principle for bounded arithmetic
- Peano Corto and Peano Basso: A Study of Local Induction in the Context of Weak Theories
- Deduction-preserving "Recursive Isomorphisms" between theories
- Trial and error predicates and the solution to a problem of Mostowski
- Relative Interpretations
- Extensions of some theorems of Gödel and Church
