scientific article; zbMATH DE number 3317800

MaRDI QIDQ5597563zbMATH OpenFDO

Authors Jan Reiterman, Václav Koubek

Publication date 1970

Full work available at URL https://eudml.org/doc/16352

zbMATH Keywords

general algebraic structures

Cited in

(10)

• Categories
• Ultrapowers as sheaves on a category of ultrafilters
• Saturated models of intuitionistic theories
• A model for intuitionistic non-standard arithmetic
• Ultrafilters, finite coproducts and locally connected classifying toposes
• scientific article; zbMATH DE number 436445 (Why is no real title available?)
• Representations of algebras in varieties generated by infinite primal algebras.
• Ultrasheaves and double negation
• Real numbers in the topos of sheaves over the category of filters
• Generalising canonical extension to the categorical setting

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