Searching for "Metafinite Model Theory." – sorted by Relevance.
13 documents found, showing 1 through 10.
Next 10 →
-
Metafinite model theory
- …0. Introduction On Finite Model Theory ∗ Yuri Gurevich † February 1990 The subject of this paper…
- Cited by 57 (9 self) – Add To MetaCart
-
Optimization Problems with Approximation Schemes
- … arbitrary weighted structures as input instances and we use the framework of Metafinite Model Theory [5…
- Cited by 1 (0 self) – Add To MetaCart
-
Descriptive Complexity Theory over the Real Numbers
- … structures [12]. Metafinite model theory should be viewed as a possibility for going beyond finite models…
- Cited by 22 (9 self) – Add To MetaCart
-
Declarative Programming of Search Problems with Built-in Arithmetic
- … model theory (see [Libkin, 2004]) and metafinite model theory [Grädel and Gurevich, 1998; Grädel, 2007…
- Add To MetaCart
-
Finite Model Theory and Descriptive Complexity
- … domains of infinite structures. As an example, some results relating metafinite model theory…
- Cited by 15 (5 self) – Add To MetaCart
-
Finite Presentations of Infinite Structures: Automata and Interpretations
- … operations on R, but do not admit full quantification over its elements. Metafinite model theory has been…
- Cited by 22 (1 self) – Add To MetaCart
-
Counting complexity classes for numeric computations II: Algebraic and semialgebraic sets
- … of this class (in terms of metafinite model theory). After that, in [15, 16], an in-depth study…
- Cited by 8 (4 self) – Add To MetaCart
-
Polynomials of Bounded Tree-Width
- … it with the framework of Meta-finite Model Theory of [GG98]. We shall show how our problems of sections 3 and 4 can…
- Cited by 2 (1 self) – Add To MetaCart
-
Counting complexity classes over the reals I: The additive case
- … of metafinite model theory. Meer did not investigate complete problems for this class. In this paper we…
- Cited by 1 (1 self) – Add To MetaCart
-
On Counting Logics and Local Properties
- … of putting the set of natural numbers "on the side" is influenced by metafinite model theory of [12]. Similar…
- Cited by 14 (8 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
