324 reputation
18
bio website
location
age 25
visits member for 3 years, 6 months
seen Sep 3 at 17:00

Jul
2
awarded  Curious
Oct
25
revised Given a Hardy Field is it always possible to find a smooth representative of each germ?
added 46 characters in body
Oct
25
asked Given a Hardy Field is it always possible to find a smooth representative of each germ?
Feb
25
accepted If a theory has a countable $\omega$-saturated model does it need to have only countable many countable models?
Feb
16
asked If a theory has a countable $\omega$-saturated model does it need to have only countable many countable models?
Feb
9
revised Tarski-Vaught test for $\preceq$ reduction
added 12 characters in body
Jan
29
accepted Tarski-Vaught test for $\preceq$ reduction
Jan
28
revised Tarski-Vaught test for $\preceq$ reduction
added 10 characters in body
Jan
28
asked Tarski-Vaught test for $\preceq$ reduction
Jan
26
revised Logical Equivalence and Corresponding English Statements
added 1 characters in body
Jan
26
answered Logical Equivalence and Corresponding English Statements
Jan
26
awarded  Informed
Jan
23
awarded  Yearling
Jan
17
comment Non-Isomorphic Ultrapowers
Ha, great, this was very clear. This then makes me think of two other questions though. 1) In the Countable language and countable index case is there always one ultrapower modulo isomorphism? 2) For a more general case are there necessary and/or sufficient conditions known for a structure $\mathfrak{A}$ such that they imply that the ultrapower is unique, independent of the size of the index? Maybe if there are none, is there like a middle ground by taking some conditions on $\mathfrak{A}$ and conditions on the size of $I$ depending on $\mathfrak{A}$?
Jan
17
accepted Non-Isomorphic Ultrapowers
Jan
17
asked Non-Isomorphic Ultrapowers
Aug
1
accepted Cocountable fibers
Jul
31
asked Cocountable fibers
Feb
7
accepted How many 1-balls are needed to cover the 2-ball in an $n$-dimensional Euclidean Space?
Feb
4
awarded  Nice Question