Conservative extensions of models of arithmetic

DOI10.1007/BF02021128MaRDI QIDQ3900068zbMATH OpenFDO

Authors 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)

Cites work

• Amalgamation of nonstandard models of arithmetic
• End Extensions, Conservative Extensions, and the Rudin-Frolik Ordering
• scientific article; zbMATH DE number 3437141 (Why is no real title available?)
• Ranks and definability in superstable theories
• The intersection of nonstandard models of arithmetic
• Ultrafilters and Standard Functions in Non-Standard Arithmetic
• Ultrafilters on a countable set

Cited in

(2)

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

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3900068)