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)|
|Through your library||Configure|
Similar books and articles
Luca 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.
Sorry, there are not enough data points to plot this chart.
Added to index2009-01-28
Total downloads3 ( #201,695 of 548,977 )
Recent downloads (6 months)0
How can I increase my downloads?