Constructibility in higher order arithmetics

DOI10.1007/BF01270463zbMath0785.03034OpenAlexW2054684366MaRDI QIDQ1313594

A. Sochor

Publication date: 21 April 1994

Published in: Archive for Mathematical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf01270463

zbMATH Keywords

constructibilitywell-orderinghigher order arithmetics

Mathematics Subject Classification ID

Inner models, including constructibility, ordinal definability, and core models (03E45) Second- and higher-order arithmetic and fragments (03F35) Axiom of choice and related propositions (03E25)

Related Items (1)

Interpretations of the alternative set theory

Cites Work

• Unnamed Item
• Interpretations of the alternative set theory
• A Recursion-Theoretic Characterization of the Ramified Analytical Hierarchy

This page was built for publication: Constructibility in higher order arithmetics