The following pages link to Classes and truths in set theory (Q450946):
Displayed 23 items.
- A note on typed truth and consistency assertions (Q263089) (← links)
- One hundred years of semantic paradox (Q266649) (← links)
- Disquotation and infinite conjunctions (Q1990931) (← links)
- Deflationism beyond arithmetic (Q2052155) (← links)
- Set theoretical analogues of the Barwise-Schlipf theorem (Q2159934) (← links)
- Full and hat inductive definitions are equivalent in NBG (Q2257106) (← links)
- Set-theoretic blockchains (Q2274142) (← links)
- Elementary inductive dichotomy: separation of open and clopen determinacies with infinite alternatives (Q2285848) (← links)
- A few more dissimilarities between second-order arithmetic and set theory (Q2700817) (← links)
- TRUTHS, INDUCTIVE DEFINITIONS, AND KRIPKE-PLATEK SYSTEMS OVER SET THEORY (Q4692072) (← links)
- UNIVERSISM AND EXTENSIONS OF <i>V</i> (Q5001554) (← links)
- THE COPERNICAN MULTIVERSE OF SETS (Q5046607) (← links)
- Inner mantles and iterated HOD (Q5108877) (← links)
- Feferman and the Truth (Q5214789) (← links)
- MODAL STRUCTURALISM AND REFLECTION (Q5216972) (← links)
- MINIMUM MODELS OF SECOND-ORDER SET THEORIES (Q5222524) (← links)
- THE EXPRESSIVE POWER OF TRUTH (Q5259727) (← links)
- Open determinacy for class games (Q5351852) (← links)
- THE EXACT STRENGTH OF THE CLASS FORCING THEOREM (Q5855740) (← links)
- FINITIST AXIOMATIC TRUTH (Q5879176) (← links)
- A fixed point theory over stratified truth (Q6047658) (← links)
- First‐order undefinability of the notion of transfinitely uplifting cardinals (Q6047674) (← links)
- VARIETIES OF CLASS-THEORETIC POTENTIALISM (Q6131234) (← links)