scientific article
From MaRDI portal
Publication:3329456
zbMath0542.03030MaRDI QIDQ3329456
Victor W. Marek, Carlos Augusto Di Prisco
Publication date: 1983
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
partitionbinary relationclubstationary subsetsstationary setsregular uncountable cardinalderivative of a subsetregresssive functionsStationary degreesstationary selector
Inner models, including constructibility, ordinal definability, and core models (03E45) Large cardinals (03E55)