Beau Madison Mount
  • Member for 5 years, 8 months
  • Last seen this week
2 answers
18 votes
1k views
4 bookmarks
Does $V = \textit{Ultimate }L$ imply GCH?
2 answers
8 votes
379 views
Models of arithmetic in a signature with exponentiation but not addition and multiplication
1 answers
8 votes
295 views
1 bookmarks
Order types of models of theories of ordinals
2 answers
7 votes
234 views
Are there structures in a finite signature that are recursively categorically axiomatizable in SOL but not finitely categorically axiomatizable?
1 answers
7 votes
662 views
Large cardinals and reflection properties
0 answers
4 votes
70 views
Negation-quantifier-negation blocks in nonclassical logic: reference request
1 answers
4 votes
204 views
Reference request: large generalized probability measures
1 answers
4 votes
153 views
1 bookmarks
Strengthening of Shoenfield's result on the recursive omega-rule
1 answers
4 votes
296 views
1 bookmarks
Upwards reflection
1 answers
4 votes
220 views
Large cardinals and elementary embeddings for infinitary languages
1 answers
4 votes
444 views
2 bookmarks
Kunen inconsistency with atoms
1 answers
3 votes
222 views
Infinitary generalizations of HOD
2 answers
2 votes
307 views
Vopěnka cardinals
0 answers
1 votes
112 views
Analogues of Specker sequences for different complexity classes
1 answers
0 votes
92 views
Probabilistic generalization of trial-and-error predicates
0 answers
0 votes
90 views
Example of a zero-knowledge protocol for a strictly Pi_n sentence?