Found 10 Documents (Results 1–10)
A model of intuitionistic analysis in which \(\varnothing\)-definable discrete sets are subcountable. (English) Zbl 1402.03092
Some purely topological models for intuitionistic analysis. (English) Zbl 0944.03058
Reviewer: Victor N. Krivtsov (Moskva)
A new model for intuitionistic analysis. (English) Zbl 0714.03051
Reviewer: H.Pfeiffer
Annual Meeting of the Association for Symbolic Logic, Los Angeles, 1989. (English) Zbl 0701.03003
MSC:
03-06
Glueing of analysis models in an intuitionistic setting. (English) Zbl 0637.03059
Reviewer: M.Beeson
On some non-classical extensions of second-order intuitionistic propositional calculus. (English) Zbl 0569.03026
Filter Results by …
all
top 5
Serial
- Ann. Pure Appl. Logic (3)
- J. Symb. Log. (2)
- Math. Log. Q. (2)
- Arch. Math. Logik Grundlagenforsch. (1)
- Stud. Log. (1)
- Indag. Math., New Ser. (1)