Numerical Existence Property and Categories with an Internal Copy

Logica Universalis 14 (3):383-394 (2020)
  Copy   BIBTEX

Abstract

We define here a notion of internal copy and of weak internal copy of a category. We will then determine some families of categories having an internal copy or a weak internal copy. We will consider categories of definable classes of first-order theories and we will see that the notion of internal copy is related to the notion of numerical existence property.

Categories

Keywords

Reprint years

DOI

10.1007/s11787-020-00258-x

Other Versions

No versions found

Links

PhilArchive



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

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

The correlation of internal and external canon of art.Олена Соболевська - 2018 - Докса 2.
Ontology for information systems: artefacts as a case study.Massimiliano Carrara & Marzia Soavi - 2008 - Mind and Society 7 (2):143-156.
Interpreting N in the computably enumerable weak truth table degrees.André Nies - 2001 - Annals of Pure and Applied Logic 107 (1-3):35-48.
On some connections between logic and category theory.J. Lambek - 1989 - Studia Logica 48 (3):269 - 278.
Abstractionist Categories of Categories.Shay Allen Logan - 2015 - Review of Symbolic Logic 8 (4):705-721.
Space, time and phantasms in Aristotle, De Memoria 2, 452B7-25.John E. Sisko - 1997 - Classical Quarterly 47 (01):167-.
A general representation for internal proportional cornbinatorial measurement systems when the operation is not necessari!Y closed.José A. Díez - 1999 - Theoria 14 (1):157-178.
Groupoids, covers, and 3-uniqueness in stable theories.John Goodrick & Alexei Kolesnikov - 2010 - Journal of Symbolic Logic 75 (3):905-929.
Relational dual tableau decision procedures and their applications to modal and intuitionistic logics.Joanna Golińska-Pilarek & Taneli Huuskonen - 2014 - Annals of Pure and Applied Logic 165 (2):428-502.

Analytics

Added to PP
2020-07-25

Downloads
15 (#1,221,168)

6 months
8 (#544,556)

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

On the interpretation of intuitionistic number theory.Stephen Cole Kleene - 1945 - Journal of Symbolic Logic 10 (4):109-124.
Topos Theory.P. T. Johnstone - 1982 - Journal of Symbolic Logic 47 (2):448-450.

Add more references