Subspaces of \(\mathbb{Q}\) whose d-logics do not have the FMP
From MaRDI portal
Publication:453191
DOI10.1007/s00153-012-0290-yzbMath1257.03044OpenAlexW2085129925MaRDI QIDQ453191
Guram Bezhanishvili, Joel Lucero-Bryan
Publication date: 18 September 2012
Published in: Archive for Mathematical Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s00153-012-0290-y
finite model propertytopological modal logictopological semanticsrational numbersd-semanticsderived set operator
Related Items
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- The d-logic of the rational numbers: a fruitful construction
- Some results on modal axiomatization and definability for topological spaces
- Set theory. With an introduction to descriptive set theory. Translation of the original Polish edition. 2nd, completely revised ed
- More on \(d\)-logics of subspaces of the rational numbers
- The algebra of topology