User William

18 votes

1 answer

4k views

Infinite Set is Disjoint Union of Two Infinite Sets

asked Aug 28, 2011 at 6:02

11 votes

1 answer

815 views

Absoluteness of $ \text{Con}(\mathsf{ZFC}) $ for Transitive Models of $ \mathsf{ZFC} $.

asked Dec 26, 2012 at 15:17

9 votes

1 answer

556 views

Reverse Mathematics of Well-Orderings

asked Aug 27, 2011 at 3:38

8 votes

1 answer

218 views

Sequence of Ordinals and Ordinal Definability in Levy Collapse Extensions

asked Oct 8, 2013 at 1:35

7 votes

1 answer

509 views

Weakly Compact Cardinals and the Extension Property

asked Mar 30, 2013 at 3:31

7 votes

1 answer

225 views

Sets Forced to be Equal in All Extensions

asked Aug 27, 2015 at 3:08

6 votes

1 answer

277 views

Are two generic filters in a common generic extension?

asked Jan 21, 2016 at 5:32

6 votes

1 answer

176 views

Full Theory of Structure of Set Theory and Generic Extensions

asked Feb 18, 2014 at 5:40

5 votes

2 answers

440 views

Trivial Projection of Forcing Posets and Generics

asked Aug 30, 2013 at 10:40

4 votes

0 answers

186 views

Weakly Normal Ultrafilters

asked Sep 15, 2013 at 8:31

4 votes

1 answer

247 views

Absoluteness of Satisfaction Relation for Models of the type $J_\alpha$

asked Feb 23, 2014 at 11:12

4 votes

1 answer

100 views

Determinacy of Negation of Class of Formula

asked Dec 22, 2011 at 1:37

3 votes

2 answers

388 views

A Lowenheim-Skolem-like Result for Structures of Set Theory

asked Jul 17, 2013 at 8:20

2 votes

1 answer

815 views

Exponentiation and Set of Functions Notation.

asked Aug 8, 2012 at 17:23

0 votes

0 answers

166 views

Approximating Continuous Function and Modulus of Continuity

asked Sep 11, 2016 at 17:17

Stack Exchange Network

15 Questions

Infinite Set is Disjoint Union of Two Infinite Sets

Absoluteness of $ \text{Con}(\mathsf{ZFC}) $ for Transitive Models of $ \mathsf{ZFC} $.

Reverse Mathematics of Well-Orderings

Sequence of Ordinals and Ordinal Definability in Levy Collapse Extensions

Weakly Compact Cardinals and the Extension Property

Sets Forced to be Equal in All Extensions

Are two generic filters in a common generic extension?

Full Theory of Structure of Set Theory and Generic Extensions

Trivial Projection of Forcing Posets and Generics

Weakly Normal Ultrafilters

Absoluteness of Satisfaction Relation for Models of the type $J_\alpha$

Determinacy of Negation of Class of Formula

A Lowenheim-Skolem-like Result for Structures of Set Theory

Exponentiation and Set of Functions Notation.

Approximating Continuous Function and Modulus of Continuity