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

Other Versions

No versions found

Links

PhilArchive



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

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

Characterizations of pretameness and the Ord-cc.Peter Holy, Regula Krapf & Philipp Schlicht - 2018 - Annals of Pure and Applied Logic 169 (8):775-802.
On the existence of skinny stationary subsets.Yo Matsubara, Hiroshi Sakai & Toshimichi Usuba - 2019 - Annals of Pure and Applied Logic 170 (5):539-557.
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.
Small embedding characterizations for large cardinals.Peter Holy, Philipp Lücke & Ana Njegomir - 2019 - Annals of Pure and Applied Logic 170 (2):251-271.
On generalized Van Benthem-type characterizations.Grigory K. Olkhovikov - 2017 - Annals of Pure and Applied Logic 168 (9):1643-1691.
Characterizations of the weakly compact ideal on Pλ.Brent Cody - 2020 - Annals of Pure and Applied Logic 171 (6):102791.
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.
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.
Categorical characterizations of the natural numbers require primitive recursion.Leszek Aleksander Kołodziejczyk & Keita Yokoyama - 2015 - Annals of Pure and Applied Logic 166 (2):219-231.

Analytics

Added to PP
2013-12-30

Downloads
17 (#1,152,036)

6 months
9 (#488,506)

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