scientific article; zbMATH DE number 4179373

MaRDI QIDQ3203018zbMATH OpenFDO

Authors Anatoly G. Kusraev, S. S. Kutateladze

Publication date 1990

zbMATH Keywords

cyclic monadsimbedding of internal sets into a Boolean-valued universeinfinitesimal

Mathematics Subject Classification ID

Other aspects of forcing and Boolean-valued models (03E40) Nonstandard models (03H99) Nonstandard functional analysis (46S20)

Recommendations

• On combining non-standard methods. I: Monadology
• Combining a monad and a comonad
• Monad compositions. I: General constructions and recursive distributive laws
• A divertimento on MonadPlus and nondeterminism
• Monads and theories
• Monad compositions II: Kleisli strength
• scientific article; zbMATH DE number 4189993
• scientific article; zbMATH DE number 3924120
• The monadic hybrid calculus
• scientific article; zbMATH DE number 5671375

Cited in

(5)

• Nonstandard methods in combinatorics and theoretical computer science
• Some trends in monadology
• On combining non-standard methods. I: Monadology
• scientific article; zbMATH DE number 3959427 (Why is no real title available?)
• Leibnizian, Robinsonian, and Boolean valued monads

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