scientific article; zbMATH DE number 60833

MaRDI QIDQ4009136zbMATH OpenFDO

Authors Adam Kolany

Publication date 27 September 1992

zbMATH Keywords

ZFexistence of consistent choices for dense relations

Mathematics Subject Classification ID

Axiom of choice and related propositions (03E25) Other classical set theory (including functions, relations, and set algebra) (03E20)

Recommendations

• Finite axiomatizability of local set theory
• On decidability properties of local sentences
• Essential localizations and infinitary exact completion
• A short note on essentially \(\Sigma_1\) sentences
• scientific article; zbMATH DE number 4144921
• Locally finite theories
• Generalizations of the Compactness Theorem and Gödel’s Completeness Theorem for Nonstandard Finite Structures
• A compactness theorem for complete separators
• Compactness in equational logic
• scientific article; zbMATH DE number 2163950

Cited in

(2)

• scientific article; zbMATH DE number 120350 (Why is no real title available?)
• Locally finite \(\omega\)-languages and effective analytic sets have the same topological complexity

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 Q4009136)