Sheaves of structures and generalized ultraproducts

Annals of Mathematical Logic 7 (2):163 (1974)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/0003-4843(74)90014-x

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,322

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Profinite Structures are Retracts of Ultraproducts of Finite Structures.H. Mariano & F. Miraglia - 2007 - Reports on Mathematical Logic.
Reduced products and sheaves of metric structures.Vinicius Cifú Lopes - 2013 - Mathematical Logic Quarterly 59 (3):219-229.
P Versus Np And Computability Theoretic Constructions In Complexity Theory Over Algebraic Structures.Gunther Mainhardt - 2004 - Journal of Symbolic Logic 69 (1):39-64.
On second-order generalized quantifiers and finite structures.Anders Andersson - 2002 - Annals of Pure and Applied Logic 115 (1--3):1--32.
Ultraproducts of SCI.Stephen Bloom & Roman Suszko - 1975 - Bulletin of the Section of Logic 4 (1):9-14.
Ultraproducts and Higher Order Formulas.Gábor Sági - 2002 - Mathematical Logic Quarterly 48 (2):261-275.
P versus np and computability theoretic constructions in complexity theory over algebraic structures.Gunther Mainhardt - 2004 - Journal of Symbolic Logic 69 (1):39-64.
Quantum Event Structures from the Perspective of Grothendieck Topoi.Elias Zafiris - 2004 - Foundations of Physics 34 (7):1063-1090.
Review: G. L. Cherlin, The Model-Companion of a Class of Structures; L. Lipshitz, D. Saracino, The Model Companion of the Theory of Commutative Rings Without Nilpotent Elements; Angus Macintyre, Model-Completeness for Sheaves of Structures. [REVIEW]Stephen D. Comer - 1983 - Journal of Symbolic Logic 48 (2):496-496.
Variations in definition of ultraproducts of a family of first order relational structures.Wilfred G. Malcolm - 1972 - Notre Dame Journal of Formal Logic 13 (3):394-398.
The Hierarchy Theorem for Second Order Generalized Quantifiers.Juha Kontinen - 2006 - Journal of Symbolic Logic 71 (1):188 - 202.
Some model theory of sheaves of modules.Mike Prest, Vera Puninskaya & Alexandra Ralph - 2004 - Journal of Symbolic Logic 69 (4):1187-1199.
Some Model Theory of Sheaves of Modules.Mike Prest, Vera Puninskaya & Alexandra Ralph - 2004 - Journal of Symbolic Logic 69 (4):1187 - 1199.
Lawvere-Tierney Sheaves in Algebraic Set Theory.S. Awodey, N. Gambino & M. A. Warren - 2009 - Journal of Symbolic Logic 74 (3):861 - 890.
On some sheaves of special groups.Vincent Astier - 2007 - Archive for Mathematical Logic 46 (5-6):481-488.

Analytics

Added to PP
2014-01-17

Downloads
21 (#715,461)

6 months
6 (#522,885)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

David Ellerman
University of Ljubljana

Citations of this work

Category theory and concrete universals.David P. Ellerman - 1988 - Erkenntnis 28 (3):409 - 429.
Saturated models of intuitionistic theories.Carsten Butz - 2004 - Annals of Pure and Applied Logic 129 (1-3):245-275.
Sheaves and normal submodels.Richard Mansfield - 1977 - Journal of Symbolic Logic 42 (2):241-250.

View all 9 citations / Add more citations

References found in this work

The theory of Boolean ultrapowers.Richard Mansfield - 1971 - Annals of Mathematical Logic 2 (3):297-323.
Forcing in Model Theory.Abraham Robinson, Jon Barwise & J. E. Fenstad - 1975 - Journal of Symbolic Logic 40 (4):633-634.
The theory of boolean ultrapowers.Richard Mansfield - 1971 - Annals of Mathematical Logic 2 (3):297.
Ultraproducts in the Theory of Models.Simon Kochen - 1962 - Journal of Symbolic Logic 27 (3):355-357.

View all 6 references / Add more references