The following pages link to Classes and truths in set theory (Q450946):
Displaying 30 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)
- Problems and theorems in classical set theory (Q2494648) (← links)
- A few more dissimilarities between second-order arithmetic and set theory (Q2700817) (← links)
- A theory of sets and classes (Q2755495) (← links)
- (Q3752375) (← links)
- (Q4523458) (← 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)
- Set theory with a proper class of indiscernibles (Q5101293) (← 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)
- The substitutional analysis of logical consequence (Q6495237) (← links)
- A new model construction by making a detour via intuitionistic theories. IV: A closer connection between \(\mathrm{KP} \omega\) and \(\mathrm{BI}\). (Q6539428) (← links)
