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

DOI10.4064/FM-121-1-1-15zbMATH Open0576.03021OpenAlexW217947013MaRDI QIDQ3695263FDOQ3695263

Authors: Zygmunt Vetulani 

Publication date: 1984

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

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

Recommendations

• Constructibility in higher order arithmetics
• scientific article; zbMATH DE number 3313431
• The ramified analytical hierarchy using extended logics
• An incompleteness theorem for β_n-models
• scientific article; zbMATH DE number 4172966

zbMATH Keywords

constructible hierarchyramified analysisbeta-models

Mathematics Subject Classification ID

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

Cited In (4)

• Title not available (Why is that?)
• Ramified systems
• The ramified analytical hierarchy using extended logics
• Constructibility in higher order arithmetics

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3695263)