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: 93,779

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

The non-constructive μ operator, fixed point theories with ordinals, and the bar rule.Thomas Strahm - 2000 - Annals of Pure and Applied Logic 104 (1-3):305-324.
On the existence of skinny stationary subsets.Yo Matsubara, Hiroshi Sakai & Toshimichi Usuba - 2019 - Annals of Pure and Applied Logic 170 (5):539-557.
Characterizations of pretameness and the Ord-cc.Peter Holy, Regula Krapf & Philipp Schlicht - 2018 - Annals of Pure and Applied Logic 169 (8):775-802.
Equivalence of bar induction and bar recursion for continuous functions with continuous moduli.Makoto Fujiwara & Tatsuji Kawai - 2019 - Annals of Pure and Applied Logic 170 (8):867-890.
Characterizations of the weakly compact ideal on Pλ.Brent Cody - 2020 - Annals of Pure and Applied Logic 171 (6):102791.
On generalized Van Benthem-type characterizations.Grigory K. Olkhovikov - 2017 - Annals of Pure and Applied Logic 168 (9):1643-1691.
Small embedding characterizations for large cardinals.Peter Holy, Philipp Lücke & Ana Njegomir - 2019 - Annals of Pure and Applied Logic 170 (2):251-271.
Orbits of subsets of the monster model and geometric theories.Enrique Casanovas & Luis Jaime Corredor - 2017 - Annals of Pure and Applied Logic 168 (12):2152-2163.
The bounded functional interpretation of bar induction.Patrícia Engrácia - 2012 - Annals of Pure and Applied Logic 163 (9):1183-1195.
Global and local admissibility: II. Major subsets and automorphisms.C. T. Chong - 1983 - Annals of Pure and Applied Logic 24 (2):99-111.

Analytics

Added to PP
2013-12-30

Downloads
8 (#1,332,410)

6 months
3 (#1,206,053)

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