Independence results in formal topology

Annals of Pure and Applied Logic 163 (2):151-156 (2012)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.apal.2011.06.023

Links

PhilArchive



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

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

Every countably presented formal topology is spatial, classically.Silvio Valentini - 2006 - Journal of Symbolic Logic 71 (2):491-500.
A structural investigation on formal topology: coreflection of formal covers and exponentiability.Maria Emilia Maietti & Silvio Valentini - 2004 - Journal of Symbolic Logic 69 (4):967-1005.
Objects: A Study in Kantian Formal Epistemology.Giovanni Boniolo & Silvio Valentini - 2012 - Notre Dame Journal of Formal Logic 53 (4):457-478.
Sublocales in Formal Topology.Steven Vickers - 2007 - Journal of Symbolic Logic 72 (2):463 - 482.
Does topological perception rest on a misconception about topology?Roberto Casati - 2009 - Philosophical Psychology 22 (1):77 – 81.
Sets of probability distributions, independence, and convexity.Fabio G. Cozman - 2012 - Synthese 186 (2):577-600.
Discouraging results for ultraimaginary independence theory.Itay Ben-Yaacov - 2003 - Journal of Symbolic Logic 68 (3):846-850.
Certainty and Domain-Independence in the Sciences of Complexity: a Critique of James Franklin's Account of Formal Science.Kevin de Laplante - 1999 - Studies in History and Philosophy of Science Part A 30 (4):699-720.
Some independence results related to the Kurepa tree.Renling Jin - 1991 - Notre Dame Journal of Formal Logic 32 (3):448-457.
Independence results.Saharon Shelah - 1980 - Journal of Symbolic Logic 45 (3):563-573.
Auditor independence deficiencies & alleged audit failures.Michael A. Pearson - 1987 - Journal of Business Ethics 6 (4):281 - 287.
Atomisme et physicalisme à l'épreuve du temps : le principe d'indépendance d'Armstrong et la topologie temporelle.Muriel Cahen & Frédéric Nef - 2011 - Revue de Métaphysique et de Morale 72 (4):513-533.
Natural Topology.Frank Waaldijk - 2012 - Brouwer Society.
Primitive independence results.Harvey M. Friedman - 2003 - Journal of Mathematical Logic 3 (1):67-83.

Analytics

Added to PP
2013-10-27

Downloads
14 (#925,441)

6 months
2 (#1,114,623)

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

Inductively generated formal topologies.Thierry Coquand, Giovanni Sambin, Jan Smith & Silvio Valentini - 2003 - Annals of Pure and Applied Logic 124 (1-3):71-106.
Constructive characterizations of bar subsets.Silvio Valentini - 2007 - Annals of Pure and Applied Logic 145 (3):368-378.
On the formal points of the formal topology of the binary tree.Silvio Valentini - 2002 - Archive for Mathematical Logic 41 (7):603-618.

Add more references