A transfinite sequence of ω-models

DOI10.2307/2272551zbMath0246.02038OpenAlexW1567616801MaRDI QIDQ5658090

Andrzej Mostowski

Publication date: 1972

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

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

Mathematics Subject Classification ID

Other degrees and reducibilities in computability and recursion theory (03D30) Nonstandard models (03H99)

Related Items (1)

In memory of Andrzej Mostowski

Cites Work

• Unnamed Item

This page was built for publication: A transfinite sequence of ω-models