35 search results - page 1 / 7 » Elementary equivalence of some rings of definable functions |
AML
2008
13 years 11 months ago
2008
We characterize elementary equivalences and inclusions between von Neumann regular real closed rings in terms of their boolean algebras of idempotents, and prove that their theorie...
BSL
2000
13 years 10 months ago
2000
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 or...
ICLP
2007
Springer
14 years 2 months ago
2007
Springer
We present a static analysis that infers both upper and lower bounds on the usage that a logic program makes of a set of user-definable resources. The inferred bounds will in gener...
MLQ
2006
13 years 10 months ago
2006
We calculate the universal Euler characteristic and universal dimension function on semilinear and semibounded sets and obtain some criteria for definable equivalence of semilinea...
CIE
2006
Springer
14 years 2 months ago
2006
Springer
or representation theory of groups), and even borrows abstract geometrical concepts like Euler characteristic or Grothendieck ring. However, the most stimulating for proof complexi...