Ramified analysis and the minimal β-models of higher order arithmetics

DOI10.4064/FM-121-1-1-15zbMath0576.03021OpenAlexW217947013MaRDI QIDQ3695263

Zygmunt Vetulani

Publication date: 1984

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

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

zbMATH Keywords

constructible hierarchyramified analysisbeta-models

Mathematics Subject Classification ID

Models of arithmetic and set theory (03C62) Second- and higher-order arithmetic and fragments (03F35) Other notions of set-theoretic definability (03E47)

This page was built for publication: Ramified analysis and the minimal β-models of higher order arithmetics