User contributions
- 07:03, 20 June 2013 (diff | hist) . . (+19) . . Integer parts of real closed fields (current)
- 07:00, 20 June 2013 (diff | hist) . . (0) . . Integer parts of real closed fields
- 06:58, 20 June 2013 (diff | hist) . . (+348) . . Integer parts of real closed fields
- 06:53, 20 June 2013 (diff | hist) . . (+45) . . Integer parts of real closed fields
- 06:52, 20 June 2013 (diff | hist) . . (+607) . . Library
- 06:47, 20 June 2013 (diff | hist) . . (+67) . . N Integer parts of real closed fields (Created page with " == Tennenbaum property == Je\v{z}\'abek and Ko{\l}odziejczyk show")
- 06:44, 20 June 2013 (diff | hist) . . (+40) . . N Model theory of weak fragments of arithmetic (Created page with "Integer parts of real closed fields.") (current)
- 04:05, 7 April 2013 (diff | hist) . . (+92) . . Errata (current)
- 12:39, 18 February 2013 (diff | hist) . . (-97) . . m Uncountable models with interesting second-order properties (→Rigid models) (current)
- 15:34, 6 February 2013 (diff | hist) . . (+104) . . N Automoprhism groups (Created page with "Automorphism groups in general. Automorphisms groups of countable recursively saturated models.") (current)
- 15:31, 6 February 2013 (diff | hist) . . (+26) . . Peano's Parlour (current)
- 12:10, 6 February 2013 (diff | hist) . . (-1) . . m Lattices of elementary substructures
- 15:33, 1 February 2013 (diff | hist) . . (+18) . . Cuts in models of PA and independence results
- 15:32, 1 February 2013 (diff | hist) . . (+647) . . Cuts in models of PA and independence results
- 15:29, 1 February 2013 (diff | hist) . . (+512) . . Library
- 15:20, 1 February 2013 (diff | hist) . . (+1,031) . . Library
- 08:11, 1 February 2013 (diff | hist) . . (+38) . . Standard systems and the Scott set problem (current)
- 08:10, 1 February 2013 (diff | hist) . . (+537) . . Library
- 20:19, 28 January 2013 (diff | hist) . . (0) . . Automorphisms of countable recursively saturated models
- 20:19, 28 January 2013 (diff | hist) . . (0) . . Automorphisms of countable recursively saturated models
- 20:18, 28 January 2013 (diff | hist) . . (0) . . Automorphisms of countable recursively saturated models
- 20:17, 28 January 2013 (diff | hist) . . (+432) . . Automorphisms of countable recursively saturated models
- 20:11, 28 January 2013 (diff | hist) . . (+233) . . Library
- 20:10, 28 January 2013 (diff | hist) . . (+3) . . Automorphisms of countable recursively saturated models
- 20:00, 28 January 2013 (diff | hist) . . (+1) . . Automorphisms groups of countable recursively saturated models
- 19:59, 28 January 2013 (diff | hist) . . (+37) . . Automorphisms groups of countable recursively saturated models
- 19:58, 28 January 2013 (diff | hist) . . (+2) . . Library
- 19:54, 28 January 2013 (diff | hist) . . (+1,060) . . Automorphisms groups of countable recursively saturated models
- 19:35, 28 January 2013 (diff | hist) . . (+468) . . Library
- 11:13, 24 January 2013 (diff | hist) . . (+587) . . Library
- 11:04, 24 January 2013 (diff | hist) . . (-1) . . Resplendent models
- 11:04, 24 January 2013 (diff | hist) . . (+973) . . Resplendent models
- 10:29, 24 January 2013 (diff | hist) . . (+537) . . Library
- 10:25, 24 January 2013 (diff | hist) . . (+418) . . Resplendent models
- 10:18, 24 January 2013 (diff | hist) . . (+322) . . Library
- 10:09, 24 January 2013 (diff | hist) . . (+225) . . Cuts in models of PA and independence results
- 10:05, 24 January 2013 (diff | hist) . . (+575) . . Library
- 08:11, 24 January 2013 (diff | hist) . . (+2) . . End extensions, cofinal extensions (current)
- 08:10, 24 January 2013 (diff | hist) . . (+1,112) . . End extensions, cofinal extensions
- 07:52, 24 January 2013 (diff | hist) . . (+68) . . End extensions, cofinal extensions
- 07:43, 24 January 2013 (diff | hist) . . (+2) . . End extensions, cofinal extensions
- 07:41, 24 January 2013 (diff | hist) . . (+827) . . End extensions, cofinal extensions
- 12:49, 23 January 2013 (diff | hist) . . (+1) . . Peano's Parlour
- 12:46, 23 January 2013 (diff | hist) . . (-100) . . Uncountable models with interesting second-order properties. (Blanked the page) (current)
- 12:46, 23 January 2013 (diff | hist) . . (-279) . . Rigid models (Blanked the page) (current)
- 12:45, 23 January 2013 (diff | hist) . . (-1,169) . . Jonsson models (Blanked the page) (current)
- 12:45, 23 January 2013 (diff | hist) . . (-1,084) . . Rather classless models. (Blanked the page) (current)
- 12:45, 23 January 2013 (diff | hist) . . (-372) . . Friedman's 14-th problem. (Blanked the page) (current)
- 12:43, 23 January 2013 (diff | hist) . . (-51) . . Standard systems and the Scott set problem. (Blanked the page) (current)
- 12:43, 23 January 2013 (diff | hist) . . (-231) . . Kanovei's question (Blanked the page) (current)
- 12:43, 23 January 2013 (diff | hist) . . (-808) . . The Scott set problem. (Blanked the page) (current)
- 12:39, 23 January 2013 (diff | hist) . . (+2,446) . . 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 eith...") (current)
- 12:38, 23 January 2013 (diff | hist) . . (+2,985) . . N Uncountable models with interesting second-order properties (Created page with " == Friedman's 14th problem == Let $T$ be a completion of PA. Let ${\rm Ot}(T)$ be the spectrum of order types of nonstandard models of $T$. In <cite> friedman1975:onehundred ...")
- 12:34, 23 January 2013 (diff | hist) . . (+2,018) . . N Lattices of elementary substructures (Created page with "For $M\models PA$ let ${\rm{Lt}(M)}=(\{K: K\prec M\},\prec)$ and for $M\prec N$, let ${\rm Lt}(N/M)=(\{K: M\prec K\prec M\},\prec)$. In general, the lattice problem is: Which l...")
- 12:32, 23 January 2013 (diff | hist) . . (+1,097) . . N Standard systems and the Scott set problem (Created page with " == The Scott set problem == A Scott set is a set of sets of natural numbers $\mathfrak X$ such that $(\omega, {\mathfrak X})\models {\sf WKL}_0$, Assume $\lnot{\sf CH}$. Is ev...")
- 12:28, 23 January 2013 (diff | hist) . . (+261) . . N Recursively saturated, resplendent models, and saturated models (Created page with "Cuts in recursively saturated models. Automorphisms of countable recursively saturated models. Automorphisms groups of countable recursively saturated models. [[En...")
- 12:27, 23 January 2013 (diff | hist) . . (+1) . . Peano's Parlour
- 09:06, 23 January 2013 (diff | hist) . . (0) . . Nonstandard satisfaction classes. (current)
- 09:03, 23 January 2013 (diff | hist) . . (+932) . . Nonstandard satisfaction classes.
- 09:02, 23 January 2013 (diff | hist) . . (+528) . . Library
- 17:38, 22 January 2013 (diff | hist) . . (-9) . . Resplendent models
- 17:31, 22 January 2013 (diff | hist) . . (0) . . Resplendent models
- 17:31, 22 January 2013 (diff | hist) . . (+639) . . N Resplendent models (Created page with " == Gentle expansions == This problem is not directly about models of PA, but is motivated by results concerning maximal automorphisms, first proved in the context of arithmetica...")
- 17:30, 22 January 2013 (diff | hist) . . (+1,864) . . Library
- 05:44, 22 January 2013 (diff | hist) . . (-18) . . Complexity and classification of countable models
- 08:48, 21 January 2013 (diff | hist) . . (-102) . . Complexity and classification of countable models
- 08:47, 21 January 2013 (diff | hist) . . (+603) . . Library
- 08:45, 21 January 2013 (diff | hist) . . (-266) . . Nonstandard satisfaction classes.
- 08:44, 21 January 2013 (diff | hist) . . (+607) . . Library
- 08:42, 21 January 2013 (diff | hist) . . (-244) . . Rigid models
- 08:40, 21 January 2013 (diff | hist) . . (+1,355) . . Library
- 08:35, 21 January 2013 (diff | hist) . . (-65) . . Jonsson models
- 08:31, 21 January 2013 (diff | hist) . . (+407) . . Library
- 08:26, 21 January 2013 (diff | hist) . . (-60) . . Rather classless models.
- 08:24, 21 January 2013 (diff | hist) . . (+614) . . Library
- 08:18, 21 January 2013 (diff | hist) . . (+908) . . Library
- 08:15, 21 January 2013 (diff | hist) . . (-48) . . Friedman's 14-th problem.
- 08:13, 21 January 2013 (diff | hist) . . (+430) . . Library
- 08:06, 21 January 2013 (diff | hist) . . (+80) . . Lattices of elementary substructures. (current)
- 08:04, 21 January 2013 (diff | hist) . . (+20) . . Lattices of elementary substructures.
- 08:03, 21 January 2013 (diff | hist) . . (-905) . . Lattices of elementary substructures.
- 07:59, 21 January 2013 (diff | hist) . . (+469) . . Library
- 07:50, 21 January 2013 (diff | hist) . . (+3,037) . . Library
- 19:06, 20 January 2013 (diff | hist) . . (+38) . . The Scott set problem.
- 19:05, 20 January 2013 (diff | hist) . . (-444) . . The Scott set problem.
- 19:03, 20 January 2013 (diff | hist) . . (+1,985) . . Library
- 18:52, 20 January 2013 (diff | hist) . . (-72) . . Saturated models (current)
- 18:51, 20 January 2013 (diff | hist) . . (+520) . . Library
- 18:49, 20 January 2013 (diff | hist) . . (-1) . . End extensions, cofinal extensions
- 18:48, 20 January 2013 (diff | hist) . . (-106) . . End extensions, cofinal extensions
- 18:46, 20 January 2013 (diff | hist) . . (+580) . . Library
- 18:44, 20 January 2013 (diff | hist) . . (-591) . . Automorphisms groups of countable recursively saturated models
- 18:42, 20 January 2013 (diff | hist) . . (+1,288) . . Library
- 18:35, 20 January 2013 (diff | hist) . . (+1,147) . . Library
- 18:29, 20 January 2013 (diff | hist) . . (-116) . . Automorphisms of countable recursively saturated models
- 18:26, 20 January 2013 (diff | hist) . . (-249) . . Cuts in recursively saturated models (current)
- 18:22, 20 January 2013 (diff | hist) . . (+654) . . Library
- 18:18, 20 January 2013 (diff | hist) . . (-472) . . Cuts in models of PA and independence results
- 18:17, 20 January 2013 (diff | hist) . . (+2) . . Library
- 18:16, 20 January 2013 (diff | hist) . . (-45) . . Library
- 18:14, 20 January 2013 (diff | hist) . . (+605) . . Library
- 18:05, 20 January 2013 (diff | hist) . . (+72) . . Cuts in models of PA and independence results
- 18:03, 20 January 2013 (diff | hist) . . (+101) . . Cuts in models of PA and independence results
- 17:59, 20 January 2013 (diff | hist) . . (+7) . . Library
- 17:59, 20 January 2013 (diff | hist) . . (+1,780) . . Library
- 17:26, 20 January 2013 (diff | hist) . . (0) . . Library
- 17:25, 20 January 2013 (diff | hist) . . (+609) . . Library
- 17:14, 20 January 2013 (diff | hist) . . (-5) . . Cuts in models of PA and independence results
- 17:13, 20 January 2013 (diff | hist) . . (+6) . . Cuts in models of PA and independence results
- 09:52, 20 January 2013 (diff | hist) . . (-2) . . Lattices of elementary substructures.
- 09:52, 20 January 2013 (diff | hist) . . (+145) . . Lattices of elementary substructures.
- 09:50, 20 January 2013 (diff | hist) . . (+323) . . Lattices of elementary substructures.
- 09:32, 20 January 2013 (diff | hist) . . (+395) . . Cuts in recursively saturated models
- 08:05, 20 January 2013 (diff | hist) . . (+2) . . Kanovei's question
- 05:52, 20 January 2013 (diff | hist) . . (-15) . . Kanovei's question
- 13:50, 18 January 2013 (diff | hist) . . (0) . . Lattices of elementary substructures.
- 13:49, 18 January 2013 (diff | hist) . . (+107) . . Lattices of elementary substructures.
- 12:47, 18 January 2013 (diff | hist) . . (+1,103) . . Cuts in models of PA and independence results
- 12:35, 18 January 2013 (diff | hist) . . (-16) . . Nonstandard satisfaction classes.
- 12:34, 18 January 2013 (diff | hist) . . (-1) . . Nonstandard satisfaction classes.
- 12:34, 18 January 2013 (diff | hist) . . (+737) . . Nonstandard satisfaction classes.
- 12:28, 18 January 2013 (diff | hist) . . (-2) . . Nonstandard satisfaction classes.
- 12: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...")
- 12:14, 18 January 2013 (diff | hist) . . (+411) . . End extensions, cofinal extensions
- 12:10, 18 January 2013 (diff | hist) . . (-1) . . End extensions, cofinal extensions
- 12:09, 18 January 2013 (diff | hist) . . (+15) . . End extensions, cofinal extensions
- 12:09, 18 January 2013 (diff | hist) . . (+595) . . End extensions, cofinal extensions
- 12:01, 18 January 2013 (diff | hist) . . (0) . . End extensions, cofinal extensions
- 12:00, 18 January 2013 (diff | hist) . . (-1) . . End extensions, cofinal extensions
- 12: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\}$.")
- 11:54, 18 January 2013 (diff | hist) . . (+41) . . Recursively saturated, resplendent models, and saturated models. (current)
- 11:00, 18 January 2013 (diff | hist) . . (+2) . . Uncountable models with interesting second-order properties.
- 10:40, 18 January 2013 (diff | hist) . . (+39) . . Complexity and classification of countable models
- 10:38, 18 January 2013 (diff | hist) . . (+19) . . Rather classless models.
- 10:35, 18 January 2013 (diff | hist) . . (+107) . . Lattices of elementary substructures.
- 10:32, 18 January 2013 (diff | hist) . . (+19) . . The Scott set problem.
- 10:29, 18 January 2013 (diff | hist) . . (+52) . . Automorphisms groups of countable recursively saturated models
- 10:24, 18 January 2013 (diff | hist) . . (+193) . . Automorphisms of countable recursively saturated models
- 10:22, 18 January 2013 (diff | hist) . . (+8) . . Cuts in recursively saturated models
- 10: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...")
- 10:10, 18 January 2013 (diff | hist) . . (+41) . . Recursively saturated, resplendent models, and saturated models.
- 10:08, 18 January 2013 (diff | hist) . . (-42) . . Recursively saturated, resplendent models, and saturated models.
- 10:08, 18 January 2013 (diff | hist) . . (-621) . . Omitting theories of undefinable sets (Blanked the page) (current)
- 10:03, 18 January 2013 (diff | hist) . . (+141) . . Kanovei's question
- 10: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$?")
- 09:59, 18 January 2013 (diff | hist) . . (+22) . . Standard systems and the Scott set problem.
- 09: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 ...")
- 09:51, 18 January 2013 (diff | hist) . . (-1) . . Uncountable models with interesting second-order properties.
- 09:50, 18 January 2013 (diff | hist) . . (+10) . . Uncountable models with interesting second-order properties.
- 09:48, 18 January 2013 (diff | hist) . . (+18) . . Automorphisms of countable recursively saturated models
- 09:48, 18 January 2013 (diff | hist) . . (+1) . . Automorphisms of countable recursively saturated models
- 09:47, 18 January 2013 (diff | hist) . . (-10) . . Automorphisms of countable recursively saturated models
- 09:46, 18 January 2013 (diff | hist) . . (+879) . . N Automorphisms of countable recursively saturated models (Created page with " == Extending automorphisms == Let $G$ be the automorphism group of a countable recursively saturated model of $PA$. For every nontrivial $f\in G$ there is a countable recursiv...")
- 09:37, 18 January 2013 (diff | hist) . . (+539) . . N Complexity and classification of countable models (Created page with " == Borel classification questions == Let $T$ be a completion of $PA$. It is not hard to see that the isomorphism problem for finitely generated models of $T$, $\cong^{fg}_T$, i...")
- 09:28, 18 January 2013 (diff | hist) . . (+55) . . Peano's Parlour
- 09:24, 18 January 2013 (diff | hist) . . (+747) . . Saturated models
- 09:10, 18 January 2013 (diff | hist) . . (+491) . . Automorphisms groups of countable recursively saturated models
- 09:02, 18 January 2013 (diff | hist) . . (-16) . . Recursively saturated, resplendent models, and saturated models.
- 09:01, 18 January 2013 (diff | hist) . . (-198) . . Peano's Parlour
- 17:09, 17 January 2013 (diff | hist) . . (+2) . . Saturated models
- 17:08, 17 January 2013 (diff | hist) . . (+10) . . Saturated models
- 17:07, 17 January 2013 (diff | hist) . . (+140) . . Saturated models
- 17:05, 17 January 2013 (diff | hist) . . (+485) . . N Saturated models (Created page with " == The automorphism group == In a recent paper Nurkhaidarov and Schmerl 2011 proved the following: Let $\kappa$ be regular, uncounale, and such that $\kappa^{<\kappa}=\kappa$...")
- 17:00, 17 January 2013 (diff | hist) . . (+1) . . Automorphisms groups of countable recursively saturated models
- 16:59, 17 January 2013 (diff | hist) . . (+627) . . Automorphisms groups of countable recursively saturated models
- 16:52, 17 January 2013 (diff | hist) . . (+1,089) . . N Automorphisms groups of countable recursively saturated models (Created page with " == Generic automorphisms and the small index property == Lascar showed that countable arithmetically saturated models of $PA$ have generic automorphisms and used them to show t...")
- 16:43, 17 January 2013 (diff | hist) . . (+190) . . Recursively saturated, resplendent models, and saturated models.
- 16:40, 17 January 2013 (diff | hist) . . (-2) . . Jonsson models
- 16:37, 17 January 2013 (diff | hist) . . (-1) . . Jonsson models
- 16:37, 17 January 2013 (diff | hist) . . (+1) . . Jonsson models
- 16:36, 17 January 2013 (diff | hist) . . (+39) . . Jonsson models
- 16:34, 17 January 2013 (diff | hist) . . (-4) . . Jonsson models
- 16:32, 17 January 2013 (diff | hist) . . (+1,201) . . N Jonsson models (Created page with "A model $\mathfrak B$ is ''J\'onsson'' if $|{\mathfrak B}|>\aleph_0$ and for every ${\mathfrak A}\prec {\mathfrak B}$, if $|{\mathfrak A}|=|{\mathfrak B}|$, then ${\mathfrak A}={...")
- 16:24, 17 January 2013 (diff | hist) . . (-1) . . Uncountable models with interesting second-order properties.
- 16:16, 17 January 2013 (diff | hist) . . (-16) . . Uncountable models with interesting second-order properties.
- 16:15, 17 January 2013 (diff | hist) . . (+41) . . Uncountable models with interesting second-order properties.
- 16:04, 17 January 2013 (diff | hist) . . (+6) . . Rather classless models.
- 16:03, 17 January 2013 (diff | hist) . . (+1,119) . . N Rather classless models. (Created page with " $X\subseteq M\models PA$ is a ''class'' if for all $a\in M$, $\{x\in X: x<a\}$ is definable (coded) in $M$. $M$ is ''rather classless'' if each class of $M$ is definable. Since...")
- 15:51, 17 January 2013 (diff | hist) . . (+33) . . Uncountable models with interesting second-order properties.
- 15:49, 17 January 2013 (diff | hist) . . (+25) . . Lattices of elementary substructures.
- 15:44, 17 January 2013 (diff | hist) . . (+18) . . Lattices of elementary substructures.
- 15:43, 17 January 2013 (diff | hist) . . (+615) . . Lattices of elementary substructures.
- 15:32, 17 January 2013 (diff | hist) . . (+379) . . Lattices of elementary substructures.
- 15:28, 17 January 2013 (diff | hist) . . (-17) . . Peano's Parlour
- 12:27, 17 January 2013 (diff | hist) . . (+1) . . Peano's Parlour
- 12:19, 17 January 2013 (diff | hist) . . (-141) . . Errata
- 12:14, 17 January 2013 (diff | hist) . . (-6) . . Errata
- 12:12, 17 January 2013 (diff | hist) . . (-1) . . Errata
- 12:12, 17 January 2013 (diff | hist) . . (-23) . . Errata
- 12:07, 17 January 2013 (diff | hist) . . (-58) . . Errata
- 12:01, 17 January 2013 (diff | hist) . . (+16) . . Errata
- 11:57, 17 January 2013 (diff | hist) . . (+211) . . Errata
- 11:55, 17 January 2013 (diff | hist) . . (-993) . . Errata
- 11:45, 17 January 2013 (diff | hist) . . (+9,969) . . N Errata (Created page with "\documentclass[10pt]{article} \usepackage[centertags]{amsmath} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsthm} \title{The Structure of Models of Peano Arithmetic:...")
- 11:43, 17 January 2013 (diff | hist) . . (+65) . . Peano's Parlour
- 11:42, 17 January 2013 (diff | hist) . . (+243) . . Peano's Parlour
- 11:40, 17 January 2013 (diff | hist) . . (+1,106) . . N Lattices of elementary substructures. (Created page with "Let $L$ be a lattice. Is $L$ isomorphic to ${\rm{Lt}(M)}=(\{K: K\prec M\},\prec)$, for some $M\models PA$? There is a vast literature on the problem and many special cases re...")
- 11:29, 17 January 2013 (diff | hist) . . (-3) . . The Scott set problem.
- 11:27, 17 January 2013 (diff | hist) . . (+987) . . The Scott set problem.
- 11:17, 17 January 2013 (diff | hist) . . (+5) . . The Scott set problem.
- 11:16, 17 January 2013 (diff | hist) . . (+206) . . N The Scott set problem. (Created page with "A Scott set is a set of sets of natural numbers $\mathfrak X$ such that $(\omega, {\mathfrak X})\models WKL_0$, Assume $\lnot{\sf CH}$. Is every Scott set the standard system of...")
- 11:12, 17 January 2013 (diff | hist) . . (+29) . . N Standard systems and the Scott set problem. (Created page with "1. The Scott set problem.")
- 11:10, 17 January 2013 (diff | hist) . . (+420) . . N Friedman's 14-th problem. (Created page with "Let $T$ be a completion of PA. Let ${\rm Ot}(T)$ be the spectrum of order types of nonstandard models of $T$. Does ${\rm Ot(T)}$ depend on $T$? Friedman, Harvey, One hundred ...")
- 11:03, 17 January 2013 (diff | hist) . . (+32) . . N Uncountable models with interesting second-order properties. (Created page with "1. Friedman's 14-th problem.")
- 11:02, 17 January 2013 (diff | hist) . . (0) . . Peano's Parlour
- 11:01, 17 January 2013 (diff | hist) . . (+32) . . Peano's Parlour
- 10:58, 17 January 2013 (diff | hist) . . (-33) . . Recursively saturated, resplendent models, and saturated models.
- 10:57, 17 January 2013 (diff | hist) . . (+37) . . Recursively saturated, resplendent models, and saturated models.
- 10:56, 17 January 2013 (diff | hist) . . (+621) . . N Omitting theories of undefinable sets (Created page with "Suppose $M$ is countable recursively saturated and $X$ is an undefinable subset of $M$. Is there a countable recursively saturated $N$ such that $N$ is an elementary end exten...")
- 10:55, 17 January 2013 (diff | hist) . . (-624) . . Recursively saturated, resplendent models, and saturated models. (Replaced content with "== Omitting theories of undefinable sets ==")
- 14:17, 16 January 2013 (diff | hist) . . (0) . . Recursively saturated, resplendent models, and saturated models.
- 14:17, 16 January 2013 (diff | hist) . . (+667) . . N Recursively saturated, resplendent models, and saturated models. (Created page with " == Omitting theories of undefinable sets == Suppose $M$ is countable recursively saturated and $X$ is an undefinable subset of $M$. Is there a countable recursively saturate...")
- 14:13, 16 January 2013 (diff | hist) . . (+4) . . Peano's Parlour
- 14:12, 16 January 2013 (diff | hist) . . (-403) . . User talk:Rkossak (Blanked the page) (current)
- 14:08, 16 January 2013 (diff | hist) . . (+4) . . Peano's Parlour
- 14:07, 16 January 2013 (diff | hist) . . (+16) . . N Cuts in models of PA and independence results (Created page with "Nothing here yet")
- 08:17, 8 January 2013 (diff | hist) . . (+47) . . User talk:Rkossak
- 08:14, 8 January 2013 (diff | hist) . . (0) . . User talk:Rkossak
- 08:13, 8 January 2013 (diff | hist) . . (+12) . . User talk:Rkossak
- 08:11, 8 January 2013 (diff | hist) . . (+344) . . N User talk:Rkossak (Created page with "Suppose $M$ is countable recursively saturated and $X$ is an undefinable subset of $M$. Is there a countable recursively saturated $N$ such that $N$ is an elementary end exten...")
- 08:05, 8 January 2013 (diff | hist) . . (-4) . . Peano's Parlour
- 08:01, 8 January 2013 (diff | hist) . . (+4) . . Peano's Parlour
- 15:24, 6 January 2013 (diff | hist) . . (-1) . . Peano's Parlour
- 10:39, 4 October 2012 (diff | hist) . . (-1) . . Peano's Parlour
- 10:38, 4 October 2012 (diff | hist) . . (+777) . . Peano's Parlour
- 10:29, 4 October 2012 (diff | hist) . . (+14) . . Peano's Parlour