Pages that link to "Item:Q3758815"
From MaRDI portal
The following pages link to Bounded Induction and Satisfaction Classes (Q3758815):
Displaying 24 items.
- Passive induction and a solution to a Paris-Wilkie open question (Q882120) (← links)
- Inductive full satisfaction classes (Q920081) (← links)
- Generalizing proofs in monadic languages (with a postscript by Georg Kreisel). (Q930260) (← links)
- Deflationary truth and pathologies (Q975779) (← links)
- On interpretations of bounded arithmetic and bounded set theory (Q1038653) (← links)
- The omega-rule interpretation of transfinite provability logic (Q1694812) (← links)
- Reflection algebras and conservation results for theories of iterated truth (Q2120976) (← links)
- Truth, disjunction, and induction (Q2312097) (← links)
- Structures interpretable in models of bounded arithmetic (Q2570136) (← links)
- A note on the variety of satisfaction classes (Q2639847) (← links)
- Local collection and end-extensions of models of compositional truth (Q2662691) (← links)
- CONSISTENCY AND THE THEORY OF TRUTH (Q3195585) (← links)
- More on induction in the language with a satisfaction class (Q3211295) (← links)
- CONSERVATIVITY FOR THEORIES OF COMPOSITIONAL TRUTH VIA CUT ELIMINATION (Q3450806) (← links)
- European Summer Meeting of the Association for Symbolic Logic, (Logic Colloquium '87), Granada, Spain, 1987 (Q3476783) (← links)
- European Summer Meeting of the Association for Symbolic Logic (Logic Colloquium '88), Padova, 1988 (Q3478381) (← links)
- An Effective Conservation Result for Nonstandard Arithmetic (Q4939397) (← links)
- DISJUNCTIONS WITH STOPPING CONDITIONS (Q5019780) (← links)
- NOTES ON BOUNDED INDUCTION FOR THE COMPOSITIONAL TRUTH PREDICATE (Q5357325) (← links)
- On a Problem of J. Paris (Q5441123) (← links)
- Bounded finite set theory (Q6047677) (← links)
- MODEL THEORY AND PROOF THEORY OF THE GLOBAL REFLECTION PRINCIPLE (Q6103462) (← links)
- AXIOMATIZATIONS OF PEANO ARITHMETIC: A TRUTH-THEORETIC VIEW (Q6140183) (← links)
- Indiscernibles and satisfaction classes in arithmetic (Q6565571) (← links)
