scientific article; zbMATH DE number 3161202

MaRDI QIDQ3279286zbMATH OpenFDO

Authors Andrzej Grzegorczyk, Andrzej Mostowski, C. Ryll-Nardzewski

Publication date 1961

zbMATH Keywords

philosophy and foundations of mathematics

Cited in

(7)

• Omitting types theorem in hybrid dynamic first-order logic with rigid symbols
• The role of the Omitting Types Theorem in infinitary logic
• Polish Group Actions and the Vaught Conjecture
• A Borel invariantization
• Vaught’s conjecture and the Glimm-Effros property for Polish transformation groups
• Vaught’s conjecture on analytic sets
• Orbit cardinals: On the effective cardinalities arising as quotient spaces of the form \(X/G\) where \(G\) acts on a Polish space \(X\)

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3279286)