The following pages link to (Q4354788):
Displaying 29 items.
- On predicate provability logics and binumerations of fragments of Peano arithmetic (Q377475) (← links)
- Streamlined subrecursive degree theory (Q408165) (← links)
- Weak theories of concatenation and arithmetic (Q435240) (← links)
- Yablifying the Rosser sentence (Q484179) (← links)
- Rosser-type undecidable sentences based on Yablo's paradox (Q484194) (← links)
- Faith \& falsity (Q705533) (← links)
- Henkin sentences and local reflection principles for Rosser provability (Q892168) (← links)
- The implicit commitment of arithmetical theories and its semantic core (Q2051133) (← links)
- A new model construction by making a detour via intuitionistic theories. II: Interpretability lower bound of Feferman's explicit mathematics \(T_0\) (Q2344720) (← links)
- Slow reflection (Q2407272) (← links)
- ILLUSORY MODELS OF PEANO ARITHMETIC (Q2976385) (← links)
- A theorem on partial conservativity in arithmetic (Q3083142) (← links)
- On Relating Theories: Proof-Theoretical Reduction (Q3305638) (← links)
- (Q4437331) (← links)
- GENERALIZATIONS OF GÖDEL’S INCOMPLETENESS THEOREMS FOR ∑<sub><i>n</i></sub>-DEFINABLE THEORIES OF ARITHMETIC (Q4600818) (← links)
- HILBERT, DUALITY, AND THE GEOMETRICAL ROOTS OF MODEL THEORY (Q4637948) (← links)
- CURRENT RESEARCH ON GÖDEL’S INCOMPLETENESS THEOREMS (Q4959663) (← links)
- FINDING THE LIMIT OF INCOMPLETENESS I (Q4984861) (← links)
- THE CHARACTERIZATION OF WEIHRAUCH REDUCIBILITY IN SYSTEMS CONTAINING (Q5000259) (← links)
- REFLECTION RANKS AND ORDINAL ANALYSIS (Q5021919) (← links)
- VARIANTS OF KREISEL’S CONJECTURE ON A NEW NOTION OF PROVABILITY (Q5037515) (← links)
- A MATHEMATICAL COMMITMENT WITHOUT COMPUTATIONAL STRENGTH (Q5046601) (← links)
- HOW MUCH PROPOSITIONAL LOGIC SUFFICES FOR ROSSER’S ESSENTIAL UNDECIDABILITY THEOREM? (Q5078818) (← links)
- INCOMPLETENESS VIA PARADOX AND COMPLETENESS (Q5117593) (← links)
- MARGINALIA ON A THEOREM OF WOODIN (Q5738208) (← links)
- AXIOMATIZATIONS OF PEANO ARITHMETIC: A TRUTH-THEORETIC VIEW (Q6140183) (← links)
- TWO-SORTED FREGE ARITHMETIC IS NOT CONSERVATIVE (Q6148472) (← links)
- Indiscernibles and satisfaction classes in arithmetic (Q6565571) (← links)
- An overview of Verbrugge semantics, a.k.a. generalised Veltman semantics (Q6612811) (← links)
