ON AUTOMORPHISMS OF RESPLENDENT MODELS OF ARITHMETIC

DOI10.1002/MALQ.19840301911MaRDI QIDQ3677751zbMATHOpenAlexFDO

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

zbMATH Keywords

satisfaction classesmodels of Peano Arithmetic

Mathematics Subject Classification ID

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

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

Cited in

(5)

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

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)