Subspaces of Q{\mathbb{Q}} whose d-logics do not have the FMP

&
Archive for Mathematical Logic 51 (5-6):661-670 (2012)
  Copy   BIBTEX

Abstract

We show that subspaces of the space ${\mathbb{Q}}$ of rational numbers give rise to uncountably many d-logics over K4 without the finite model property

Categories

Keywords

Reprint years

DOI

10.1007/s00153-012-0290-y

Other Versions

No versions found

Links

PhilArchive

    This entry is not archived by us. If you are the author and have permission from the publisher, we recommend that you archive it. Many publishers automatically grant permission to authors to archive pre-prints. By uploading a copy of your work, you will enable us to better index it, making it easier to find.

    Upload a copy of this work     Papers currently archived: 102,964

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

More on d-Logics of Subspaces of the Rational Numbers.Guram Bezhanishvili & Joel Lucero-Bryan - 2012 - Notre Dame Journal of Formal Logic 53 (3):319-345.
The d-Logic of the Rational Numbers: A Fruitful Construction.Joel Lucero-Bryan - 2011 - Studia Logica 97 (2):265-295.
Subspaces of whose d-logics do not have the FMP.Guram Bezhanishvili & Joel Lucero-Bryan - forthcoming - Archive for Mathematical Logic.
Rings of algebraic numbers in infinite extensions of Q{\mathbb {Q}} and elliptic curves retaining their rank.Alexandra Shlapentokh - 2009 - Archive for Mathematical Logic 48 (1):77-114.
The modal logic of {beta(mathbb{N})}.Guram Bezhanishvili & John Harding - 2009 - Archive for Mathematical Logic 48 (3-4):231-242.
Decidability of Scott's Model as an Ordered $\mathbb{Q}$-Vectorspace.Miklós Erdélyi-Szabó - 1997 - Journal of Symbolic Logic 62 (3):917-924.
On Finite Model Property for Admissible Rules.Vladimir V. Rybakov, Vladimir R. Kiyatkin & Tahsin Oner - 1999 - Mathematical Logic Quarterly 45 (4):505-520.
Periods of Strebel Differentials and Algebraic Curves Defined over the Field of Algebraic Numbers.Mulase Motohico & Penkava Michael - unknown
Some Results on Modal Axiomatization and Definability for Topological Spaces.Guram Bezhanishvili, Leo Esakia & David Gabelaia - 2005 - Studia Logica 81 (3):325-355.
Multimo dal Logics of Products of Topologies.J. Van Benthem, G. Bezhanishvili, B. Ten Cate & D. Sarenac - 2006 - Studia Logica 84 (3):369 - 392.

Analytics

Added to PP
2013-11-23

Downloads
36 (#653,179)

6 months
7 (#477,540)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

More on d-Logics of Subspaces of the Rational Numbers.Guram Bezhanishvili & Joel Lucero-Bryan - 2012 - Notre Dame Journal of Formal Logic 53 (3):319-345.

Add more citations

References found in this work

Modal Logic: Graph. Darst.Patrick Blackburn, Maarten de Rijke & Yde Venema - 2001 - New York: Cambridge University Press. Edited by Maarten de Rijke & Yde Venema.
Modal Logic.Patrick Blackburn, Maarten de Rijke & Yde Venema - 2001 - Studia Logica 76 (1):142-148.
The Algebra of Topology.J. C. C. Mckinsey & Alfred Tarski - 1944 - Annals of Mathematics, Second Series 45:141-191.
More on d-Logics of Subspaces of the Rational Numbers.Guram Bezhanishvili & Joel Lucero-Bryan - 2012 - Notre Dame Journal of Formal Logic 53 (3):319-345.

View all 6 references / Add more references