The following pages link to Set Theory (Q4780924):
Displayed 50 items.
- Counterexamples to countable-section \(\varPi_2^1\) uniformization and \(\varPi_3^1\) separation (Q904147) (← links)
- Proof of the Ghahramani-Lau conjecture (Q908078) (← links)
- Model theory of the regularity and reflection schemes (Q938239) (← links)
- Applications of the topological representation of the pcf-structure (Q938245) (← links)
- Register computations on ordinals (Q944224) (← links)
- Tie-points and fixed-points in \(\mathbb N^*\) (Q946584) (← links)
- On linear neighborhood assignments and dually discrete spaces (Q946610) (← links)
- Forcing with quotients (Q953280) (← links)
- On HOD-supercompactness (Q953282) (← links)
- Martin's maximum and definability in \(H(\aleph_2\)) (Q958491) (← links)
- The structure of Valdivia compact lines (Q968907) (← links)
- Localizing the axioms (Q982186) (← links)
- On the ideal convergence of subsequences and rearrangements of a real sequence (Q990790) (← links)
- On some questions of Drewnowski and Łuczak concerning submeasures on \(\mathbb N\) (Q990848) (← links)
- The category of varieties and interpretations is alg-universal (Q995628) (← links)
- Examples from trees, related to discrete subsets, pseudo-radiality and \(\omega \)-boundedness (Q1005172) (← links)
- Low-distortion embeddings of infinite metric spaces into the real line (Q1006611) (← links)
- Epireflections and supercompact cardinals (Q1013095) (← links)
- \({\Pi^1_2}\)-comprehension and the property of Ramsey (Q1016505) (← links)
- Slices of essentially algebraic categories (Q1022481) (← links)
- Large cardinals and gap-1 morasses (Q1023049) (← links)
- The strength of choiceless patterns of singular and weakly compact cardinals (Q1023058) (← links)
- Forcing notions in inner models (Q1031829) (← links)
- \(\kappa \)-Ohio completeness (Q1046446) (← links)
- \(\Pi_ 2^ 1\)-logic and uniformization in the analytical hierarchy (Q1262857) (← links)
- Cardinal invariants of closed graphs (Q1617948) (← links)
- Whitehead's problem and reverse mathematics (Q1618125) (← links)
- Infinitary first-order categorical logic (Q1625589) (← links)
- Small embedding characterizations for large cardinals (Q1625597) (← links)
- Cylindrical Wigner measures (Q1627546) (← links)
- An uncountable version of Pták's combinatorial lemma (Q1630621) (← links)
- Products of Lindelöf spaces with points \(G_{\delta}\) (Q1632745) (← links)
- Distributive proper forcing axiom and a left-right dichotomy of Cichoń's diagram (Q1635850) (← links)
- Almost compatible functions and infinite length games (Q1638044) (← links)
- Definability and almost disjoint families (Q1644959) (← links)
- On the existence of \(\kappa \)-existentially closed groups (Q1660091) (← links)
- Iterated ultrapowers for the masses (Q1661675) (← links)
- On FE-precomplete classes in countable-valued logic (Q1675534) (← links)
- Generic absoluteness and Boolean names for elements of a Polish space (Q1680748) (← links)
- There is no bound on sizes of indecomposable Banach spaces (Q1682013) (← links)
- \(L(\mathbb{R}, \mu)\) is unique (Q1684666) (← links)
- Linguistic\(\leftrightarrow \)rational agents' semantics (Q1688923) (← links)
- Local automorphisms of finitary incidence algebras (Q1690687) (← links)
- Recognizable sets and Woodin cardinals: computation beyond the constructible universe (Q1694811) (← links)
- Keeping logic in the trivium of computer science: a teaching perspective (Q1696593) (← links)
- \(\kappa\)-existentially closed groups (Q1703096) (← links)
- Using coalgebras and the Giry monad for interpreting game logics -- a tutorial (Q1712599) (← links)
- Strange ultrafilters (Q1712927) (← links)
- The iterability hierarchy above \(\mathsf {I3}\) (Q1712930) (← links)
- Cycle reversions and dichromatic number in tournaments (Q1715622) (← links)