Conservative extensions of models of arithmetic

DOI10.1007/BF02021128zbMath0453.03072MaRDI QIDQ3900068

Andreas Blass

Publication date: 1980

Published in: Archiv für Mathematische Logik und Grundlagenforschung (Search for Journal in Brave)

Full work available at URL: https://eudml.org/doc/137963

zbMATH Keywords

amalgamationscombinatorial properties of ultrafilter mappings

Mathematics Subject Classification ID

Nonstandard models of arithmetic (03H15)

Related Items (2)

A standard model of Peano arithmetic with no conservative elementary extension ⋮ Minimal elementary extensions of models of set theory and arithmetic

Cites Work

• Unnamed Item
• Ranks and definability in superstable theories
• End Extensions, Conservative Extensions, and the Rudin-Frolik Ordering
• Amalgamation of nonstandard models of arithmetic
• Ultrafilters on a countable set
• The intersection of nonstandard models of arithmetic
• Ultrafilters and Standard Functions in Non-Standard Arithmetic

This page was built for publication: Conservative extensions of models of arithmetic