Pages that link to "Item:Q5552747"
From MaRDI portal
The following pages link to Reflection Principles and their Use for Establishing the Complexity of Axiomatic Systems (Q5552747):
Displaying 50 items.
- Positive provability logic for uniform reflection principles (Q392274) (← links)
- The paradox of the knower revisited (Q392283) (← links)
- Subsystems of true arithmetic and hierarchies of functions (Q688433) (← links)
- On the complexity of arithmetical interpretations of modal formulae (Q688859) (← links)
- Set existence property for intuitionistic theories with dependent choice (Q793723) (← links)
- Henkin sentences and local reflection principles for Rosser provability (Q892168) (← links)
- Too naturalist and not naturalist enough: Reply to Horsten (Q954789) (← links)
- Paris-Harrington principles, reflection principles and transfinite induction up to \(\epsilon _ 0\) (Q1082336) (← links)
- A simple dynamic logic (Q1087866) (← links)
- Gentzen reduction revisited (Q1140640) (← links)
- Provability: The emergence of a mathematical modality (Q1176093) (← links)
- Experimental logics and \(\Delta^0_2\)-theories (Q1222647) (← links)
- Mechanizing \(\omega\)-order type theory through unification (Q1239309) (← links)
- On interpreting Chaitin's incompleteness theorem (Q1277329) (← links)
- Some results on cut-elimination, provable well-orderings, induction and reflection (Q1295413) (← links)
- A note on applicability of the incompleteness theorem to human mind (Q1295425) (← links)
- Induction rules, reflection principles, and provably recursive functions (Q1361250) (← links)
- Extended normal form theorems for logical proofs from axioms (Q1575930) (← links)
- Axiomatizing provable \(n\)-provability (Q1732059) (← links)
- A note on iterated consistency and infinite proofs (Q1734260) (← links)
- Remarks on Herbrand normal forms and Herbrand realizations (Q1813063) (← links)
- Iterated local reflection versus iterated consistency (Q1899141) (← links)
- Parameter free induction and provably total computable functions (Q1960416) (← links)
- Disquotation and infinite conjunctions (Q1990931) (← 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)
- Local reflection, definable elements and 1-provability (Q2204378) (← links)
- Truth, reflection and hierarchies (Q2386109) (← links)
- Unifying the model theory of first-order and second-order arithmetic via \(\mathrm{WKL}_0^\ast\) (Q2400502) (← links)
- Slow reflection (Q2407272) (← links)
- On axiom schemes for \(T\)-provably \(\Delta_1\) formulas (Q2449854) (← links)
- Levy and set theory (Q2493914) (← links)
- Quantifier-free and one-quantifier systems (Q2557247) (← links)
- Characterizations of ordinal analysis (Q2683775) (← links)
- Remarks on weak notions of saturation in models of Peano arithmetic (Q3755444) (← links)
- Herbrand-Analysen zweier Beweise des Satzes von Roth: Polynomiale Anzahlschranken (Q3822154) (← links)
- Iterated reflection principles and the <i>ω</i>-rule (Q3966133) (← links)
- The <i>ω</i>-consistency of number theory via Herbrand's theorem (Q4077992) (← links)
- GENERALIZATIONS OF GÖDEL’S INCOMPLETENESS THEOREMS FOR ∑<sub><i>n</i></sub>-DEFINABLE THEORIES OF ARITHMETIC (Q4600818) (← links)
- Proof Theoretic Analysis by Iterated Reflection (Q4637223) (← links)
- Reflection of formal tactics in a deductive reflection framework (Q4647552) (← links)
- Bimodal logics for extensions of arithmetical theories (Q4879903) (← links)
- On the No-Counterexample Interpretation (Q4948521) (← links)
- MÜNCHHAUSEN PROVABILITY (Q5015723) (← links)
- REFLECTION RANKS AND ORDINAL ANALYSIS (Q5021919) (← links)
- A NOTE ON FRAGMENTS OF UNIFORM REFLECTION IN SECOND ORDER ARITHMETIC (Q5044314) (← links)
- A MATHEMATICAL COMMITMENT WITHOUT COMPUTATIONAL STRENGTH (Q5046601) (← links)
- Set-theoretic reflection is equivalent to induction over well-founded classes (Q5117344) (← links)
- SELF-REFERENCE IN ARITHMETIC II (Q5176166) (← links)
- The relation of <i>A</i> to Prov ˹<i>A</i>˺ in the Lindenbaum sentence algebra (Q5183473) (← links)