Mathematical Research Data Initiative
Main page
Recent changes
Random page
SPARQL
MaRDI@GitHub
Special pages
In other projects
MaRDI portal item
Discussion
View source
View history
Purge
English
Log in

Varieties of the Weak Kőnig Lemma and the Disjunctive Dependent Choice

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

DOI10.1142/9789811245220_0006OpenAlexW4362237199MaRDI QIDQ6111740

Takako Nemoto, Josef Berger, Hajime Ishihara

Publication date: 4 August 2023

Published in: Mathematics for Computation (M4C) (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1142/9789811245220_0006




Mathematics Subject Classification ID

Computer science (68-XX)




Recommendations

  • Unnamed Item 👍 👎
  • Unnamed Item 👍 👎
  • Unnamed Item 👍 👎
  • Equivalent versions of a weak form of the axiom of choice 👍 👎
  • Dependent choices and weak compactness 👍 👎
  • On a theorem of Kurepa for partially ordered sets and weak choice 👍 👎
  • Separation and Weak König's Lemma 👍 👎
  • Weak Forms of the Axiom of Choice and the Generalized Continuum Hypothesis 👍 👎
  • The Weak Kőnig Lemma, Brouwer’s Fan Theorem, De Morgan’s Law, and Dependent Choice 👍 👎
  • König's lemma, weak König's lemma, and the decidable fan theorem 👍 👎





This page was built for publication: Varieties of the Weak Kőnig Lemma and the Disjunctive Dependent Choice

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:6111740&oldid=35561651"
Tools
What links here
Related changes
Printable version
Permanent link
Page information
This page was last edited on 10 July 2024, at 07:18.
Privacy policy
About MaRDI portal
Disclaimers
Imprint
Powered by MediaWiki