scientific article
From MaRDI portal
Publication:3023946
zbMath1069.03045MaRDI QIDQ3023946
Publication date: 7 July 2005
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
iterationcore modelsinner model theorypremiceextender models\(s\)-structuresfine structure theoryinitial segment conditionlambda structures
Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Inner models, including constructibility, ordinal definability, and core models (03E45)
This page was built for publication: