Tour
About Us
Meta
Loading…
current community
Stack Exchange
chat
Meta Stack Exchange
your communities
Sign up
or
log in
to customize your list.
more stack exchange communities
company blog
Log in
Stack Exchange
All Sites
Top Users
Digests
Beau Madison Mount
top
accounts
reputation
activity
subscriptions
Top Questions
19
votes
Does $V = \textit{Ultimate }L$ imply GCH?
set-theory
continuum-hypothesis
constructibility
gch
asked Dec 18, 2017 at 3:23
mathoverflow.net
8
votes
Models of arithmetic in a signature with exponentiation but not addition and multiplication
lo.logic
model-theory
theories-of-arithmetic
asked Jul 26, 2018 at 23:01
mathoverflow.net
8
votes
Order types of models of theories of ordinals
set-theory
lo.logic
model-theory
asked Jun 3, 2019 at 17:41
mathoverflow.net
7
votes
Large cardinals and reflection properties
set-theory
large-cardinals
asked Jan 3, 2018 at 8:57
mathoverflow.net
6
votes
Are there structures in a finite signature that are recursively categorically axiomatizable in SOL but not finitely categorically axiomatizable?
lo.logic
model-theory
computability-theory
higher-order-logics
asked Apr 10, 2021 at 0:03
mathoverflow.net
6
votes
Reference request: generalized randomness
reference-request
set-theory
computability-theory
algorithmic-randomness
asked Sep 1, 2022 at 23:45
mathoverflow.net
5
votes
Strengthening of Shoenfield's result on the recursive omega-rule
lo.logic
computability-theory
asked Mar 27, 2020 at 12:50
mathoverflow.net
Top Answers
No answers with score of 5 or more
Stack Exchange works best with JavaScript enabled
mathoverflow.net