Pages that link to "Item:Q3686709"
From MaRDI portal
The following pages link to Cuts, consistency statements and interpretations (Q3686709):
Displayed 50 items.
- A note on typed truth and consistency assertions (Q263089) (← links)
- The second incompleteness theorem and bounded interpretations (Q454368) (← links)
- Categorical characterizations of the natural numbers require primitive recursion (Q476119) (← links)
- Deflationary truth and the ontology of expressions (Q513895) (← links)
- On the provability logic of bounded arithmetic (Q685071) (← links)
- The unprovability of small inconsistency. A study of local and global interpretability (Q688510) (← links)
- Faith \& falsity (Q705533) (← links)
- Some specially formulated axiomizations for \(\mathrm{I}\Sigma _0\) manage to evade the Herbrandized version of the second incompleteness theorem (Q731897) (← links)
- Partial collapses of the \(\Sigma _1\) complexity hierarchy in models for fragments of bounded arithmetic (Q866557) (← links)
- Passive induction and a solution to a Paris-Wilkie open question (Q882120) (← links)
- Transductions in arithmetic (Q904144) (← links)
- Pairs, sets and sequences in first-order theories (Q943342) (← links)
- On the number of steps in proofs (Q1119576) (← links)
- The formalization of interpretability (Q1176098) (← links)
- A note on the interpretability logic of finitely axiomatized theories (Q1181486) (← links)
- Bounded arithmetic, proof complexity and two papers of Parikh (Q1295443) (← links)
- Equational treatment of first-order logic (Q1344840) (← links)
- On \(\mathsf{Q}\) (Q1699730) (← links)
- The logical strength of compositional principles (Q1704080) (← links)
- The implicit commitment of arithmetical theories and its semantic core (Q2051133) (← links)
- Reflection algebras and conservation results for theories of iterated truth (Q2120976) (← links)
- Friedman-reflexivity (Q2159935) (← links)
- The predicative Frege hierarchy (Q2271986) (← links)
- The arithmetics of a theory (Q2345393) (← links)
- Interpretability degrees of finitely axiomatized sequential theories (Q2436609) (← links)
- A generalization of the second incompleteness theorem and some exceptions to it (Q2500470) (← links)
- 2000 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium 2000 (Q2732529) (← links)
- Self-verifying axiom systems, the incompleteness theorem and related reflection principles (Q2747704) (← links)
- Sequence encoding without induction (Q2888636) (← links)
- Herbrand consistency of some arithmetical theories (Q2915894) (← links)
- TRUTH AND SPEED-UP (Q2940877) (← links)
- CONSISTENCY AND THE THEORY OF TRUTH (Q3195585) (← links)
- On the available partial respects in which an axiomatization for real valued arithmetic can recognize its consistency (Q3416110) (← links)
- 2005 Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '05 (Q3430941) (← links)
- Fragment of Nonstandard Analysis with a Finitary Consistency Proof (Q3594485) (← links)
- A note on proofs of falsehood (Q3770530) (← links)
- Sequential theories and infinite distributivity in the lattice of chapters (Q3829549) (← links)
- A small reflection principle for bounded arithmetic (Q4314671) (← links)
- How to extend the semantic tableaux and cut-free versions of the second incompleteness theorem almost to Robinson's arithmetic q (Q4532626) (← links)
- The Axiom System IΣ0 Manages to Simultaneously Obey and Evade the Herbrandized Version of the Second Incompleteness Theorem (Q4917999) (← links)
- CURRENT RESEARCH ON GÖDEL’S INCOMPLETENESS THEOREMS (Q4959663) (← links)
- ORDER TYPES OF MODELS OF FRAGMENTS OF PEANO ARITHMETIC (Q5085859) (← links)
- ANOTHER LOOK AT THE SECOND INCOMPLETENESS THEOREM (Q5107534) (← links)
- The small‐is‐very‐small principle (Q5108874) (← links)
- Recursive functions and existentially closed structures (Q5114808) (← links)
- The Interpretation Existence Lemma (Q5214783) (← links)
- Peano Corto and Peano Basso: A Study of Local Induction in the Context of Weak Theories (Q5404169) (← links)
- 2005 Annual Meeting of the Association for Symbolic Logic (Q5479571) (← links)
- An exploration of the partial respects in which an axiom system recognizing solely addition as a total function can verify its own consistency (Q5486248) (← links)
- On mathematical instrumentalism (Q5718688) (← links)