Topological model theory with an interior operator: Consistency properties and back — and forth arguments

&
Archive for Mathematical Logic 21 (1):37-54 (1981)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Add categories

Keywords

Reprint years

DOI

10.1007/bf02011632

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,880

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

Infinitary logic: in memoriam Carol Karp: a collection of papers by various authors.Carol Karp & D. W. Kueker (eds.) - 1975 - New York: Springer Verlag.
A topological characterization of consistency of logic theories in propositional logic.Guo-Jun Wang & Yan-Hong She - 2006 - Mathematical Logic Quarterly 52 (5):470-477.
Subspaces of $${\mathbb{Q}}$$ whose d-logics do not have the FMP.Guram Bezhanishvili & Joel Lucero-Bryan - 2012 - Archive for Mathematical Logic 51 (5-6):661-670.
The operator gap theorem in α-recursion theory.Robert A. Paola - 1978 - Archive for Mathematical Logic 19 (1):115-129.
Elementary extensions of topological models in L t language.Miros?aw Majewski - 1987 - Studia Logica 46 (3):255-264.
The Suszko operator. Part I.Janusz Czelakowski - 2003 - Studia Logica 74 (1-2):181 - 231.
J. A. Makowsky, Saharon Shelah, and Jonathan Stavi. ⊿-logics and generalized quantifiers. Annals of mathematical logic, vol. 10 , pp. 155–192. [REVIEW]Jouko Vaananen - 1985 - Journal of Symbolic Logic 50 (1):241-242.
Topological characterization of Scott domains.Giovanni Sambin & Silvio Valentini - forthcoming - Archive for Mathematical Logic.
Model theory of topological structures.Steven Garavaglia - 1978 - Annals of Mathematical Logic 14 (1):13.
Taming the ‘Elsewhere’: On Expressivity of Topological Languages.David Fernández-Duque - 2024 - Review of Symbolic Logic 17 (1):144-153.

Analytics

Added to PP
2020-12-03

Downloads
6 (#1,704,271)

6 months
4 (#1,288,968)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Add more citations

References found in this work

No references found.

Add more references