Existentially closed closure algebras
From MaRDI portal
Publication:1981991
DOI10.1215/00294527-2020-0026zbMath1486.03067OpenAlexW3115103506MaRDI QIDQ1981991
Publication date: 7 September 2021
Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1215/00294527-2020-0026
Model-theoretic algebra (03C60) Boolean algebras with additional operations (diagonalizable algebras, etc.) (06E25) Model-theoretic forcing (03C25)
Related Items (1)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Interpolation theorems in modal logics and amalgamable varieties of topological Boolean algebras
- Forcing, arithmetic, division rings
- Boolean powers
- The algebra of topology
- On closed elements in closure algebras
- A Modal Transcription of the Hausdorff Residue
- Complete and model-complete theories of monadic algebras
- Negative-existentially complete structures and definability in free extensions
- Model existence theorems for modal and intuitionistic logics
- Existentially closed dimension groups
- Some theorems about the sentential calculi of Lewis and Heyting
- Closure algebras
- Boolean Algebras with Operators. Part I
This page was built for publication: Existentially closed closure algebras