scientific article; zbMATH DE number 3317800
From MaRDI portal
Publication:5597563
zbMath0199.33102MaRDI QIDQ5597563
Publication date: 1970
Full work available at URL: https://eudml.org/doc/16352
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (10)
Saturated models of intuitionistic theories ⋮ A model for intuitionistic non-standard arithmetic ⋮ Representations of algebras in varieties generated by infinite primal algebras. ⋮ Ultrafilters, finite coproducts and locally connected classifying toposes ⋮ Ultrapowers as sheaves on a category of ultrafilters ⋮ Real numbers in the topos of sheaves over the category of filters ⋮ Unnamed Item ⋮ Ultrasheaves and double negation ⋮ Generalising canonical extension to the categorical setting ⋮ Categories
This page was built for publication:
