Unavoidable sequences in constructive analysis

DOI10.1002/MALQ.200810046MaRDI QIDQ3552398zbMATH OpenOpenAlexFDO

Authors Joan Rand Moschovakis

Publication date 15 April 2010

Published in MLQ (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1002/malq.200810046

zbMATH Keywords

constructive analysisintuitionistic analysisMarkov's principlerealizabilitystrongly inadmissible ruleunavoidable sequence

Mathematics Subject Classification ID

Functionals in proof theory (03F10) Second- and higher-order arithmetic and fragments (03F35) Metamathematics of constructive systems (03F50) Intuitionistic mathematics (03F55) Constructive and recursive analysis (03F60)

Recommendations

• Realizing Brouwer's sequences
• More about relatively lawless sequences
• Relative lawlessness in intuitionistic analysis
• Intuitionistic analysis at the end of time
• Some axioms for constructive analysis

Cites work

• Can there be no nonrecursive functions?
• Classical and constructive hierarchies in extended intuitionistic analysis
• Constructivism in mathematics. An introduction. Volume II
• Formalized recursive functionals and formalized realizability
• scientific article; zbMATH DE number 218510 (Why is no real title available?)
• scientific article; zbMATH DE number 3432235 (Why is no real title available?)
• scientific article; zbMATH DE number 3216177 (Why is no real title available?)
• scientific article; zbMATH DE number 3304914 (Why is no real title available?)
• scientific article; zbMATH DE number 3317729 (Why is no real title available?)

Cited in

(9)

• An interpretation of intuitionistic analysis with restricted transfinite inductive definitions
• Realizing Brouwer's sequences
• A Non-Uniformly C-Productive Sequence & Non-Constructive Disjunctions
• scientific article; zbMATH DE number 3171974 (Why is no real title available?)
• On a weakening of Markov's Principle
• scientific article; zbMATH DE number 4101177 (Why is no real title available?)
• Intuitionistic analysis at the end of time
• scientific article; zbMATH DE number 749939 (Why is no real title available?)
• Markov's principle and subsystems of intuitionistic analysis

This page was built for publication: Unavoidable sequences in constructive analysis

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3552398)