Publication:4194945
From MaRDI portal
zbMath0408.03030MaRDI QIDQ4194945
Publication date: 1977
03E15: Descriptive set theory
03C40: Interpolation, preservation, definability
03C75: Other infinitary logic
Related Items
A Tree Argument in Infinitary Model Theory, LOGICALITY AND MODEL CLASSES, EQUIVALENCE RELATIONS WHICH ARE BOREL SOMEWHERE, The Craig interpolation theorem in abstract model theory, Large cardinals and definable counterexamples to the continuum hypothesis, Borel Games and the Baire Property