3229 search results - page 1 / 646 » Theories with the Independence Property |
SLOGICA
2010
13 years 3 months ago
2010
Abstract. For a first-order formula ϕ(x; y) we introduce and study the characteristic sequence Pn : n < ω of hypergraphs defined by Pn(y1, . . . , yn) := (∃x) i≤n ϕ(x; ...
CORR
2010
Springer
13 years 5 months ago
2010
Springer
A class of graphs is nowhere dense if for every integer r there is a finite upper bound on the size of cliques that occur as (topological) r-minors. We observe that this tameness ...
ISIPTA
1999
IEEE
13 years 9 months ago
1999
IEEE
The aim of this paper is to survey and brie y discuss various rules of conditioning proposed in the framework of possibility theory as well as various conditional independence rel...
ISMVL
2000
IEEE
13 years 9 months ago
2000
IEEE
In this paper we describe the properties of independent components of optical ow of moving objects. Video sequences of objects seen by an observer moving at various angles, direct...
BSL
2005
13 years 5 months ago
2005
This communication deals with positive model theory, a non first order model theoretic setting which preserves compactness at the cost of giving up negation. Positive model theory ...