The following pages link to (Q5329144):
Displaying 12 items.
- Brouwer's fan theorem as an axiom and as a contrast to Kleene's alternative (Q403410) (← links)
- A very weak Nullstellensatz over Heyting fields (Q698628) (← links)
- The creating subject, the Brouwer-Kripke schema, and infinite proofs (Q1788337) (← links)
- Is there an ontology of infinity? (Q2151517) (← links)
- Deep \textsf{ST} (Q2679574) (← links)
- Algebraic Methods for Orthopairs and Induced Rough Approximation Spaces (Q3299872) (← links)
- Computability and Noncomputability in Classical Analysis (Q3657990) (← links)
- Distribution in the Logic of Meaning Containment and in Quantum Mechanics (Q4912993) (← links)
- (Q5183476) (← links)
- (Q5546767) (← links)
- (Q5593817) (← links)
- Projective sets, intuitionistically (Q6170638) (← links)
