scientific article; zbMATH DE number 3348104
From MaRDI portal
Publication:5623691
zbMath0219.02046MaRDI QIDQ5623691
Publication date: 1971
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Inner models, including constructibility, ordinal definability, and core models (03E45) Models of arithmetic and set theory (03C62) Other infinitary logic (03C75)
Related Items (5)
HYPERSOLVER: A graphical tool for commonsense set theory ⋮ THE Σ1-DEFINABLE UNIVERSAL FINITE SEQUENCE ⋮ End extending models of set theory via power admissible covers ⋮ Putnam’s Constructivization Argument ⋮ INITIAL SELF-EMBEDDINGS OF MODELS OF SET THEORY
This page was built for publication:
