scientific article; zbMATH DE number 3616421

zbMATH Open0397.03037MaRDI QIDQ4180345FDOQ4180345

Authors: M. D. Krol' 

Publication date: 1978

Title of this publication is not available (Why is that?)

zbMATH Keywords

Intuitionistic AnalysisKripke-SchemeTopological Model over Cantor's DiscontinuUm

Mathematics Subject Classification ID

Intuitionistic mathematics (03F55)

Cited In (2)

• The creating subject, the Brouwer-Kripke schema, and infinite proofs
• A new model for intuitionistic analysis

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4180345)