Form equivalence class Howard-Rubin Number: 345
Statement:
Howard-Rubin number: 345 A
Citations (articles):
Morillon [1988]
Topologie, Analyse Nonstandard et Axiome du Choix
Goldblatt [1985]
On the role of the Baire category theorem and dependent choice in the foundations of logic
Connections (notes):
References (books):
Back