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

GAMES AND INDUCTION ON REALS

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

DOI10.1017/jsl.2021.66OpenAlexW3199288413MaRDI QIDQ5021933

No author found.

Publication date: 17 January 2022

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

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


zbMATH Keywords

determinacyinductive definitionsgames on reals


Mathematics Subject Classification ID

Games involving topology, set theory, or logic (91A44) Foundations of classical theories (including reverse mathematics) (03B30) Computability and recursion theory on ordinals, admissible sets, etc. (03D60) Inductive definability (03D70) Determinacy principles (03E60)





Cites Work

  • Unnamed Item
  • Unnamed Item
  • Unnamed Item
  • Unnamed Item
  • Borel determinacy
  • Projective games on the reals
  • Long Borel games
  • Determinacy and monotone inductive definitions
  • Weak systems of determinacy and arithmetical quasi-inductive definitions
  • Equivalence of partition properties and determinacy
  • On the Relative Consistency Strength of Determinacy Hypothesis
  • Equivalence of Two Strong Forms of Determinacy
  • Measure and category in effective descriptive set theory
  • Set Theory
  • Provident sets and rudimentary set forcing
  • Determined admissible sets
  • Higher set theory and mathematical practice
  • GAMES AND REFLECTION IN




This page was built for publication: GAMES AND INDUCTION ON REALS

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:5021933&oldid=19488434"
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 10:28.
Privacy policy
About MaRDI portal
Disclaimers
Imprint
Powered by MediaWiki