scientific article; zbMATH DE number 3867322

zbMATH Open0545.03036MaRDI QIDQ3335779FDOQ3335779

Authors: Michael Paul Fourman 

Publication date: 1982

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

Recommendations

• Sheaf models for choice sequences
• scientific article; zbMATH DE number 3941537
• scientific article; zbMATH DE number 997681
• Relative lawlessness in intuitionistic analysis
• scientific article; zbMATH DE number 6845518

zbMATH Keywords

topoiintuitionismGrothendieck topologychoice sequenceslawless sequencessheaf modelsBeth model

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Intuitionistic mathematics (03F55)

Cited In (7)

• Title not available (Why is that?)
• Title not available (Why is that?)
• A constructive manifestation of the Kleene-Kreisel continuous functionals
• Relations between sequences and selection properties
• Higher order functions and Brouwer’s thesis
• Continuous truth. II: Reflections
• Phenomenology of choice sequences

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 Q3335779)