MathOverflow
Toby Meadows's user avatar
Toby Meadows's user avatar
Toby Meadows's user avatar
Toby Meadows
  • Member for 13 years, 2 months
  • Last seen more than a month ago
Profile Activity
Stats
1,051
reputation
5k
reached
0
answers
9
questions
Communities
About

I am a logician and philosopher of mathematics.

Badges
View all badges
This user doesn’t have any gold badges yet.
5
silver badges
17
bronze badges
Top tags
View all tags
0
Score
8
Posts
89
Posts %
0
Score
4
Posts
44
Posts %
0
Score
3
Posts
33
Posts %
0
Score
2
Posts
22
Posts %
0
Score
1
Posts
11
Posts %
0
Score
1
Posts
11
Posts %
Top posts
All Questions Answers
Score Newest
question
17
How badly does compactness fail in $\mathcal{L}_{\omega_1\omega}$?
May 16, 2012
question
14
Is there a model of ZFC that can define a "longer" model of ZFC to which it is isomorphic?
Oct 30, 2020
question
14
Is it possible to define an internal model of ZFC which is not set-like and which is not elementary equivalent to any definable set-like model?
Oct 30, 2020
question
12
Intermediate submodels without Boolean algebras
Jan 5, 2014
question
10
Models of ZF intermediate between a model of ZFC and a generic extension
Jan 23, 2020
question
8
Destroying the iterability of $M_1^\#$
Jul 3
question
7
Forcing out of L[U] when we have a precipitous ideal in V
Mar 22, 2022
question
6
Is the category of atomless Boolean algebras with complete embeddings closed under coproducts?
Oct 3, 2019
question
5
Are there premice that are $\omega_1$-iterable but not $(\omega_1+1)$-iterable?
Feb 2

Your privacy

By clicking “Accept all cookies”, you agree Stack Exchange can store cookies on your device and disclose information in accordance with our Cookie Policy.