The completeness of logic with the added quantifier "there are uncountable many"
From MaRDI portal
Publication:5509681
DOI10.4064/fm-54-3-303-304zbMath0137.00901MaRDI 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
Some new results in definability, First order properties of pairs of cardinals, On models with large automorphism groups, Generalized quantifiers and well orderings, On compactness of logics that can express properties of symmetry or connectivity, \(\aleph_0\)-categoricity of groups, Completeness and interpolation of almost-everywhere quantification over finitely additive measures