Some axioms for constructive analysis
type: Item
instance of: scholarly article
title: Some axioms for constructive analysis
zbMATH Open document ID: 1262.03125
author: Joan Rand Moschovakis
author: Garyfallia Vafeiadou
published in: Archive for Mathematical Logic
publication date: 2012-09-18T00:00:00Z
review text: The authors deal with numerous axioms (function comprehension, choice, fan and bar theorem, weak König's lemma, etc.) at the borderlines between constructive, intuitionistic, recursive, and classical analysis. Among other things they relate Kleene's and Troelstra's minimal formal theories of numbers and number sequences, decompose countable choice into a monotone and a boundede part, and propose a version of weak König's lemma with uniqueness hypothesis.
reviewed by: Peter Schuster
Mathematics Subject Classification ID: 03F50
Mathematics Subject Classification ID: 03F35
Mathematics Subject Classification ID: 03F55
Mathematics Subject Classification ID: 03F60
zbMATH DE Number: 6083816
zbMATH Keywords: axioms
zbMATH Keywords: minimal formal theories of numbers and number sequences
zbMATH Keywords: classical analysis
zbMATH Keywords: recursive analysis
zbMATH Keywords: constructive analysis
zbMATH Keywords: intuitionistic analysis
zbMATH Keywords: countable choice
zbMATH Keywords: weak König's lemma
MaRDI profile type: Publication
full work available at URL: s00153-012-0273-z
OpenAlex ID: W2057631483
cites work: Q3567844
cites work: Brouwer's fan theorem and unique existence in constructive analysis
cites work: Q3754620
cites work: Sequences of real functions on [0,1] in constructive reverse mathematics
cites work: Q5718575
cites work: Q5812175
cites work: Formalized recursive functionals and formalized realizability
cites work: Q5343325
cites work: Equivalents of the (weak) fan theorem
cites work: Can there be no nonrecursive functions?
cites work: Lifschitz' realizability
cites work: Q5310891
cites work: Q5183475
cites work: Note on the fan theorem
cites work: Constructivism in mathematics. An introduction. Volume II
cites work: Brouwer’s Approximate Fixed-Point Theorem is Equivalent to Brouwer’s Fan Theorem
cites work: Some applications of Kripke models to formal systems of intuitionistic analysis
DOI: 10.1007/S00153-012-0273-Z
Recommended article: Axiomatization of calculus of constructions
Recommended article: Q4304462
Recommended article: Q3140390
Recommended article: Peculiarities of constructive mathematical analysis
Recommended article: Q5197387
Recommended article: Some consequences of the axiom of constructibility
Recommended article: Constructive mathematics: a foundation for computable analysis
Recommended article: Compactness in constructive analysis revisited
Recommended article: Constructive analysis, types and exact real numbers
Recommended article: Q2753696
description: scientific article; zbMATH DE number 6083816