The completeness of logic with the added quantifier "there are uncountable many"
From MaRDI portal
Publication:5509681
DOI10.4064/fm-54-3-303-304zbMath0137.00901OpenAlexW958493406MaRDI QIDQ5509681
Publication date: 1964
Published in: Fundamenta Mathematicae (Search for Journal in Brave)
Full work available at URL: https://eudml.org/doc/213765
Related Items (7)
On models with large automorphism groups ⋮ Generalized quantifiers and well orderings ⋮ \(\aleph_0\)-categoricity of groups ⋮ Some new results in definability ⋮ Completeness and interpolation of almost-everywhere quantification over finitely additive measures ⋮ First order properties of pairs of cardinals ⋮ On compactness of logics that can express properties of symmetry or connectivity
This page was built for publication: The completeness of logic with the added quantifier "there are uncountable many"