On closed elementary cuts in recursively saturated models of Peano arithmetic

DOI10.1305/ndjfl/1093634654zbMath0783.03016OpenAlexW2004208449MaRDI QIDQ1309332

Bożena Piekart

Publication date: 6 December 1993

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1305/ndjfl/1093634654

zbMATH Keywords

elementary cutsclosed cutsrecursively saturated models of Peano arithmetic

Mathematics Subject Classification ID

Models of arithmetic and set theory (03C62)

Related Items (1)

Automorphisms of countable recursively saturated models of PA: A survey

This page was built for publication: On closed elementary cuts in recursively saturated models of Peano arithmetic