Infinitary definitions of equivalence relations in models of PA
From MaRDI portal
Publication:1377633
DOI10.1016/S0168-0072(97)00003-1zbMath0889.03026MaRDI QIDQ1377633
Publication date: 29 May 1998
Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)
Related Items
Cites Work
- 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
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item