User Beau Madison Mount

19 votes

2 answers

2k views

Does $V = \textit{Ultimate }L$ imply GCH?

asked Dec 18, 2017 at 3:23

8 votes

2 answers

416 views

Models of arithmetic in a signature with exponentiation but not addition and multiplication

asked Jul 26, 2018 at 23:01

8 votes

1 answer

350 views

Order types of models of theories of ordinals

asked Jun 3, 2019 at 17:41

8 votes

0 answers

183 views

Reference request: choiceless cardinality quantifiers

asked Jan 24 at 1:35

7 votes

1 answer

847 views

Large cardinals and reflection properties

asked Jan 3, 2018 at 8:57

6 votes

2 answers

269 views

Are there structures in a finite signature that are recursively categorically axiomatizable in SOL but not finitely categorically axiomatizable?

asked Apr 10, 2021 at 0:03

6 votes

1 answer

375 views

Second-order ordinal definability

asked Mar 24 at 19:49

6 votes

1 answer

195 views

Reference request: generalized randomness

asked Sep 1, 2022 at 23:45

4 votes

1 answer

209 views

Strengthening of Shoenfield's result on the recursive omega-rule

asked Mar 27, 2020 at 12:50

4 votes

1 answer

251 views

Reference request: large generalized probability measures

asked Aug 21, 2021 at 19:30

4 votes

0 answers

91 views

Negation-quantifier-negation blocks in nonclassical logic: reference request

asked Dec 3, 2021 at 3:57

4 votes

1 answer

265 views

Large cardinals and elementary embeddings for infinitary languages

asked Jan 3, 2018 at 21:38

4 votes

1 answer

351 views

Upwards reflection

asked Jan 16, 2018 at 7:28

4 votes

1 answer

466 views

Kunen inconsistency with atoms

asked Dec 31, 2017 at 10:01

3 votes

1 answer

271 views

Infinitary generalizations of HOD

asked Sep 14, 2019 at 2:19

2 votes

0 answers

96 views

Strong determinacy principles

asked Jul 8, 2022 at 23:38

2 votes

0 answers

223 views

Request for references to literature: quantifying the complexity of cardinal arithmetic

asked Jul 25, 2022 at 0:10

2 votes

2 answers

324 views

Vopěnka cardinals

asked Aug 28, 2017 at 22:43

1 vote

0 answers

126 views

Analogues of Specker sequences for different complexity classes

asked May 13, 2016 at 20:37

0 votes

0 answers

91 views

Example of a zero-knowledge protocol for a strictly Pi_n sentence?

asked Jul 12, 2018 at 1:20

0 votes

1 answer

102 views

Probabilistic generalization of trial-and-error predicates

asked Aug 31, 2018 at 5:21

Stack Exchange Network

21 Questions

Does $V = \textit{Ultimate }L$ imply GCH?

Models of arithmetic in a signature with exponentiation but not addition and multiplication

Order types of models of theories of ordinals

Reference request: choiceless cardinality quantifiers

Large cardinals and reflection properties

Are there structures in a finite signature that are recursively categorically axiomatizable in SOL but not finitely categorically axiomatizable?

Second-order ordinal definability

Reference request: generalized randomness

Strengthening of Shoenfield's result on the recursive omega-rule

Reference request: large generalized probability measures

Negation-quantifier-negation blocks in nonclassical logic: reference request

Large cardinals and elementary embeddings for infinitary languages

Upwards reflection

Kunen inconsistency with atoms

Infinitary generalizations of HOD

Strong determinacy principles

Request for references to literature: quantifying the complexity of cardinal arithmetic

Vopěnka cardinals

Analogues of Specker sequences for different complexity classes

Example of a zero-knowledge protocol for a strictly Pi_n sentence?

Probabilistic generalization of trial-and-error predicates