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

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 100,607

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

Reduced products and sheaves of metric structures.Vinicius Cifú Lopes - 2013 - Mathematical Logic Quarterly 59 (3):219-229.
Big Ramsey degrees in ultraproducts of finite structures.Dana Bartošová, Mirna Džamonja, Rehana Patel & Lynn Scow - 2024 - Annals of Pure and Applied Logic 175 (7):103439.
Concepts of general topology in constructive mathematics and in sheaves.R. J. Grayson - 1981 - Annals of Mathematical Logic 20 (1):1.
A correction to “concepts of general topology in constructive mathematics and in sheaves”.R. J. Grayson - 1982 - Annals of Mathematical Logic 23 (1):99.
Concepts of general topology in constructive mathematics and in sheaves, II.R. J. Grayson - 1982 - Annals of Mathematical Logic 23 (1):55.
David W. Kueker. Generalized interpolation and definability. Annals of mathematical logic, vol. 1 no. 4 , pp. 423–468.E. G. K. Lopez-Escobar - 1974 - Journal of Symbolic Logic 39 (2):337-338.
Sheaves of structures, Heyting‐valued structures, and a generalization of Łoś's theorem.Hisashi Aratake - 2021 - Mathematical Logic Quarterly 67 (4):445-468.
Generalized interpolation and definability.David W. Kueker - 1970 - Annals of Mathematical Logic 1 (4):423.
Forcing and generalized quantifiers.J. Krivine - 1973 - Annals of Mathematical Logic 5 (3):199.
Model-theoretic forcing in logic with a generalized quantifier.Kim B. Bruce - 1978 - Annals of Mathematical Logic 13 (3):225.

Analytics

Added to PP
2014-01-17

Downloads
43 (#511,356)

6 months
14 (#216,207)

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 10 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.
Ultraproducts in the Theory of Models.Simon Kochen - 1962 - Journal of Symbolic Logic 27 (3):355-357.

Add more references