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
doi:10.1093/acprof:oso/9780198568278.003.0011
Published to Oxford Scholarship Online: September 2007
Print ISBN-13: 978-0-19-856827-8
doi:10.1093/acprof:oso/9780198568278.003.0011
11
ORDER TYPES
This short chapter concerns properties of order types of models of PA. Shelah's theorem on the existence of κ,κ-cuts is proved. The theorem of Pabion on the order types of saturated models is also presented in detail.
Keywords: order types, κ, κ-cuts, Shelah's theorem, theorem of Pabion
Keywords: order types, κ, κ-cuts, Shelah's theorem, theorem of Pabion
doi:10.1093/acprof:oso/9780198568278.003.0011
Citation Export