User contributions
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
- 08:48, 18 January 2013 (diff | hist) . . (+1) . . Automorphisms of countable recursively saturated models
- 08:47, 18 January 2013 (diff | hist) . . (-10) . . Automorphisms of countable recursively saturated models
- 08: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...")
- 08: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...")
- 08:28, 18 January 2013 (diff | hist) . . (+55) . . Peano's Parlour
- 08:24, 18 January 2013 (diff | hist) . . (+747) . . Saturated models
- 08:10, 18 January 2013 (diff | hist) . . (+491) . . Automorphisms groups of countable recursively saturated models
- 08:02, 18 January 2013 (diff | hist) . . (-16) . . Recursively saturated, resplendent models, and saturated models.
- 08:01, 18 January 2013 (diff | hist) . . (-198) . . Peano's Parlour
- 16:09, 17 January 2013 (diff | hist) . . (+2) . . Saturated models
- 16:08, 17 January 2013 (diff | hist) . . (+10) . . Saturated models
- 16:07, 17 January 2013 (diff | hist) . . (+140) . . Saturated models
- 16: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$...")
- 16:00, 17 January 2013 (diff | hist) . . (+1) . . Automorphisms groups of countable recursively saturated models
- 15:59, 17 January 2013 (diff | hist) . . (+627) . . Automorphisms groups of countable recursively saturated models
- 15: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...")
- 15:43, 17 January 2013 (diff | hist) . . (+190) . . Recursively saturated, resplendent models, and saturated models.
- 15:40, 17 January 2013 (diff | hist) . . (-2) . . Jonsson models
- 15:37, 17 January 2013 (diff | hist) . . (-1) . . Jonsson models
- 15:37, 17 January 2013 (diff | hist) . . (+1) . . Jonsson models
- 15:36, 17 January 2013 (diff | hist) . . (+39) . . Jonsson models
- 15:34, 17 January 2013 (diff | hist) . . (-4) . . Jonsson models
- 15: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}={...")
- 15:24, 17 January 2013 (diff | hist) . . (-1) . . Uncountable models with interesting second-order properties.
- 15:16, 17 January 2013 (diff | hist) . . (-16) . . Uncountable models with interesting second-order properties.
- 15:15, 17 January 2013 (diff | hist) . . (+41) . . Uncountable models with interesting second-order properties.
- 15:04, 17 January 2013 (diff | hist) . . (+6) . . Rather classless models.
- 15: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...")
- 14:51, 17 January 2013 (diff | hist) . . (+33) . . Uncountable models with interesting second-order properties.
- 14:49, 17 January 2013 (diff | hist) . . (+25) . . Lattices of elementary substructures.
- 14:44, 17 January 2013 (diff | hist) . . (+18) . . Lattices of elementary substructures.
- 14:43, 17 January 2013 (diff | hist) . . (+615) . . Lattices of elementary substructures.
- 14:32, 17 January 2013 (diff | hist) . . (+379) . . Lattices of elementary substructures.
- 14:28, 17 January 2013 (diff | hist) . . (-17) . . Peano's Parlour
- 11:27, 17 January 2013 (diff | hist) . . (+1) . . Peano's Parlour
- 11:19, 17 January 2013 (diff | hist) . . (-141) . . Errata
- 11:14, 17 January 2013 (diff | hist) . . (-6) . . Errata
- 11:12, 17 January 2013 (diff | hist) . . (-1) . . Errata
- 11:12, 17 January 2013 (diff | hist) . . (-23) . . Errata
- 11:07, 17 January 2013 (diff | hist) . . (-58) . . Errata
- 11:01, 17 January 2013 (diff | hist) . . (+16) . . Errata
- 10:57, 17 January 2013 (diff | hist) . . (+211) . . Errata
- 10:55, 17 January 2013 (diff | hist) . . (-993) . . Errata
- 10: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:...")
- 10:43, 17 January 2013 (diff | hist) . . (+65) . . Peano's Parlour
- 10:42, 17 January 2013 (diff | hist) . . (+243) . . Peano's Parlour
- 10: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...")
- 10:29, 17 January 2013 (diff | hist) . . (-3) . . The Scott set problem.
- 10:27, 17 January 2013 (diff | hist) . . (+987) . . The Scott set problem.
- 10:17, 17 January 2013 (diff | hist) . . (+5) . . The Scott set problem.
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
