A generalized constructable continuum

DOI10.1007/BF00969904zbMATH Open0284.02014OpenAlexW2089534264MaRDI QIDQ1844659

V. A. Ganov

Publication date: 1974

Published in: Siberian Mathematical Journal (Search for Journal in Brave)

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

Mathematics Subject Classification ID

Continuum hypothesis and Martin's axiom (03E50) Computability and recursion theory (03D99) Computability and recursion theory on ordinals, admissible sets, etc. (03D60) Proof theory and constructive mathematics (03F99)

Cites Work

• Title not available (Why is that?)
• Recursive Functionals and Quantifiers of Finite Types I
• Hyperanalytic Predicates

This page was built for publication: A generalized constructable continuum

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