scientific article; zbMATH DE number 4179373

zbMATH Open0716.03048MaRDI QIDQ3203018FDOQ3203018

Authors: Anatoly G. Kusraev, S. S. Kutateladze 

Publication date: 1990

Title of this publication is not available (Why is that?)

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

zbMATH Keywords

infinitesimalcyclic monadsimbedding of internal sets into a Boolean-valued universe

Mathematics Subject Classification ID

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

Cited In (5)

• Some trends in monadology
• On combining non-standard methods. I: Monadology
• Title not available (Why is that?)
• Nonstandard methods in combinatorics and theoretical computer science
• 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)