On the End Extension Problem For Δ0-PA(S)

DOI10.1002/MALQ.19890350504zbMath0692.03035OpenAlexW1986862242MaRDI QIDQ3033758

Henryk Kotlarski

Publication date: 1989

Published in: Zeitschrift für Mathematische Logik und Grundlagen der Mathematik (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/malq.19890350504

zbMATH Keywords

Peano arithmeticend extensionmodels of arithmeticcountable modelsatisfaction classesHardy hierarchy

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30) Nonstandard models of arithmetic (03H15) Models of arithmetic and set theory (03C62)

This page was built for publication: On the End Extension Problem For Δ0-PA(S)