Scowcroft, Philip Some purely topological models for intuitionistic analysis. (English) Zbl 0944.03058 Ann. Pure Appl. Logic 98, No. 1-3, 173-215 (1999). Reviewer: Victor N. Krivtsov (Moskva) MSC: 03F55 03C90 × Cite Format Result Cite Review PDF Full Text: DOI
Scowcroft, Philip A new model for intuitionistic analysis. (English) Zbl 0714.03051 Ann. Pure Appl. Logic 47, No. 2, 145-165 (1990). Reviewer: H.Pfeiffer MSC: 03F55 03C90 × Cite Format Result Cite Review PDF Full Text: DOI