A Correction to "On Extensions of Models of Strong Fragments of Arithmetic"

DOI10.2307/2048717zbMath0732.03030OpenAlexW2021540854MaRDI QIDQ3358721

Roman Kossak

Publication date: 1991

Published in: Proceedings of the American Mathematical Society (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2048717

zbMATH Keywords

automorphismsmodels of arithmeticend extensionsrecursive saturationfragments of arithmeticcofinal extensionsnot always semiregularity of models

Mathematics Subject Classification ID

Nonstandard models of arithmetic (03H15) Models of arithmetic and set theory (03C62) Models with special properties (saturated, rigid, etc.) (03C50) Properties of classes of models (03C52)

Related Items (1)

HOW STRONG IS RAMSEY’S THEOREM IF INFINITY CAN BE WEAK?

This page was built for publication: A Correction to "On Extensions of Models of Strong Fragments of Arithmetic"