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

    This entry is not archived by us. If you are the author and have permission from the publisher, we recommend that you archive it. Many publishers automatically grant permission to authors to archive pre-prints. By uploading a copy of your work, you will enable us to better index it, making it easier to find.

    Upload a copy of this work     Papers currently archived: 104,899

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.
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.
Concepts of general topology in constructive mathematics and in sheaves, II.R. J. Grayson - 1982 - Annals of Mathematical Logic 23 (1):55.
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
45 (#546,624)

6 months
9 (#452,675)

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.

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