User contributions
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
- 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.
- 10: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...")
- 10:12, 17 January 2013 (diff | hist) . . (+29) . . N Standard systems and the Scott set problem. (Created page with "1. The Scott set problem.")
- 10: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 ...")
- 10:03, 17 January 2013 (diff | hist) . . (+32) . . N Uncountable models with interesting second-order properties. (Created page with "1. Friedman's 14-th problem.")
- 10:02, 17 January 2013 (diff | hist) . . (0) . . Peano's Parlour
- 10:01, 17 January 2013 (diff | hist) . . (+32) . . Peano's Parlour
- 09:58, 17 January 2013 (diff | hist) . . (-33) . . Recursively saturated, resplendent models, and saturated models.
- 09:57, 17 January 2013 (diff | hist) . . (+37) . . Recursively saturated, resplendent models, and saturated models.
- 09: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...")
- 09:55, 17 January 2013 (diff | hist) . . (-624) . . Recursively saturated, resplendent models, and saturated models. (Replaced content with "== Omitting theories of undefinable sets ==")
- 13:17, 16 January 2013 (diff | hist) . . (0) . . Recursively saturated, resplendent models, and saturated models.
- 13: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...")
- 13:13, 16 January 2013 (diff | hist) . . (+4) . . Peano's Parlour
- 13:12, 16 January 2013 (diff | hist) . . (-403) . . User talk:Rkossak (Blanked the page) (current)
- 13:08, 16 January 2013 (diff | hist) . . (+4) . . Peano's Parlour
- 13:07, 16 January 2013 (diff | hist) . . (+16) . . N Cuts in models of PA and independence results (Created page with "Nothing here yet")
- 07:17, 8 January 2013 (diff | hist) . . (+47) . . User talk:Rkossak
- 07:14, 8 January 2013 (diff | hist) . . (0) . . User talk:Rkossak
- 07:13, 8 January 2013 (diff | hist) . . (+12) . . User talk:Rkossak
- 07: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...")
- 07:05, 8 January 2013 (diff | hist) . . (-4) . . Peano's Parlour
- 07:01, 8 January 2013 (diff | hist) . . (+4) . . Peano's Parlour
- 14:24, 6 January 2013 (diff | hist) . . (-1) . . Peano's Parlour
- 09:39, 4 October 2012 (diff | hist) . . (-1) . . Peano's Parlour
- 09:38, 4 October 2012 (diff | hist) . . (+777) . . Peano's Parlour
- 09:29, 4 October 2012 (diff | hist) . . (+14) . . Peano's Parlour
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
