Mathematical Research Data Initiative
Main page
Recent changes
Random page
Help about MediaWiki
Create a new Item
Create a new Property
Merge two items
In other projects
Discussion
View source
View history
Purge
English
Log in

MARKOV’S PRINCIPLE AND SUBSYSTEMS OF INTUITIONISTIC ANALYSIS

From MaRDI portal
Publication:5222539
Jump to:navigation, search

DOI10.1017/JSL.2019.7zbMath1506.03127OpenAlexW2916827751WikidataQ128383089 ScholiaQ128383089MaRDI QIDQ5222539

Joan Rand Moschovakis

Publication date: 6 April 2020

Published in: The Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/jsl.2019.7


zbMATH Keywords

intuitionistic analysisconservativityMarkov's principle


Mathematics Subject Classification ID

Metamathematics of constructive systems (03F50) Intuitionistic mathematics (03F55)


Related Items (1)

Solovay's relative consistency proof for FIM and BI




Cites Work

  • Unnamed Item
  • Unnamed Item
  • Unnamed Item
  • Some axioms for constructive analysis
  • Interpreting classical theories in constructive ones
  • A new method for establishing conservativity of classical systems over their intuitionistic version
  • Formalized recursive functionals and formalized realizability




This page was built for publication: MARKOV’S PRINCIPLE AND SUBSYSTEMS OF INTUITIONISTIC ANALYSIS

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:5222539&oldid=19832871"
Tools
What links here
Related changes
Special pages
Printable version
Permanent link
Page information
MaRDI portal item
This page was last edited on 8 February 2024, at 18:04.
Privacy policy
About MaRDI portal
Disclaimers
Imprint
Powered by MediaWiki