scientific article
From MaRDI portal
Publication:3858258
zbMath0424.03026MaRDI QIDQ3858258
Adam Krawczyk, Victor W. Marek
Publication date: 1977
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
consequence relationhierarchies as partial functions defined on the ordinalsinterconnections with second order logic
Inner models, including constructibility, ordinal definability, and core models (03E45) Abstract model theory (03C95)
This page was built for publication:
