Some Remarks On Boolean Terms - Model Theoretic Approach
Žarko Mijajlović (1977)
Publications de l'Institut Mathématique
Similarity:
Displaying similar documents to “Boolean spectra and model completions”
Some Remarks On Boolean Terms - Model Theoretic Approach
Boolean localization, in practice.
Jardine, J.F. (1996)
Documenta Mathematica
Similarity:
Sheaves and concepts : a model-theoretic interpretation of Grothendieck topoi
Gonzalo E. Reyes (1977)
Cahiers de Topologie et Géométrie Différentielle Catégoriques
Similarity:
Sheaf constructions in universal algebra and model theory
H. Werner (1982)
Banach Center Publications
Similarity:
Модельная полнота теории и оценка формул
В.А. Любецкий (1990)
Algebra i Logika
Similarity:
An axiomatic characterization of Boolean-valued models for set theory
A. Kościelski (1973)
Colloquium Mathematicae
Similarity:
The number of countable generic models for finite forcing
Roger Cusin (1974)
Fundamenta Mathematicae
Similarity:
On the injectivity of Boolean algebras
Bernhard Banaschewski (1993)
Commentationes Mathematicae Universitatis Carolinae
Similarity:
The functor taking global elements of Boolean algebras in the topos of sheaves on a complete Boolean algebra is shown to preserve and reflect injectivity as well as completeness. This is then used to derive a result of Bell on the Boolean Ultrafilter Theorem in -valued set theory and to prove that (i) the category of complete Boolean algebras and complete homomorphisms has no non-trivial injectives, and (ii) the category of frames has no absolute retracts.