The following pages link to Truth in applicative theories (Q5951914):
Displaying 12 items.
- A proof-theoretic account of classical principles of truth (Q385807) (← links)
- Truth, partial logic and infinitary proof systems (Q1653651) (← links)
- Intersubstitutivity principles and the generalization function of truth (Q1709089) (← links)
- Universes over Frege structures (Q1861539) (← links)
- Totality in applicative theories (Q1896484) (← links)
- Remarks on applicative theories (Q2566067) (← links)
- THE UNIVERSAL SET AND DIAGONALIZATION IN FREGE STRUCTURES (Q3094184) (← links)
- Autonomous progression and transfinite iteration of self-applicable truth (Q3173533) (← links)
- About Truth and Types (Q3305551) (← links)
- TRUTHS, INDUCTIVE DEFINITIONS, AND KRIPKE-PLATEK SYSTEMS OVER SET THEORY (Q4692072) (← links)
- A fixed point theory over stratified truth (Q6047658) (← links)
- Theories of Frege structure equivalent to Feferman's system \(\mathsf{T}_0\) (Q6614045) (← links)