Homology groups of types in model theory and the computation of $H_2$

Journal of Symbolic Logic 78 (4):1086-1114 (2013)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 76,346

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

Homology of proof-nets.François Métayer - 1994 - Archive for Mathematical Logic 33 (3):169-188.
Quantum Mechanics on Finite Groups.Stan Gudder - 2006 - Foundations of Physics 36 (8):1160-1192.
Ancestors and homology.M. I. Coates - 1993 - Acta Biotheoretica 41 (4):411-424.
On certain types and models for arithmetic.Andreas Blass - 1974 - Journal of Symbolic Logic 39 (1):151-162.
Transcending Turing computability.B. J. Maclennan - 2003 - Minds and Machines 13 (1):3-22.
Why development matters.Rachael L. Brown - 2015 - Biology and Philosophy 30 (6):889-899.

Analytics

Added to PP
2016-06-30

Downloads
13 (#768,068)

6 months
1 (#450,993)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

On the n-uniqueness of types in rosy theories.Byunghan Kim - 2016 - Archive for Mathematical Logic 55 (5-6):677-686.

Add more citations

References found in this work

No references found.

Add more references