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

Links

PhilArchive



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

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

From absolute to local mathematics.J. L. Bell - 1986 - Synthese 69 (3):409 - 426.
Category-Theoretic Structure and Radical Ontic Structural Realism.Jonathan Bain - 2013 - Synthese 190 (9):1621-1635.
Expressive power in first order topology.Paul Bankston - 1984 - Journal of Symbolic Logic 49 (2):478-487.
Applications of PCF theory.Saharon Shelah - 2000 - Journal of Symbolic Logic 65 (4):1624-1674.
Qualitative Decision Theory Via Channel Theory.Gerard Allwein, Yingrui Yang & William L. Harrison - 2011 - Logic and Logical Philosophy 20 (1-2):81-110.
Categories in context: Historical, foundational, and philosophical.Elaine Landry & Jean-Pierre Marquis - 2005 - Philosophia Mathematica 13 (1):1-43.
Probability semantics for quantifier logic.Theodore Hailperin - 2000 - Journal of Philosophical Logic 29 (2):207-239.
A Categorial Semantic Representation of Quantum Event Structures.Elias Zafiris & Vassilios Karakostas - 2013 - Foundations of Physics 43 (9):1090-1123.
Paderewski Variations.R. Mark Sainsbury - 2010 - Dialectica 64 (4):483-502.
On categorical theory-building: Beyond the formal.Andrei Rodin - unknown
Notes on the Model Theory of DeMorgan Logics.Thomas Macaulay Ferguson - 2012 - Notre Dame Journal of Formal Logic 53 (1):113-132.
An application of category-theoretic semantics to the characterisation of complexity classes using higher-order function algebras.Martin Hofmann - 1997 - Bulletin of Symbolic Logic 3 (4):469-486.
On three arguments against categorical structuralism.Makmiller Pedroso - 2009 - Synthese 170 (1):21 - 31.

Analytics

Added to PP
2014-02-18

Downloads
34 (#468,926)

6 months
11 (#235,184)

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