Equivalence of bar induction and bar recursion for continuous functions with continuous moduli

&
Annals of Pure and Applied Logic 170 (8):867-890 (2019)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.apal.2019.04.001

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,590

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

Characterising Brouwer’s continuity by bar recursion on moduli of continuity.Makoto Fujiwara & Tatsuji Kawai - 2020 - Archive for Mathematical Logic 60 (1):241-263.
Bar recursion over finite partial functions.Paulo Oliva & Thomas Powell - 2017 - Annals of Pure and Applied Logic 168 (5):887-921.
The equivalence of bar recursion and open recursion.Thomas Powell - 2014 - Annals of Pure and Applied Logic 165 (11):1727-1754.
The bounded functional interpretation of bar induction.Patrícia Engrácia - 2012 - Annals of Pure and Applied Logic 163 (9):1183-1195.
Bar induction and ω model reflection.Gerhard Jäger & Thomas Strahm - 1999 - Annals of Pure and Applied Logic 97 (1-3):221-230.
The Vietoris functor and modal operators on rings of continuous functions.G. Bezhanishvili, L. Carai & P. J. Morandi - 2022 - Annals of Pure and Applied Logic 173 (1):103029.
Constructive characterizations of bar subsets.Silvio Valentini - 2007 - Annals of Pure and Applied Logic 145 (3):368-378.
On Spector's bar recursion.Paulo Oliva & Thomas Powell - 2012 - Mathematical Logic Quarterly 58 (4-5):356-265.
The cardinals below vertical bar [omega (1)].W. H. Woodin - 2006 - Annals of Pure and Applied Logic 140 (1-3):161-232.
Covering a function on the plane by two continuous functions on an uncountable square – the consistency.Mariusz Rabus & Saharon Shelah - 2000 - Annals of Pure and Applied Logic 103 (1-3):229-240.

Analytics

Added to PP
2019-04-11

Downloads
26 (#145,883)

6 months
8 (#1,326,708)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Add more citations

References found in this work

Subsystems of Second Order Arithmetic.Stephen G. Simpson - 1999 - Studia Logica 77 (1):129-129.

Add more references