Weakly atomic-compact relational structures
- 12 March 1971
- journal article
- Published by Cambridge University Press (CUP) in The Journal of Symbolic Logic
- Vol. 36 (1) , 129-140
- https://doi.org/10.2307/2271522
Abstract
A relational structure is called weakly atomic-compact if and only if every set Σ of atomic formulas (taken from the first-order language of the similarity type of augmented by a possibly uncountable set of additional variables as “unknowns”) is satisfiable in whenever every finite subset of Σ is so satisfiable. This notion (as well as some related ones which will be mentioned in §4) was introduced by J. Mycielski as a generalization to model theory of I. Kaplansky's notion of an algebraically compact Abelian group (cf. [5], [7], [1], [8]).Keywords
This publication has 16 references indexed in Scilit:
- Denumerable models of complete theoriesPublished by World Scientific Pub Co Pte Ltd ,2003
- Equationally compact semilatticesColloquium Mathematicum, 1969
- Equationally compact algebras (III)Fundamenta Mathematicae, 1967
- Equationally compact algebras IIFundamenta Mathematicae, 1967
- Languages with Expressions of Infinite Length.The American Mathematical Monthly, 1966
- Äquivalenzklassen von n‐TupelnMathematical Logic Quarterly, 1959
- Abelian groups that are direct summands of every abelian group which contains them as pure subgroupsFundamenta Mathematicae, 1957
- On algebraically compact groups of I. KaplanskyFundamenta Mathematicae, 1957
- On ω-consistency and related propertiesThe Journal of Symbolic Logic, 1956
- A proof of the completeness theorem of GrödelFundamenta Mathematicae, 1950