Elliot Glazer

Member for 7 years, 7 months
Last seen this week

Summary

Reputation

4,316

4.3k
3k
1.6k

2021
2022
2023
2024

Top tag

set-theory

Next privilege

5,000 Rep.

Approve tag wiki edits

Badges

2

24

40

Newest

Publicist

Next badge

9/30

Inquisitive

Impact

~89k

people reached

0

posts edited

0

helpful flags

265

votes cast

Answers

View all 44 answers

22

What notable theorems cannot be automatically proven without choice using Shoenfield absoluteness?

Sep 11, 2023

15

Is Global Choice conservative over Zermelo with Choice?

Nov 26, 2021

13

Consistency of a strange (choice-wise) set of reals

Aug 12, 2022

13

What are some reasonable-sounding statements that are independent of ZFC?

Nov 11, 2019

13

Is it consistent with ZFC that the real line is approachable by sets with no accumulation points?

Jun 27

Questions

View all 9 questions

19

Do choice principles in all generic extensions imply AC in $V$?

Jul 31, 2018

13

Does Foundation increase the strength of second-order logic?

Jun 1, 2018

12

Which $L$-like principles are known to be relatively consistent with large cardinals?

May 29

11

Does $\text{AC}_{\text{WO}}$ prove $\Theta \neq \aleph_{\omega+1}?$

Nov 17, 2020

11

Is $V=L$ equivalent to there being a $\Sigma_1$ well-ordering of the universe?

Aug 7, 2017

Tags

View all 39 tags

set-theory

306

Score

47

posts

lo.logic

194

Score

24

posts

axiom-of-choice

119

Score

17

posts

measure-theory

66

Score

12

posts

forcing

36

Score

7

posts

Reputation

+10

A surjection from square onto power: Is limit Hartogs/Lindenbaum number necessary?

+100

Do the surreal numbers enjoy the transfer principle in ZFC?

+30

Surreals and NSA: some foundational issues

+10

Which $L$-like principles are known to be relatively consistent with large cardinals?

Badges

View all badges

2

gold badges

Publicist

Dec 10
Fanatic

May 26, 2018

24

silver badges

Booster

Dec 8
Enthusiast

Aug 17, 2017
Necromancer

× 6

Dec 7

40

bronze badges

set-theory

May 17, 2022
lo.logic

Jun 28
Benefactor

Jun 19

Accounts

4,316
2
24
40

1,594
1
10
13

535
2
10

101

101
1

Active bounties (0)

This user has no active bounties

Votes cast

257

upvotes

8

downvotes

133

question votes

132

answer votes

5

this month

1

this week