Finitary sketches
Journal of Symbolic Logic 62 (3):699-707 (1997)
| Abstract | 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 | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,653 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesLuca Alberucci & Vincenzo Salipante (2004). On Modal Μ-Calculus and Non-Well-Founded Set Theory. Journal of Philosophical Logic 33 (4):343-360.
John L. Bell, Infinitary Logic. Stanford Encyclopedia of Philosophy.
J. G. Raftery (2011). Contextual Deduction Theorems. Studia Logica 99 (1-3):279-319.
Ronald Laymon (1980). Idealization, Explanation, and Confirmation. PSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association 1980:336 - 350.
Tapani Hyttinen & Meeri Kesälä (2010). Lascar Types and Lascar Automorphisms in Abstract Elementary Classes. Notre Dame Journal of Formal Logic 52 (1):39-54.
Evan Thompson (2007). Look Again: Phenomenology and Mental Imagery. Phenomenology and the Cognitive Sciences 6 (1-2).
Jiří Adámek (2004). On Quasivarieties and Varieties as Categories. Studia Logica 78 (1-2):7 - 33.
R. Barbaras (2003). Life and Perceptual Intentionality. Research in Phenomenology 33 (1):157-166.
Ross Willard (1994). Hereditary Undecidability of Some Theories of Finite Structures. Journal of Symbolic Logic 59 (4):1254-1262.
Analytics
Monthly downloads
Sorry, there are not enough data points to plot this chart.
|
Added to index2009-01-28Total downloads3 ( #201,695 of 548,977 )Recent downloads (6 months)0How can I increase my downloads? |
My notes
Discussion
