scientific article; zbMATH DE number 749939

From MaRDI portal

Publication:4764119

Jump to:navigation, search

zbMath0827.03036MaRDI QIDQ4764119

Philip Scowcroft

Publication date: 13 December 1995

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

ordinal Baire space realizability disjunction property intuitionistic analysis intuitionistic set theory well-ordering choice sequences numerical existence property

Mathematics Subject Classification ID

Intuitionistic mathematics (03F55)

Related Items (1)

Some purely topological models for intuitionistic analysis

This page was built for publication:

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:4764119&oldid=19043666"