16 search results - page 2 / 4 » apal 2004 |
APAL
2004
14 years 10 months ago
2004
Gaifman's normal form theorem showed that every first order sentence of quantifier rank n is equivalent to a Boolean combination of "scattered local sentences", whe...
APAL
2004
14 years 10 months ago
2004
We investigate the initial segment complexity of random reals. Let K( ) denote pre
APAL
2004
14 years 10 months ago
2004
The model-checking problem for a logic L on a class C of structures asks whether a given L-sentence holds in a given structure in C. In this paper, we give super-exponential lower...
APAL
2004
14 years 10 months ago
2004
The theory of concept lattices (i.e. hierarchical structures of concepts in the sense of Port-Royal school) is approached from the point of view of fuzzy logic. The notions of par...
APAL
2004
14 years 10 months ago
2004
The purpose of this article is to present a new theory IPA() for fixed points over arithmetic which allows the building up of fixed points in a very nested and entangled way. But ...