scientific article; zbMATH DE number 3438823

zbMath0279.02018MaRDI QIDQ4404863

Joan Rand Moschovakis

Publication date: 1973

Full work available at URL: http://www.numdam.org/item?id=CM_1973__26_3_261_0

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

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

Related Items

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

Cites Work

• Formal systems for some branches of intuitionistic analysis
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item