scientific article; zbMATH DE number 1296809
From MaRDI portal
Publication:4245013
zbMath0927.03074MaRDI QIDQ4245013
Publication date: 8 June 1999
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) Other infinitary logic (03C75)
This page was built for publication: