1670 search results - page 13 / 334 » On Skolemization in constructive theories |
TCS
2008
13 years 6 months ago
2008
We develop a unified framework for dealing with constructibility and absoluteness in set theory, decidability of relations in effective structures (like the natural numbers), and ...
CORR
2011
Springer
13 years 1 months ago
2011
Springer
The paper presents realization theory of discrete-time linear switched systems (abbreviated by DTLSSs). We present necessary and sufficient conditions for an input-output map to ...
JSYML
2010
13 years 1 months ago
2010
Abstract. Building on Hrushovski's work in [5], we study definable groupoids in stable theories and their relationship with 3-uniqueness and finite internal covers. We introdu...
KR
1992
Springer
13 years 10 months ago
1992
Springer
Abstract, We consider the problem of integrating Reiter's default logic into terminological representation systems. It turns out that such an integration is less straightforwa...
JSYML
2006
13 years 6 months ago
2006
Abstract. Using the Friedman-Koepke Hyperfine Structure Theory of [2], we provide a short construction of a gap 1 morass in the constructible universe.