The Structure of Models of Peano Arithmetic
Kossak, Roman City University of New York
Schmerl, James University of Connecticut, Storrs
Print publication date: 2006 (this edition)
Published to Oxford Scholarship Online: September 2007
Print ISBN-13: 978-0-19-856827-8




11 ORDER TYPES
doi:10.1093/acprof:oso/9780198568278.003.0011

Roman Kossak
James H. Schmerl
Abstract: This short chapter concerns properties of order types of models of PA. Shelah's theorem on the existence of U+03BA,U+03BA-cuts is proved. The theorem of Pabion on the order types of saturated models is also presented in detail.

Keywords: order types, U+03BA, U+03BA-cuts, Shelah's theorem, theorem of Pabion,

You have access to the abstract for this item.     You have access to the full text for this item.


 
Privacy Policy and Legal Notice © Oxford University Press, . All rights reserved.
Quick Search Form

Contents
 
scroll up fast
scroll up
 
scroll down
scroll down fast
Full Book Contents
1 BASICS
2 EXTENSIONS
3 MINIMAL AND OTHER TYPES
4 SUBSTRUCTURE LATTICES
5 HOW TO CONTROL TYPES
6 GENERICS AND FORCING
7 CUTS
8 AUTOMORPHISMS OF RECURSIVELY SATURATED MODELS
9 AUTOMORPHISM GROUPS OF RECURSIVELY SATURATED MODELS
10 U+03C91-LIKE MODELS
11 ORDER TYPES
12 TWENTY QUESTIONS
Bibliography
Index
 
Return to top of list
SUBSCRIBER