Graduate studies at Western
Bulletin of Symbolic Logic 6 (3):311-330 (2000)
|Abstract||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|
|Keywords||First Order Structure Euler Characteristic Grothendieck Ring|
|Categories||categorize this paper)|
|Through your library||Configure|
Similar books and articles
Thanases Pheidas & Karim Zahidi (2004). Elimination Theory for Addition and the Frobenius Map in Polynomial Rings. Journal of Symbolic Logic 69 (4):1006 - 1026.
Oleg Belegradek (2004). Semi-Bounded Relations in Ordered Modules. Journal of Symbolic Logic 69 (2):499 - 517.
James Loveys (1991). Abelian Groups with Modular Generic. Journal of Symbolic Logic 56 (1):250-259.
Luc Bélair (1995). Anneaux de Fonctions P-Adiques. Journal of Symbolic Logic 60 (2):484-497.
Oleg Belegradek, Ya'Acov Peterzil & Frank Wagner (2000). Quasi-o-Minimal Structures. Journal of Symbolic Logic 65 (3):1115-1132.
Chantal Berline & Gregory Cherlin (1983). QE Rings in Characteristic Pn. Journal of Symbolic Logic 48 (1):140 - 162.
Tamara Servi (2008). Noetherian Varieties in Definably Complete Structures. Logic and Analysis 1 (3-4):187-204.
Bruce I. Rose (1978). Rings Which Admit Elimination of Quantifiers. Journal of Symbolic Logic 43 (1):92-112.
Jan Krajíček (2004). Approximate Euler Characteristic, Dimension, and Weak Pigeonhole Principles. Journal of Symbolic Logic 69 (1):201 - 214.
Raf Cluckers & Deirdre Haskell (2001). Grothendieck Rings of ℤ-Valued Fields. Bulletin of Symbolic Logic 7 (2):262-269.
Added to index2009-01-28
Total downloads3 ( #213,731 of 739,346 )
Recent downloads (6 months)0
How can I increase my downloads?