Infinitary definitions of equivalence relations in models of PA

DOI10.1016/S0168-0072(97)00003-1zbMath0889.03026MaRDI QIDQ1377633

Richard W. Kaye

Publication date: 29 May 1998

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

zbMATH Keywords

automorphism groupsnonstandard models of arithmeticrecursive saturation

Mathematics Subject Classification ID

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

Related Items (1)

The arithmetic of cuts in models of arithmetic

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Automorphisms of recursively saturated models of arithmetic
• On maximal subgroups of the automorphism group of a countable recursively saturated model of PA
• Automorphisms of models of true arithmetic: Recognizing some basic open subgroups
• On elementary cuts in recursively saturated models of Peano Arithmetic
• Models and types of Peano's arithmetic

This page was built for publication: Infinitary definitions of equivalence relations in models of PA