Approximating the standard model of analysis

DOI10.4064/FM-72-2-175-188zbMath0235.02053OpenAlexW1517382408MaRDI QIDQ5643987

H. B. Enderton, Harvey M. Friedman

Publication date: 1971

Published in: Fundamenta Mathematicae (Search for Journal in Brave)

Full work available at URL: https://eudml.org/doc/214350

Mathematics Subject Classification ID

Models of arithmetic and set theory (03C62)

Related Items (1)

THE RAMIFIED ANALYTICAL HIERARCHY USING EXTENDED LOGICS

This page was built for publication: Approximating the standard model of analysis