Inverse topological systems and compactness in abstract model theory
From MaRDI portal
Publication:3767332
DOI10.2307/2274032zbMath0631.03023MaRDI QIDQ3767332
Publication date: 1986
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2274032
Related Items
Cites Work
- Mapping Abelian \(\ell\)-groups with strong unit one-one into MV algebras
- Interpretation of AF \(C^*\)-algebras in Łukasiewicz sentential calculus
- Applications of Many‐Sorted Robinson Consistency Theorem
- Axioms for abstract model theory
- Stationary logic
- Logic with the quantifier “there exist uncountably many”