Homology groups of types in model theory and the computation of $H_2$
Journal of Symbolic Logic 78 (4):1086-1114 (2013)
Abstract
This article has no associated abstract. (fix it)DOI
10.2178/jsl.7804040
Links
PhilArchive
External links
(no proxy)
Setup an account with your affiliations in order to access resources via your University's proxy server
Through your library
- Sign in / register and customize your OpenURL resolver
- Configure custom resolver
My notes
Similar books and articles
The formation of the theory of homology in biological sciences.Karel Kleisner - 2007 - Acta Biotheoretica 55 (4):317-340.
Consistency Problem and “Unexpected Hanging Paradox” (An answering to P=NP Problem).Farzad Didehvar - unknown
Beyond Formal Structure: A Mechanistic Perspective on Computation and Implementation.Marcin Miłkowski - 2011 - Journal of Cognitive Science 12 (4):359-379.
On certain types and models for arithmetic.Andreas Blass - 1974 - Journal of Symbolic Logic 39 (1):151-162.
Abelian‐by‐G Groups, for G Finite, from the Model Theoretic Point of View.Annalisa Marcja & Carlo Toffalori - 1994 - Mathematical Logic Quarterly 40 (1):125-131.
An interpretation of martin‐löf's constructive theory of types in elementary topos theory.Anne Preller - 1992 - Mathematical Logic Quarterly 38 (1):213-240.
Homology and the evolutionary process: reply to Haig, Love and Brown on “Homology, Genes and Evolutionary Innovation”.Günter P. Wagner - 2015 - Biology and Philosophy 30 (6):901-912.
Analytics
Added to PP
2016-06-30
Downloads
13 (#768,068)
6 months
1 (#450,993)
2016-06-30
Downloads
13 (#768,068)
6 months
1 (#450,993)
Historical graph of downloads
Citations of this work
The Lascar groups and the first homology groups in model theory.Jan Dobrowolski, Byunghan Kim & Junguk Lee - 2017 - Annals of Pure and Applied Logic 168 (12):2129-2151.
Homology groups of types in stable theories and the Hurewicz correspondence.John Goodrick, Byunghan Kim & Alexei Kolesnikov - 2017 - Annals of Pure and Applied Logic 168 (9):1710-1728.
On the n-uniqueness of types in rosy theories.Byunghan Kim - 2016 - Archive for Mathematical Logic 55 (5-6):677-686.
