Combinatorics with Definable Sets: Euler Characteristics and Grothendieck Rings
Krajíček, Jan ; Scanlon, Thomas
Bull. Symbolic Logic, Tome 6 (2000) no. 1, p. 311-330 / Harvested from Project Euclid
We recall the notions of weak and strong Euler characteristics on a first order structure and make explicit the notion of a Grothendieck ring of a structure. We define partially ordered Euler characteristic and Grothendieck ring and give a characterization of structures that have non-trivial partially ordered Grothendieck ring. We give a generalization of counting functions to locally finite structures, and use the construction to show that the Grothendieck ring of the complex numbers contains as a subring the ring of integer polynomials in continuum many variables. We prove the existence of a universal strong Euler characteristic on a structure. We investigate the dependence of the Grothendieck ring on the theory of the structure and give a few counter-examples. Finally, we relate some open problems and independence results in bounded arithmetic to properties of particular Grothendieck rings.
Publié le : 2000-09-14
Classification:  First Order Structure,  Euler Characteristic,  Grothendieck Ring
@article{1182353707,
     author = {Kraj\'\i \v cek, Jan and Scanlon, Thomas},
     title = {Combinatorics with Definable Sets: Euler Characteristics and Grothendieck Rings},
     journal = {Bull. Symbolic Logic},
     volume = {6},
     number = {1},
     year = {2000},
     pages = { 311-330},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1182353707}
}
Krajíček, Jan; Scanlon, Thomas. Combinatorics with Definable Sets: Euler Characteristics and Grothendieck Rings. Bull. Symbolic Logic, Tome 6 (2000) no. 1, pp.  311-330. http://gdmltest.u-ga.fr/item/1182353707/