scientific article
From MaRDI portal
Publication:3079623
zbMATH Open1244.03133MaRDI QIDQ3079623
Publication date: 2 March 2011
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Consistency and independence results (03E35) Inner models, including constructibility, ordinal definability, and core models (03E45) Large cardinals (03E55)
Related Items (3)
On constructivity and the Rosser property: a closer look at some Gödelean proofs ⋮ On the Cantor–Bendixson rank of a set that is searchable in Gödel’s T ⋮ Realization of constructive set theory into explicit mathematics: A lower bound for impredicative Mahlo universe
This page was built for publication:
