1943 search results - page 18 / 389 » Ordering Default Theories |
CIE
2009
Springer
14 years 12 days ago
2009
Springer
We show that the first order theories of the Medevdev lattice and the Muchnik lattice are both computably isomorphic to the third order theory of the natural numbers.
JSYML
2002
13 years 8 months ago
2002
If T is a model complete theory with the strict order property, then the theory of the models of T with an automorphism has no model companion.
LICS
2010
IEEE
13 years 6 months ago
2010
IEEE
One of the major interests of finite model theory is to separate the expressive power of different logics or fragments of logics. In this paper, we define a variant of EhrenfeuchtF...
PODS
2006
ACM
14 years 8 months ago
2006
ACM
An intelligent agent will often be uncertain about various properties of its environment, and when acting in that environment it will frequently need to quantify its uncertainty. ...
LICS
1999
IEEE
14 years 22 days ago
1999
IEEE
The ordered conjecture states that least fixed-point logic LFP is strictly more expressive than first-order logic FO on every infinite class of ordered finite structures. It has b...