Reputation
434
Top tag
Next privilege 500 Rep.
Access review queues
Badges
2 8
Newest
 Yearling
Impact
~4k people reached

  • 0 posts edited
  • 0 helpful flags
  • 7 votes cast
May
20
awarded  Yearling
Mar
30
asked Small operators in Hahn fields
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