ON AUTOMORPHISMS OF RESPLENDENT MODELS OF ARITHMETIC

DOI10.1002/MALQ.19840301911zbMATH Open0564.03032OpenAlexW2062310022MaRDI QIDQ3677751FDOQ3677751

Authors: Zofia Seremet 

Publication date: 1984

Published in: Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/malq.19840301911

Recommendations

• Order-types of models of arithmetic and a connection with arithmetic saturation
• Automorphisms of Recursively Saturated Models of Peano Arithmetic: Fixed Point Sets
• The Automorphism Group of an Arithmetically Saturated Model of Peano Arithmetic
• Nonstandard characterizations of recursive saturation and resplendency
• Automorphism groups of models of Peano arithmetic

zbMATH Keywords

satisfaction classesmodels of Peano Arithmetic

Mathematics Subject Classification ID

Models of arithmetic and set theory (03C62) Nonstandard models of arithmetic (03H15)

Cited In (5)

• Automorphism groups of models of Peano arithmetic
• Nonstandard characterizations of recursive saturation and resplendency
• Order-types of models of arithmetic and a connection with arithmetic saturation
• Automorphisms of models of arithmetic: a unified view
• Automorphisms of recursively saturated models of arithmetic

This page was built for publication: ON AUTOMORPHISMS OF RESPLENDENT MODELS OF ARITHMETIC

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