The Axiom of Determinacy, Forcing Axioms, and the Nonstationary Ideal 论文

1999引用 231
DOI
Computability, Logic, AI AlgorithmsLogic, Reasoning, and KnowledgeAdvanced Topology and Set Theory
Computability, Logic, AI AlgorithmsLogic, Reasoning, and KnowledgeAdvanced Topology and Set Theory
相关技术:Computability, Logic, AI Algorithms
关系图谱

The Axiom of Determinacy, Forcing Axioms, and the Nonstationary Ideal · 相关技术

相关技术

Computability, Logic, AI Algorithms