Pages that link to "Item:Q6140183"
From MaRDI portal
The following pages link to AXIOMATIZATIONS OF PEANO ARITHMETIC: A TRUTH-THEORETIC VIEW (Q6140183):
Displaying 8 items.
- The provability logics of recursively enumerable theories extending Peano arithmetic at arbitrary theories extending Peano arithmetic (Q1068069) (← links)
- The disjunction and existence properties for axiomatic systems of truth (Q1118582) (← links)
- A theorem on partial conservativity in arithmetic (Q3083142) (← links)
- (Q3568115) (← links)
- Axiomatization of the forcing relation with an application to Peano Arithmetic (Q3699672) (← links)
- An Effective Conservation Result for Nonstandard Arithmetic (Q4939397) (← links)
- MODEL THEORY AND PROOF THEORY OF THE GLOBAL REFLECTION PRINCIPLE (Q6103462) (← links)
- Saturation properties for compositional truth with propositional correctness (Q6652033) (← links)