Topological forcing semantics with settling

Annals of Pure and Applied Logic 163 (7):820-830 (2012)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.apal.2011.09.014

Other Versions

No versions found

Links

PhilArchive



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

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

Effective topological spaces III: Forcing and definability.Iraj Kalantari & Galen Weitkamp - 1987 - Annals of Pure and Applied Logic 36:17-27.
Representation and duality of the untyped λ-calculus in nominal lattice and topological semantics, with a proof of topological completeness.Murdoch J. Gabbay & Michael Gabbay - 2017 - Annals of Pure and Applied Logic 168 (3):501-621.
Tangled modal logic for topological dynamics.David Fernández-Duque - 2012 - Annals of Pure and Applied Logic 163 (4):467-481.
Locally pure topological abelian groups: elementary invariants.G. Cherlin & P. H. Schmitt - 1983 - Annals of Pure and Applied Logic 24 (1):49-85.
Convergent sequences in topological groups.Michael Hrušák & Alexander Shibakov - 2021 - Annals of Pure and Applied Logic 172 (5):102910.
Topological dynamics and NIP fields.Grzegorz Jagiella - 2021 - Annals of Pure and Applied Logic 172 (9):103010.
Topological fields with a generic derivation.Pablo Cubides Kovacsics & Françoise Point - 2023 - Annals of Pure and Applied Logic 174 (3):103211.
Laver forcing and converging sequences.Alan Dow - 2024 - Annals of Pure and Applied Logic 175 (1):103247.
Forcing axioms and the uniformization-property.Stefan Hoffelner - 2024 - Annals of Pure and Applied Logic 175 (10):103466.
Forcing by non-scattered sets.Miloš S. Kurilić & Stevo Todorčević - 2012 - Annals of Pure and Applied Logic 163 (9):1299-1308.

Analytics

Added to PP
2013-10-27

Downloads
73 (#288,155)

6 months
14 (#232,731)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Sheaves and Logic.M. P. Fourman, D. S. Scott & C. J. Mulvey - 1983 - Journal of Symbolic Logic 48 (4):1201-1203.
On the constructive Dedekind reals.Robert S. Lubarsky & Michael Rathjen - 2008 - Logic and Analysis 1 (2):131-152.

View all 7 references / Add more references