Surrealist landscape with figures (a survey of recent results in set theory) (Q754865): Difference between revisions

@@ Property / cites work @@
+A Translation of the Normal Moore Space Conjecture
+Normal rank
@@ Property / cites work @@
+The universal properties of Dedekind finite cardinals
+Normal rank
@@ Property / cites work @@
+Incompactness in languages with infinitely long expressions
+Normal rank
@@ Property / cites work @@
+From accessible to inaccessible cardinals (Results holding for all accessible cardinal numbers and the problem of their extension to inaccessible ones)
+Normal rank
@@ Property / cites work @@
+Measurable cardinals and the continuum hypothesis
@@ Property / cites work: Measurable cardinals and the continuum hypothesis / rank @@
+Normal rank
@@ Property / cites work @@
+Countable Paracompactness and Souslin's Problem
@@ Property / cites work: Countable Paracompactness and Souslin's Problem / rank @@
+Normal rank
@@ Property / cites work @@
+A Nonconstructible Δ 1 3 Set of Integers
@@ Property / cites work: A Nonconstructible Δ 1 3 Set of Integers / rank @@
+Normal rank
@@ Property / cites work @@
+Some properties of $\sum\nolimits_1^1$- and $\prod\nolimits_1^1$-sets in $N^N $
+Normal rank
@@ Property / cites work @@
+Strong axioms of infinity and elementary embeddings
+Normal rank
@@ Property / cites work @@
+A consequence of the axiom of choice
@@ Property / cites work: A consequence of the axiom of choice / rank @@
+Normal rank
@@ Property / cites work @@
+Q4767319
@@ Property / cites work: Q4767319 / rank @@
+Normal rank
@@ Property / cites work @@
+On a theorem of Silver
@@ Property / cites work: On a theorem of Silver / rank @@
+Normal rank
@@ Property / cites work @@
+On the relationship between weak compactness inL ω 1 ω,L ω 1 ω 1, and restricted second-order languages
+Normal rank
@@ Property / cites work @@
+A geometric form of the axiom of choice
@@ Property / cites work: A geometric form of the axiom of choice / rank @@
+Normal rank
@@ Property / cites work @@
+Regularity of ultrafilters
@@ Property / cites work: Regularity of ultrafilters / rank @@
+Normal rank
@@ Property / cites work @@
+The consistency problem for NF
@@ Property / cites work: The consistency problem for NF / rank @@
+Normal rank
@@ Property / cites work @@
+Infinitary compactness without strong inaccessibility
+Normal rank
@@ Property / cites work @@
+A Boolean view of sequential compactness
@@ Property / cites work: A Boolean view of sequential compactness / rank @@
+Normal rank
@@ Property / cites work @@
+Q4141252
@@ Property / cites work: Q4141252 / rank @@
+Normal rank
@@ Property / cites work @@
+Aspects of constructibility
@@ Property / cites work: Aspects of constructibility / rank @@
+Normal rank
@@ Property / cites work @@
+Some weak versions of large cardinal axioms
@@ Property / cites work: Some weak versions of large cardinal axioms / rank @@
+Normal rank
@@ Property / cites work @@
+A note on a problem of Erdős and Hajnal
@@ Property / cites work: A note on a problem of Erdős and Hajnal / rank @@
+Normal rank
@@ Property / cites work @@
+Two theorems of functional analysis effectively equivalent to choice axioms
+Normal rank
@@ Property / cites work @@
+Whitehead's Problem is Undecidable
@@ Property / cites work: Whitehead's Problem is Undecidable / rank @@
+Normal rank
@@ Property / cites work @@
+Models of ZF-set theory
@@ Property / cites work: Models of ZF-set theory / rank @@
+Normal rank
@@ Property / cites work @@
+Normal Moore Spaces in the Constructible Universe
@@ Property / cites work: Normal Moore Spaces in the Constructible Universe / rank @@
+Normal rank
@@ Property / cites work @@
+Higher set theory and mathematical practice
@@ Property / cites work: Higher set theory and mathematical practice / rank @@
+Normal rank
@@ Property / cites work @@
+One hundred and two problems in mathematical logic
+Normal rank
@@ Property / cites work @@
+Inequalities for cardinal powers
@@ Property / cites work: Inequalities for cardinal powers / rank @@
+Normal rank
@@ Property / cites work @@
+The equivalence of Boolean prime ideal theorem and a theorem of functional analysis
+Normal rank
@@ Property / cites work @@
+Combinatorics on ideals and forcing
@@ Property / cites work: Combinatorics on ideals and forcing / rank @@
+Normal rank
@@ Property / cites work @@
+Intermediate submodels and generic extensions in set theory
+Normal rank
@@ Property / cites work @@
+Long projective wellorderings
@@ Property / cites work: Long projective wellorderings / rank @@
+Normal rank
@@ Property / cites work @@
+On Σ<sub>1</sub> well-orderings of the universe
@@ Property / cites work: On Σ<sub>1</sub> well-orderings of the universe / rank @@
+Normal rank
@@ Property / cites work @@
+Recursive Pseudo-Well-Orderings
@@ Property / cites work: Recursive Pseudo-Well-Orderings / rank @@
+Normal rank
@@ Property / cites work @@
+Limitations on the Fraenkel-Mostowski method of independence proofs
+Normal rank
@@ Property / cites work @@
+Los' Theorem and the Boolean Prime Ideal Theorem Imply the Axiom of Choice
+Normal rank
@@ Property / cites work @@
+Lectures in set theory with particular emphasis on the method of forcing
+Normal rank
@@ Property / cites work @@
+Forcing with trees and ordinal definability
@@ Property / cites work: Forcing with trees and ordinal definability / rank @@
+Normal rank
@@ Property / cites work @@
+Trees
@@ Property / cites work: Trees / rank @@
+Normal rank
@@ Property / cites work @@
+Some combinatorial problems concerning uncountable cardinals
+Normal rank
@@ Property / cites work @@
+The fine structure of the constructible hierarchy
@@ Property / cites work: The fine structure of the constructible hierarchy / rank @@
+Normal rank
@@ Property / cites work @@
+On the consistency of a slight (?) modification of Quine's 'New Foundations'
+Normal rank
@@ Property / cites work @@
+The Theory of Countable Analytical Sets
@@ Property / cites work: The Theory of Countable Analytical Sets / rank @@
+Normal rank
@@ Property / cites work @@
+Measure and category in effective descriptive set theory
+Normal rank
@@ Property / cites work @@
+On projective ordinals
@@ Property / cites work: On projective ordinals / rank @@
+Normal rank
@@ Property / cites work @@
+Strong compactness and other cardinal sins
@@ Property / cites work: Strong compactness and other cardinal sins / rank @@
+Normal rank
@@ Property / cites work @@
+Nonregular Ultrafilters and Large Cardinals
@@ Property / cites work: Nonregular Ultrafilters and Large Cardinals / rank @@
+Normal rank
@@ Property / cites work @@
+Rowbottom cardinals and Jonsson cardinals are almost the same
+Normal rank
@@ Property / cites work @@
+Some applications of iterated ultrapowers in set theory
+Normal rank
@@ Property / cites work @@
+Boolean extensions and measurable cardinals
@@ Property / cites work: Boolean extensions and measurable cardinals / rank @@
+Normal rank
@@ Property / cites work @@
+Natural models and Ackermann-type set theories
@@ Property / cites work: Natural models and Ackermann-type set theories / rank @@
+Normal rank
@@ Property / cites work @@
+On the decomposition of sets of reals to borel sets
+Normal rank
@@ Property / cites work @@
+How large is the first strongly compact cardinal? or a study on identity crises
+Normal rank
@@ Property / cites work @@
+Omitting Types: Application to Descriptive Set Theory
+Normal rank
@@ Property / cites work @@
+Gaps in the contructable universe
@@ Property / cites work: Gaps in the contructable universe / rank @@
+Normal rank
@@ Property / cites work @@
+Borel determinacy
@@ Property / cites work: Borel determinacy / rank @@
+Normal rank
@@ Property / cites work @@
+Internal cohen extensions
@@ Property / cites work: Internal cohen extensions / rank @@
+Normal rank
@@ Property / cites work @@
+On sequences generic in the sense of Prikry
@@ Property / cites work: On sequences generic in the sense of Prikry / rank @@
+Normal rank
@@ Property / cites work @@
+On the sequence of models $HOD_n$
@@ Property / cites work: On the sequence of models $HOD_n$ / rank @@
+Normal rank
@@ Property / cites work @@
+Consistency results about ordinal definability
@@ Property / cites work: Consistency results about ordinal definability / rank @@
+Normal rank
@@ Property / cites work @@
+On strong compactness and supercompactness
@@ Property / cites work: On strong compactness and supercompactness / rank @@
+Normal rank
@@ Property / cites work @@
+Sets constructible from sequences of ultrafilters
@@ Property / cites work: Sets constructible from sequences of ultrafilters / rank @@
+Normal rank
@@ Property / cites work @@
+Aronszajn trees and the independence of the transfer property
+Normal rank
@@ Property / cites work @@
+Decomposable cardinals.
@@ Property / cites work: Decomposable cardinals. / rank @@
+Normal rank
@@ Property / cites work @@
+On Countably Compact, Perfectly Normal Spaces
@@ Property / cites work: On Countably Compact, Perfectly Normal Spaces / rank @@
+Normal rank
@@ Property / cites work @@
+Support structures for the axiom of choice
@@ Property / cites work: Support structures for the axiom of choice / rank @@
+Normal rank
@@ Property / cites work @@
+Zermelo-Fraenkel consistency results by Fraenkel-Mostowski methods
+Normal rank
@@ Property / cites work @@
+On a problem of Gillman and Keisler
@@ Property / cites work: On a problem of Gillman and Keisler / rank @@
+Normal rank
@@ Property / cites work @@
+Ackermann's set theory equals ZF
@@ Property / cites work: Ackermann's set theory equals ZF / rank @@
+Normal rank
@@ Property / cites work @@
+Some strong axioms of infinity incompatible with the axiom of constructibility
+Normal rank
@@ Property / cites work @@
+An independence result concerning the axiom of choice
+Normal rank
@@ Property / cites work @@
+Infinite Abelian groups, Whitehead problem and some constructions
+Normal rank
@@ Property / cites work @@
+A compactness theorem for singular cardinals, free algebras, Whitehead problem and transversals
+Normal rank
@@ Property / cites work @@
+Some applications of model theory in set theory
@@ Property / cites work: Some applications of model theory in set theory / rank @@
+Normal rank
@@ Property / cites work @@
+Measurable cardinals and \(\Delta^1_3\) well-orderings
+Normal rank
@@ Property / cites work @@
+A model of set-theory in which every set of reals is Lebesgue measurable
+Normal rank
@@ Property / cites work @@
+Iterated Cohen extensions and Souslin's problem
@@ Property / cites work: Iterated Cohen extensions and Souslin's problem / rank @@
+Normal rank
@@ Property / cites work @@
+The countable chain condition versus separability - applications of Martin's Axiom
+Normal rank
@@ Property / cites work @@
+On successors in cardinal arithmetic
@@ Property / cites work: On successors in cardinal arithmetic / rank @@
+Normal rank
@@ Property / cites work @@
+Finite axioms of choice
@@ Property / cites work: Finite axioms of choice / rank @@
+Normal rank
@@ Property / cites work @@
+Models of set theory containing many perfect sets
@@ Property / cites work: Models of set theory containing many perfect sets / rank @@
+Normal rank