User Asaf Karagila

3 votes

Accepted

If a theory speaks of sets that cannot be forced to be parameter free definable, then does this entail a large cardinal property?

answered Jan 4, 2023 at 9:25

3 votes

What are some kinds of models where DC holds?

answered May 12, 2017 at 18:07

3 votes

"Potentially club" filters on $\omega_2$

answered Dec 12, 2016 at 10:28

3 votes

Transfer with minimal choice

answered Jun 14, 2016 at 16:35

3 votes

About presenting hard proofs in seminar

answered Dec 5, 2015 at 16:05

3 votes

Some "axiom of choice" and "dependent choice" issues

answered Sep 21, 2015 at 23:38

3 votes

Important formulas in combinatorics

answered Aug 31, 2015 at 0:27

3 votes

Accepted

Existence of regular cardinals larger than an arbitrary cardinal in von Neumann universes without axiom of choice

answered Aug 22, 2017 at 9:05

2 votes

A simple proof for a case where: $\mathbf{L}_\mu \models ZF^-$?

answered May 25, 2019 at 10:21

2 votes

Accepted

Are externally pointwise definable models of ZFC subject to the same limitations of the internally pointwise definable ones?

answered Jan 1, 2023 at 11:46

2 votes

Does n-well ordered choice schema imply the axiom of choice?

answered Feb 22, 2023 at 20:35

2 votes

Relation between Laver generic reals

answered Jul 22, 2021 at 11:50

2 votes

Why do ordinal collapsing functions use regular cardinals?

answered Oct 29, 2019 at 19:40

2 votes

Second order theories for class forcing

answered Feb 27, 2021 at 10:28

2 votes

What is the role of absoluteness in existence of a non-trivial self elementary embedding on an inner model?

answered Oct 27, 2013 at 8:20

2 votes

Accepted

About the rank of sets

answered Nov 24, 2013 at 16:37

2 votes

Accepted

Some definitions without full choice

answered Aug 8, 2013 at 11:47

2 votes

A Question Regarding Defining Generic Extensions of ZF and ZFC in Morse-Kelly Set Theory

answered Dec 2, 2014 at 21:41

2 votes

Accepted

Does existence of $\omega_1$ subset of reals imply $\omega_1$ choice for subsets of reals?

answered Oct 5, 2014 at 20:22

2 votes

Cardinality of $C^*([0,1])$

answered Jul 23, 2014 at 8:04

2 votes

Accepted

Modified Dirichlet function Darboux integrable on $[0,2]$?

answered Jul 6, 2010 at 12:27

2 votes

Examples of common false beliefs in mathematics

answered Jul 7, 2010 at 18:04

2 votes

Examples of common false beliefs in mathematics

answered Apr 16, 2011 at 21:33

2 votes

Accepted

Good set theory in which to study ordinal-indexed sequences?

answered Oct 6, 2012 at 0:56

1 vote

Set Theory and Definability

answered Dec 27, 2010 at 19:41

1 vote

Is it consistent with ZFC that for all ordinals $\alpha, \beta < \omega$ it holds that $2^{\aleph_\alpha} = 2^{\aleph_\beta}$?

answered Dec 6, 2011 at 19:16

1 vote

Forcing, cuts, and Dedekind-finite cardinalities

answered Jul 2, 2014 at 18:34

1 vote

Adding Generic Reals to Forcing Extensions

answered Mar 16, 2014 at 19:18

1 vote

Order in bijective-equivalent collections of proper classes in set-theory

answered Dec 2, 2014 at 21:21

1 vote

Accepted

Axiom of dependent choice (up to $\omega_1$) and group rank

answered Aug 6, 2013 at 4:36

Stack Exchange Network

306 Answers

If a theory speaks of sets that cannot be forced to be parameter free definable, then does this entail a large cardinal property?

What are some kinds of models where DC holds?

"Potentially club" filters on $\omega_2$

Transfer with minimal choice

About presenting hard proofs in seminar

Some "axiom of choice" and "dependent choice" issues

Important formulas in combinatorics

Existence of regular cardinals larger than an arbitrary cardinal in von Neumann universes without axiom of choice

A simple proof for a case where: $\mathbf{L}_\mu \models ZF^-$?

Are externally pointwise definable models of ZFC subject to the same limitations of the internally pointwise definable ones?

Does n-well ordered choice schema imply the axiom of choice?

Relation between Laver generic reals

Why do ordinal collapsing functions use regular cardinals?

Second order theories for class forcing

What is the role of absoluteness in existence of a non-trivial self elementary embedding on an inner model?

About the rank of sets

Some definitions without full choice

A Question Regarding Defining Generic Extensions of ZF and ZFC in Morse-Kelly Set Theory

Does existence of $\omega_1$ subset of reals imply $\omega_1$ choice for subsets of reals?

Cardinality of $C^*([0,1])$

Modified Dirichlet function Darboux integrable on $[0,2]$?

Examples of common false beliefs in mathematics

Examples of common false beliefs in mathematics

Good set theory in which to study ordinal-indexed sequences?

Set Theory and Definability

Is it consistent with ZFC that for all ordinals $\alpha, \beta < \omega$ it holds that $2^{\aleph_\alpha} = 2^{\aleph_\beta}$?

Forcing, cuts, and Dedekind-finite cardinalities

Adding Generic Reals to Forcing Extensions

Order in bijective-equivalent collections of proper classes in set-theory

Axiom of dependent choice (up to $\omega_1$) and group rank