5205 search results - page 179 / 1041 » Tilings and model theory |
151
click to vote
MKM
2004
Springer
15 years 12 months ago
2004
Springer
We describe an extension of first-order logic with sequence variables and sequence functions. We define syntax, semantics and inference system for the extension so that Completen...
157
click to vote
ECIS
2003
15 years 8 months ago
2003
This paper proposes a study of the effects of knowledge management systems (KMS) on individual and organizational performance. The study seeks to answer the following question: Wh...
176
click to vote
WSC
1997
15 years 7 months ago
1997
The paper is devoted to a brief review of a mathematical theory for the branching variance-reduction technique. The branching technique is an extension of von Neumann’s splittin...
189
click to vote
ACS
2007
15 years 6 months ago
2007
Directed Algebraic Topology is a recent field, deeply linked with Category Theory. A ‘directed space’ has directed homotopies (generally non reversible), directed homology gro...
167
click to vote
APAL
2000
15 years 6 months ago
2000
Let T be a strongly minimal theory with quantifier elimination. We show that the class of existentially closed models of T {" is an automorphism"} is an elementary clas...