Constructive characterizations of bar subsets

Annals of Pure and Applied Logic 145 (3):368-378 (2007)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.apal.2006.10.003

Links

PhilArchive



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

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

Metric Boolean algebras and constructive measure theory.Thierry Coquand & Erik Palmgren - 2002 - Archive for Mathematical Logic 41 (7):687-704.
Frege's theorem in a constructive setting.John L. Bell - 1999 - Journal of Symbolic Logic 64 (2):486-488.
Some new natural α-RE-Degrees.Colin G. Bailey - 1987 - Journal of Symbolic Logic 52 (1):227-231.
Common characterizations of the untrapped set and the top cycle.Nicolas Houy - 2011 - Theory and Decision 70 (4):501-509.
Explicit algebraic models for constructive and classical theories with non-standard elements.Albert G. Dragalin - 1995 - Studia Logica 55 (1):33 - 61.
On the formal points of the formal topology of the binary tree.Silvio Valentini - 2002 - Archive for Mathematical Logic 41 (7):603-618.
κ-Stationary Subsets of Pκ+Λ, Infinitary Games, and Distributive Laws in Boolean Algebras.Natasha Dobrinen - 2008 - Journal of Symbolic Logic 73 (1):238 - 260.
Some New Natural $alpha$-RE-Degrees.Colin G. Bailey - 1987 - Journal of Symbolic Logic 52 (1):227-231.
The problem of the formalization of constructive topology.Silvio Valentini - 2005 - Archive for Mathematical Logic 44 (1):115-129.
Ramsey's theorem for computably enumerable colorings.Tamara J. Hummel & Carl G. Jockusch - 2001 - Journal of Symbolic Logic 66 (2):873-880.
Extensionality Versus Constructivity.Silvio Valentini - 2002 - Mathematical Logic Quarterly 48 (2):179-187.
Decidability, partial decidability and sharpness relation for l-subsets.Giangiacomo Gerla - 1987 - Studia Logica 46 (3):227-238.
Some remarks on a question of D. H. Fremlin regarding ε-density.Arthur W. Apter & Mirna Džamonja - 2001 - Archive for Mathematical Logic 40 (7):531-540.

Analytics

Added to PP
2013-12-30

Downloads
8 (#1,313,626)

6 months
3 (#965,065)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Cantor theorem and friends, in logical form.Silvio Valentini - 2013 - Annals of Pure and Applied Logic 164 (4):502-508.
Independence results in formal topology.Silvio Valentini - 2012 - Annals of Pure and Applied Logic 163 (2):151-156.

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.
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