The following pages link to (Q4437331):
Displaying 28 items.
- Comparing Peano arithmetic, Basic Law V, and Hume's Principle (Q450961) (← links)
- Truth and consistency (Q660451) (← links)
- On arithmetical completeness of the logic of proofs (Q1625591) (← links)
- On partial disjunction properties of theories containing Peano arithmetic (Q1756504) (← links)
- Arithmetical soundness and completeness for \(\Sigma_{2}\) numerations (Q1756596) (← links)
- Rosser provability and the second incompleteness theorem (Q2097058) (← links)
- On inclusions between quantified provability logics (Q2115286) (← links)
- On Guaspari's problem about partially conservative sentences (Q2120971) (← links)
- Rosser provability and normal modal logics (Q2186698) (← links)
- Empiricism, probability, and knowledge of arithmetic: a preliminary defense (Q2250551) (← links)
- Uniform density in Lindenbaum algebras (Q2258545) (← links)
- On explicating the concept `the power of an arithmetical theory' (Q2481252) (← links)
- Duality, non-standard elements, and dynamic properties of r.e. sets (Q2630829) (← links)
- Effectively inseparable Boolean algebras in lattices of sentences (Q2655144) (← links)
- Extension and interpretability (Q2658276) (← links)
- The absorption law. Or: how to Kreisel a Hilbert-Bernays-Löb (Q2663342) (← links)
- LOGICISM, INTERPRETABILITY, AND KNOWLEDGE OF ARITHMETIC (Q2940868) (← links)
- A theorem on partial conservativity in arithmetic (Q3083142) (← links)
- Relative Truth Definability of Axiomatic Truth Theories (Q3163660) (← links)
- PROVABILITY LOGICS RELATIVE TO A FIXED EXTENSION OF PEANO ARITHMETIC (Q4692089) (← links)
- HIERARCHICAL INCOMPLETENESS RESULTS FOR ARITHMETICALLY DEFINABLE EXTENSIONS OF FRAGMENTS OF ARITHMETIC (Q5024504) (← links)
- THE STRENGTH OF ABSTRACTION WITH PREDICATIVE COMPREHENSION (Q5346690) (← links)
- UNIVERSAL ROSSER PREDICATES (Q5738203) (← links)
- A NOTE ON DERIVABILITY CONDITIONS (Q5855755) (← links)
- Neo-Logicism and Its Logic (Q5871286) (← links)
- Some observations on the FGH theorem (Q6057622) (← links)
- EXTENDED FRAMES AND SEPARATIONS OF LOGICAL PRINCIPLES (Q6072335) (← links)
- WHAT IS A RESTRICTIVE THEORY? (Q6131223) (← links)
