Topological models of epistemic set theory

Annals of Pure and Applied Logic 46 (2):147-167 (1990)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/0168-0072(90)90032-w

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,322

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

On topological spaces equivalent to ordinals.Jörg Flum & Juan Carlos Martinez - 1988 - Journal of Symbolic Logic 53 (3):785-795.
McKinsey Algebras and Topological Models of S4.1.Thomas Mormann - manuscript
Geometrical Axiomatization for Model Complete Theories of Differential Topological Fields.Nicolas Guzy & Cédric Rivière - 2006 - Notre Dame Journal of Formal Logic 47 (3):331-341.
On topological set theory.Thierry Libert & Olivier Esser - 2005 - Mathematical Logic Quarterly 51 (3):263-273.
EVANS, DM, and HEWITT, PR, Counterexamples to a con-jecture on relative categoricity GOODMAN, ND, Topological models of epistemic set theory HEWITT, PR, see EVANS, DM.W. Hodges, Im Hodkinson & D. Macpherson - 1990 - Annals of Pure and Applied Logic 46:299.
Some topological properties of paraconsistent models.Can Başkent - 2013 - Synthese 190 (18):4023-4040.
The Role of Non-Epistemic Values in Engineering Models.Sven Diekmann & Martin Peterson - 2013 - Science and Engineering Ethics 19 (1):207-218.
The topology of justification.Sergei Artemov & Elena Nogina - 2008 - Logic and Logical Philosophy 17 (1-2):59-71.
The Geometry of Knowledge.Johan van Benthem & Darko Sarenac - unknown
Common knowledge and limit knowledge.Christian W. Bach & Jérémie Cabessa - 2012 - Theory and Decision 73 (3):423-440.
Topological Models for Extensional Partial Set Theory.Roland Hinnion & Thierry Libert - 2008 - Notre Dame Journal of Formal Logic 49 (1):39-53.
A Note on Logics of Ignorance and Borders.Christopher Steinsvold - 2008 - Notre Dame Journal of Formal Logic 49 (4):385-392.
An evolutionary topological theory of participatory socioeconomic development.Masudul Alam Choudhury, Saiful I. Zaman & Sofyan Syafri Harahap - 2007 - World Futures 63 (8):584 – 598.
A parser as an epistemic artifact: A material view on models.Tarja Knuuttila & Atro Voutilainen - 2003 - Philosophy of Science 70 (5):1484-1495.
On the failure of BD-ࡃ and BD, and an application to the anti-Specker property.Robert S. Lubarsky - 2013 - Journal of Symbolic Logic 78 (1):39-56.

Analytics

Added to PP
2014-01-16

Downloads
9 (#1,219,856)

6 months
1 (#1,533,009)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Epistemic Modality and Hyperintensionality in Mathematics.Timothy Bowen - 2017 - Dissertation, Arché, University of St Andrews

View all 6 citations / Add more citations

References found in this work

The knowing mathematician.Nicolas D. Goodman - 1984 - Synthese 60 (1):21 - 38.
Intensions, Church's thesis, and the formalization of mathematics.Nicolas D. Goodman - 1987 - Notre Dame Journal of Formal Logic 28 (4):473-489.
Flagg realizability in arithmetic.Nicolas D. Goodman - 1986 - Journal of Symbolic Logic 51 (2):387-392.

Add more references