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

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
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.2307/2275568
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 71,489
Through your library

References found in this work BETA

No references found.

Add more references

Citations of this work BETA

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

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 index

Total views
34 ( #337,586 of 2,520,788 )

Recent downloads (6 months)
2 ( #270,509 of 2,520,788 )

How can I increase my downloads?


My notes