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