Holo

Member for 7 years, 4 months
Last seen this week

Summary

Reputation

1,676

1.7k
1k
373

2021
2022
2023
2024

Top tag

set-theory

Next privilege

2,000 Rep.

Edit posts

Badges

8

22

Newest

Yearling

Next badge

0/1

Autobiographer

Impact

~19k

people reached

0

helpful flags

83

votes cast

Answers

View all 16 answers

12

Theorems with many distinct proofs

Aug 12, 2021

11

Simpler proofs using the axiom of choice

Jan 20, 2023

8

Large cardinal near inconsistencies

Jun 26, 2023

7

Is the union of two conservative extensions of a theory conservative?

Apr 14, 2023

6

Is ZF + Def a conservative extension of ZFC+HOD? If not, what are counter-examples?

Jun 27, 2023

Questions

View all 7 questions

14

Injection into a proper class and choice without regularity

Apr 25, 2019

12

Building the real from Dedekind finite sets

Mar 26

11

Scott's trick without regularity

Aug 22, 2021

10

The additive structure of clusters of nonstandard models of arithmetic

Sep 7, 2023

6

Weak trichotomy principle in the absence of choice

Mar 8, 2023

Tags

View all 25 tags

set-theory

46

Score

17

posts

lo.logic

35

Score

15

posts

large-cardinals

17

Score

3

posts

definability

14

Score

4

posts

axiom-of-choice

13

Score

9

posts

Reputation

+10

Need proof on a model being elementarily equivalent but non-isomorphic

+2

Can there exist a definable "ultrafilter" on the ordinals?

+10

Large cardinal near inconsistencies

+10

Building the real from Dedekind finite sets

Badges

View all badges

This user doesn’t have any gold badges yet.

8

silver badges

Constituent

Sep 30, 2022
Yearling

× 7

Aug 14

22

bronze badges

Disciplined

May 24
Organizer

Feb 15, 2023
Promoter

Nov 6, 2019

Accounts

View all 12 accounts

10.1k
2
17
43

1,676
8
22

271
7

209
1
5

131
8

Active bounties (0)

This user has no active bounties

Votes cast

70

upvotes

13

downvotes

36

question votes

47

answer votes