User contributions
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
- 17:14, 20 January 2013 (diff | hist) . . (+605) . . Library
- 17:05, 20 January 2013 (diff | hist) . . (+72) . . Cuts in models of PA and independence results
- 17:03, 20 January 2013 (diff | hist) . . (+101) . . Cuts in models of PA and independence results
- 16:59, 20 January 2013 (diff | hist) . . (+7) . . Library
- 16:59, 20 January 2013 (diff | hist) . . (+1,780) . . Library
- 16:26, 20 January 2013 (diff | hist) . . (0) . . Library
- 16:25, 20 January 2013 (diff | hist) . . (+609) . . Library
- 16:14, 20 January 2013 (diff | hist) . . (-5) . . Cuts in models of PA and independence results
- 16:13, 20 January 2013 (diff | hist) . . (+6) . . Cuts in models of PA and independence results
- 08:52, 20 January 2013 (diff | hist) . . (-2) . . Lattices of elementary substructures.
- 08:52, 20 January 2013 (diff | hist) . . (+145) . . Lattices of elementary substructures.
- 08:50, 20 January 2013 (diff | hist) . . (+323) . . Lattices of elementary substructures.
- 08:32, 20 January 2013 (diff | hist) . . (+395) . . Cuts in recursively saturated models
- 07:05, 20 January 2013 (diff | hist) . . (+2) . . Kanovei's question
- 04:52, 20 January 2013 (diff | hist) . . (-15) . . Kanovei's question
- 12:50, 18 January 2013 (diff | hist) . . (0) . . Lattices of elementary substructures.
- 12:49, 18 January 2013 (diff | hist) . . (+107) . . Lattices of elementary substructures.
- 11:47, 18 January 2013 (diff | hist) . . (+1,103) . . Cuts in models of PA and independence results
- 11:35, 18 January 2013 (diff | hist) . . (-16) . . Nonstandard satisfaction classes.
- 11:34, 18 January 2013 (diff | hist) . . (-1) . . Nonstandard satisfaction classes.
- 11:34, 18 January 2013 (diff | hist) . . (+737) . . Nonstandard satisfaction classes.
- 11:28, 18 January 2013 (diff | hist) . . (-2) . . Nonstandard satisfaction classes.
- 11:27, 18 January 2013 (diff | hist) . . (+1,062) . . N Nonstandard satisfaction classes. (Created page with " == Fullness of $M$ == A satisfaction class for a model $M$ is $e$-full, if $S$ decides all If for every $\Sigma_e$ sentence (in the sense of $M$) $\varphi$ with parameters eit...")
- 11:14, 18 January 2013 (diff | hist) . . (+411) . . End extensions, cofinal extensions
- 11:10, 18 January 2013 (diff | hist) . . (-1) . . End extensions, cofinal extensions
- 11:09, 18 January 2013 (diff | hist) . . (+15) . . End extensions, cofinal extensions
- 11:09, 18 January 2013 (diff | hist) . . (+595) . . End extensions, cofinal extensions
- 11:01, 18 January 2013 (diff | hist) . . (0) . . End extensions, cofinal extensions
- 11:00, 18 January 2013 (diff | hist) . . (-1) . . End extensions, cofinal extensions
- 11:00, 18 January 2013 (diff | hist) . . (+167) . . N End extensions, cofinal extensions (Created page with " == Isolated gaps == For $a\in M\models PA$, the gap of $a$, ${\rm gap}(a)$ is $\bigcap\{K_prec_{end} M: a\in K\land \}\setminus \bugcup\{K_prec_{end} M: a\notin K\}$.")
- 10:54, 18 January 2013 (diff | hist) . . (+41) . . Recursively saturated, resplendent models, and saturated models. (current)
- 10:00, 18 January 2013 (diff | hist) . . (+2) . . Uncountable models with interesting second-order properties.
- 09:40, 18 January 2013 (diff | hist) . . (+39) . . Complexity and classification of countable models
- 09:38, 18 January 2013 (diff | hist) . . (+19) . . Rather classless models.
- 09:35, 18 January 2013 (diff | hist) . . (+107) . . Lattices of elementary substructures.
- 09:32, 18 January 2013 (diff | hist) . . (+19) . . The Scott set problem.
- 09:29, 18 January 2013 (diff | hist) . . (+52) . . Automorphisms groups of countable recursively saturated models
- 09:24, 18 January 2013 (diff | hist) . . (+193) . . Automorphisms of countable recursively saturated models
- 09:22, 18 January 2013 (diff | hist) . . (+8) . . Cuts in recursively saturated models
- 09:22, 18 January 2013 (diff | hist) . . (+1,278) . . N Cuts in recursively saturated models (Created page with "== Free cuts == A cut $I$ in a model $M\models PA$ is ''free'' if for all $a, b\in I$ if $(M,a)\equiv (M,b)$, then $(M,I,a)\equiv (M,I,b)$. There are free elementary cuts in ev...")
- 09:10, 18 January 2013 (diff | hist) . . (+41) . . Recursively saturated, resplendent models, and saturated models.
- 09:08, 18 January 2013 (diff | hist) . . (-42) . . Recursively saturated, resplendent models, and saturated models.
- 09:08, 18 January 2013 (diff | hist) . . (-621) . . Omitting theories of undefinable sets (Blanked the page) (current)
- 09:03, 18 January 2013 (diff | hist) . . (+141) . . Kanovei's question
- 09:01, 18 January 2013 (diff | hist) . . (+103) . . N Kanovei's question (Created page with "Is there a Borel model $M\models PA$ such that the standard system of $M$ is the power set of $\omega$?")
- 08:59, 18 January 2013 (diff | hist) . . (+22) . . Standard systems and the Scott set problem.
- 08:57, 18 January 2013 (diff | hist) . . (+523) . . N Rigid models (Created page with "There are $\aleph_1$-like rigid models of $PA$. Two different constructions are given in Kossak; Schmerl, ''Minimal satisfaction classes with an application to rigid models of ...")
- 08:51, 18 January 2013 (diff | hist) . . (-1) . . Uncountable models with interesting second-order properties.
- 08:50, 18 January 2013 (diff | hist) . . (+10) . . Uncountable models with interesting second-order properties.
- 08:48, 18 January 2013 (diff | hist) . . (+18) . . Automorphisms of countable recursively saturated models
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
