User contributions
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
- 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
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)