Searching for "Metafinite Model Theory." – sorted by Relevance.
-
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

