Problems with the category theoretic notions of ultraproducts

&
Bulletin of the Section of Logic 10 (3):122-126 (1981)
  Copy   BIBTEX

Abstract

In this paper we try to initiate a search for an explicite and direct denition of ultraproducts in categories which would share some of the attractive properties of products, coproducts, limits, and related category theoretic notions. Consider products as a motivating example

Categories

Keywords

Reprint years

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 103,486

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

Categories and functors in reverse and computable mathematics.Huishan Wu - forthcoming - Archive for Mathematical Logic:1-31.
Expressive power in first order topology.Paul Bankston - 1984 - Journal of Symbolic Logic 49 (2):478-487.
On a problem in algebraic model theory.Bui Huy Hien - 1982 - Bulletin of the Section of Logic 11 (3/4):103-107.
Up with Categories, Down with Sets; Out with Categories, In with Sets!Jonathan Kirby - 2024 - Philosophia Mathematica 32 (2):216-227.
Bicartesian coherence.Kosta Došen & Zoran Petrić - 2002 - Studia Logica 71 (3):331 - 353.
Computable limits and colimits in categories of partial enumerated sets.Andrzej Orlicki - 1993 - Mathematical Logic Quarterly 39 (1):181-196.
Categories with Families: Unityped, Simply Typed, and Dependently Typed.Simon Castellan, Pierre Clairambault & Peter Dybjer - 2021 - In Claudia Casadio & Philip J. Scott, Joachim Lambek: The Interplay of Mathematics, Logic, and Linguistics. Springer Verlag. pp. 135-180.
Ultraproducts and Higher Order Formulas.Gábor Sági - 2002 - Mathematical Logic Quarterly 48 (2):261-275.
Models of Bounded Arithmetic Theories and Some Related Complexity Questions.Abolfazl Alam & Morteza Moniri - 2022 - Bulletin of the Section of Logic 51 (2):163-176.
Category-theoretic aspects of abstract elementary classes.Michael J. Lieberman - 2011 - Annals of Pure and Applied Logic 162 (11):903-915.

Analytics

Added to PP
2014-02-18

Downloads
40 (#589,329)

6 months
1 (#1,572,794)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references