Pages that link to "Item:Q3580669"
From MaRDI portal
The following pages link to AXIOMS FOR DETERMINATENESS AND TRUTH (Q3580669):
Displaying 18 items.
- One hundred years of semantic paradox (Q266649) (← links)
- Classes and truths in set theory (Q450946) (← links)
- Notes on the computational aspects of Kripke's theory of truth (Q526739) (← links)
- Determinate logic and the axiom of choice (Q2007876) (← links)
- Truth and the philosophy of mathematics (Q2080591) (← links)
- Reference, paradoxes and truth (Q2268775) (← links)
- A feasible theory of truth over combinatory algebra (Q2637706) (← links)
- Notes on models of (partial) Kripke-Feferman truth (Q2699016) (← links)
- About Truth and Types (Q3305551) (← links)
- (Q4981446) (← links)
- THE MODAL LOGICS OF KRIPKE–FEFERMAN TRUTH (Q5000260) (← links)
- THE POWER OF NAIVE TRUTH (Q5065142) (← links)
- Feferman and the Truth (Q5214789) (← links)
- Absolute Provability and Safe Knowledge of Axioms (Q5221597) (← links)
- (Q5494227) (← links)
- Extensions of the Axiom of Determinacy (Q6059118) (← links)
- CLASSICAL DETERMINATE TRUTH I (Q6203556) (← links)
- Theories of Frege structure equivalent to Feferman's system \(\mathsf{T}_0\) (Q6614045) (← links)