scientific article; zbMATH DE number 3202577
From MaRDI portal
Publication:5329144
Cited in
(13)- The creating subject, the Brouwer-Kripke schema, and infinite proofs
- Is there an ontology of infinity?
- Deep \textsf{ST}
- Algebraic methods for orthopairs and induced rough approximation spaces
- Computability and Noncomputability in Classical Analysis
- Brouwer's fan theorem as an axiom and as a contrast to Kleene's alternative
- Distribution in the logic of meaning containment and in quantum mechanics
- scientific article; zbMATH DE number 3432236 (Why is no real title available?)
- scientific article; zbMATH DE number 3260753 (Why is no real title available?)
- scientific article; zbMATH DE number 3313428 (Why is no real title available?)
- Projective sets, intuitionistically
- A very weak Nullstellensatz over Heyting fields
- The Fan Theorem, its strong negation, and the determinacy of games
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 Q5329144)
