scientific article; zbMATH DE number 3438823

MaRDI QIDQ4404863zbMATH OpenFDO

Authors Joan Rand Moschovakis

Publication date 1973

Full work available at URL http://www.numdam.org/item?id=CM_1973__26_3_261_0, https://eudml.org/doc/89167

Mathematics Subject Classification ID

Model theory (03C99) Intuitionistic mathematics (03F55)

Cites work

• Formal systems for some branches of intuitionistic analysis
• scientific article; zbMATH DE number 3216177 (Why is no real title available?)
• scientific article; zbMATH DE number 3300569 (Why is no real title available?)
• scientific article; zbMATH DE number 3313428 (Why is no real title available?)
• scientific article; zbMATH DE number 3320364 (Why is no real title available?)
• scientific article; zbMATH DE number 3337652 (Why is no real title available?)
• scientific article; zbMATH DE number 3198011 (Why is no real title available?)

Cited in

(5)

• On some non-classical extensions of second-order intuitionistic propositional calculus
• Some purely topological models for intuitionistic analysis
• A model of intuitionistic analysis in which -definable discrete sets are subcountable
• Encoding true second‐order arithmetic in the real‐algebraic structure of models of intuitionistic elementary analysis
• A new model for intuitionistic analysis

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