Finitary sketches

Journal of Symbolic Logic 62 (3):699-707 (1997)
  Copy   BIBTEX


Finitary sketches, i.e., sketches with finite-limit and finite-colimit specifications, are proved to be as strong as geometric sketches, i.e., sketches with finite-limit and arbitrary colimit specifications. Categories sketchable by such sketches are fully characterized in the infinitary first-order logic: they are axiomatizable by σ-coherent theories, i.e., basic theories using finite conjunctions, countable disjunctions, and finite quantifications. The latter result is absolute; the equivalence of geometric and finitary sketches requires (in fact, is equivalent to) the non-existence of measurable cardinals



    Upload a copy of this work     Papers currently archived: 92,347

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

On modal μ-calculus and non-well-founded set theory.Luca Alberucci & Vincenzo Salipante - 2004 - Journal of Philosophical Logic 33 (4):343-360.
Life and perceptual intentionality.Renaud Barbaras - 2003 - Research in Phenomenology 33 (1):157-166.
On quasivarieties and varieties as categories.Jiří Adámek - 2004 - Studia Logica 78 (1-2):7 - 33.
Look again: Phenomenology and mental imagery. [REVIEW]Evan Thompson - 2007 - Phenomenology and the Cognitive Sciences 6 (1-2):137-170.
Idealization, Explanation, and Confirmation.Ronald Laymon - 1980 - PSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association 1980:336 - 350.
Contextual Deduction Theorems.J. G. Raftery - 2011 - Studia Logica 99 (1-3):279-319.
Infinitary logic.John L. Bell - 2008 - Stanford Encyclopedia of Philosophy.
Hereditary undecidability of some theories of finite structures.Ross Willard - 1994 - Journal of Symbolic Logic 59 (4):1254-1262.


Added to PP

45 (#355,850)

6 months
10 (#277,905)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

Citations of this work

The strength of Mac Lane set theory.A. R. D. Mathias - 2001 - Annals of Pure and Applied Logic 110 (1-3):107-234.

Add more citations

References found in this work

No references found.

Add more references