The following pages link to (Q4189277):
Displaying 50 items.
- A century of Sierpiński-Zygmund functions (Q2331741) (← links)
- Cofinally invariant sequences and revision (Q2350973) (← links)
- Set graphs. III: Proof pearl: Claw-free graphs mirrored into transitive hereditarily finite sets (Q2352482) (← links)
- Ordinals in Frobenius monads (Q2376533) (← links)
- Pseudocompact refinements of compact ring topologies (Q2415920) (← links)
- Levy and set theory (Q2493914) (← links)
- A higher-order calculus and theory abstraction (Q2639838) (← links)
- Extensionality and logicality (Q2695031) (← links)
- On closed subgroups of precompact groups (Q2700597) (← links)
- All intermediate logics with extra axioms in one variable except eight are not strongly \(\omega\)-complete. (Q2710597) (← links)
- Number systems with simplicity hiearchies: A generalization of Conway's theory of surreal numbers (Q2758056) (← links)
- Approximating Beppo Levi's \textit{principio di approssimazione} (Q2925330) (← links)
- Early History of the Generalized Continuum Hypothesis: 1878–1938 (Q3112603) (← links)
- ON THE SYMBIOSIS BETWEEN MODEL-THEORETIC AND SET-THEORETIC PROPERTIES OF LARGE CARDINALS (Q3188331) (← links)
- Block combinatorics (Q3373731) (← links)
- On fixed points through a generalized iteration method with applications to differential and integral equations involving discontinuities (Q3472717) (← links)
- The Bernays-Schönfinkel-Ramsey class for set theory: semidecidability (Q3570158) (← links)
- Omitting types for algebraizable extensions of first order logic (Q3647239) (← links)
- Descriptive Complexity of Function Spaces (Q3694265) (← links)
- Properties of subtle cardinals (Q3775551) (← links)
- The consistency and independence of Suslin's hypothesis (Q3830991) (← links)
- Ergodic Undefinability in Set Theory and Recursion Theory (Q3926571) (← links)
- Intermediate predicate logics determined by ordinals (Q3970346) (← links)
- Where do sets come from? (Q3981451) (← links)
- Expressing infinity without foundation (Q3984401) (← links)
- (Q4012686) (← links)
- Nonexistence of universal orders in many cardinals (Q4032868) (← links)
- Existentially closed locally FC-groups (Q4275278) (← links)
- Ideals in the multiplication algebra of a non-associative K-algebra (Q4275279) (← links)
- (Q4288131) (← links)
- On fixed points of multifunctions in ordered spaces (Q4291813) (← links)
- A Remark on Ascending Chain Conditions, the Countable Axiom of Choice and the Principle of Dependent Choices (Q4304098) (← links)
- On the predecessor relation in abstract algebras (Q4304786) (← links)
- Looking for more or less hidden vector spaces: A strategy for investigating injective cogenerators (Q4318901) (← links)
- Souslin trees which are hard to specialise (Q4372290) (← links)
- On the Deductive Strength of Various Distributivity Axioms for Boolean Algebras in Set Theory (Q4530154) (← links)
- Applicable Mathematics in a Minimal Computational Theory of Sets (Q4553281) (← links)
- On certain non-constructive properties of infinite-dimensional vector spaces (Q4683357) (← links)
- The Logically Simplest Form of the Infinity Axiom (Q4729777) (← links)
- A connected metric space without an equally spaced chain of points (Q4746474) (← links)
- Inverse limits of algebras as retracts of their direct products (Q4787483) (← links)
- Higher order phantom maps (Q4793736) (← links)
- Construction of 𝑡-structures and equivalences of derived categories (Q4804223) (← links)
- Models of Second-Order Zermelo Set Theory (Q4940733) (← links)
- ALMOST DISJOINT AND MAD FAMILIES IN VECTOR SPACES AND CHOICE PRINCIPLES (Q5100050) (← links)
- Set theory with a proper class of indiscernibles (Q5101293) (← links)
- FACTORIALS OF INFINITE CARDINALS IN ZF PART I: ZF RESULTS (Q5107228) (← links)
- Generalizations of Cantor's theorem in (Q5108121) (← links)
- On infinite‐dimensional Banach spaces and weak forms of the axiom of choice (Q5108128) (← links)
- Uncountable structures are not classifiable up to bi-embeddability (Q5114807) (← links)