Tour
About Us
Meta
Loading…
current community
Stack Exchange
chat
Meta Stack Exchange
your communities
Sign up
or
log in
to customize your list.
more stack exchange communities
company blog
Log in
Stack Exchange
All Sites
Top Users
Digests
user457161
top
accounts
reputation
activity
subscriptions
Top Questions
12
votes
Is every complete consistent theory satisfiable in ZF?
logic
set-theory
first-order-logic
axiom-of-choice
asked May 18 at 9:45
math.stackexchange.com
11
votes
A proper class of ordinals without an infinite constructible subset
set-theory
lo.logic
large-cardinals
asked Nov 11, 2021 at 13:53
mathoverflow.net
8
votes
Combinations of Lebesgue measurability, the property of Baire and the perfect set property
set-theory
descriptive-set-theory
asked Mar 20, 2019 at 10:36
math.stackexchange.com
7
votes
For which class of forcings does the "name dichotomy" hold?
set-theory
forcing
asked Jul 5, 2022 at 16:00
mathoverflow.net
6
votes
A proper class of ordinals without an infinite constructible subset
logic
set-theory
large-cardinals
asked Oct 27, 2021 at 12:29
math.stackexchange.com
Top Answers
14
A Löwenheim–Skolem–Tarski-like property
mathoverflow.net
11
Collapse $\aleph_{\omega_1}$ to $\aleph_\omega$.
math.stackexchange.com
10
$0^{\#}$ and self embeddings of $L_\gamma$
mathoverflow.net
9
Could we ever hope to integrate all functions?
math.stackexchange.com
7
When to use Iterated Forcing
math.stackexchange.com
7
Does ZF prove that there are more cardinals than elements of any set?
math.stackexchange.com
7
Preservation of projective stationarity
mathoverflow.net
7
Strength of Borel determinacy
mathoverflow.net
6
Can we always "locate" a transitive model inside some larger transitive model?
math.stackexchange.com
6
Preservation of chain conditions
math.stackexchange.com
6
What is the "Prikry–Silver collapse" when CH fails?
mathoverflow.net
6
Diagonalizing against $\omega_1$-sequences of functions mod finite
mathoverflow.net
6
Weak form of $\text{CH}$ in $L(\mathbb{R})$
mathoverflow.net
6
Countable closure of quotient forcing
mathoverflow.net
6
Maximal ideal theorem in Heyting Algebras implies choice
math.stackexchange.com
5
Can a weak second-order ZFC have countable models?
math.stackexchange.com
5
How strong is this second-order version of ZFC?
math.stackexchange.com
5
Namba forcing and semiproperness
mathoverflow.net
5
Modified version of generelized Hechler forcing
math.stackexchange.com
5
Does $\sum_n x_{\lceil \alpha^n\rceil} < \infty $ imply $x_n \to 0$?
math.stackexchange.com
5
Destroying the iterability of $M_1^\#$
mathoverflow.net
5
Is the dominating number of this continuum graph a small cardinal?
math.stackexchange.com
Stack Exchange works best with JavaScript enabled