Related papers: Constructing strongly equivalent nonisomorphic mod…
We study how equivalent nonisomorphic models of unsuperstable theories can be. We measure the equivalence by Ehrenfeucht-Fraisse games. This paper continues [HySh:474].
We construct non-isomorphic models M, N, e.g. of cardinality aleph_1 such that in the Ehrenfeucht-Fraisse game of length zeta < omega_1 the isomorphism player wins
There has been much interest on constructing models which are not isomorphic of cardinality lambda but are equivalent under the Ehrenfeucht-Fraisse game of length alpha even for every alpha<lambda. So under G.C.H. we know much. We deal here…
We introduce two new model comparison games that characterize separability by first-order formulas with generalized quantifiers. One is built on the Ehrenfeucht-Fra\"iss\'e game and the other is a formula-size game.
Taking the principles of quantum mechanics as they stand and applying them to gravity, leads to the conclusion that one might be able to generate superpositions of spacetimes, at least formally. We analyze such a possibility from an…
In this paper we prove a strong nonstructure theorem for kappa (T)-saturated models of a stable theory T with dop.
We define a version of the Ehrenfeucht-Fra\"iss\'e game in the setting of metric model theory and continuous first-order logic and show that the second player having a winning strategy in a game of length $n$ exactly corresponds to being…
Truth, consistency and elementary equivalence can all be characterised in terms of games, namely the so-called evaluation game, the model-existence game, and the Ehrenfeucht-Fraisse game. We point out the great affinity of these games to…
One-dimensional nonrelativistic systems are studied when time-independent potential interactions are involved. Their supersymmetries are determined and their closed subsets generating kinematical invariance Lie superalgebras are pointed…
We introduce a refinement of the usual Ehrenfeucht-Fra\"{\i}ss\'e game. The new game will help us make finer distinctions than the traditional one. In particular, it can be used to measure the size formulas needed for expressing a given…
We examine the phenomenon of nonlinear stabilization, exhibiting a variety of related examples and counterexamples. For G\^ateaux differentiable maps, we discuss a mechanism of nonlinear stabilization, in finite and infinite dimensions,…
Two structures $A$ and $B$ are $n$-equivalent if player II has a winning strategy in the $n$-move Ehrenfeucht-Fra\"iss\'e game on $A$ and $B$. In earlier papers we studied $n$-equivalence classes of ordinals and coloured ordinals. In this…
Understanding under what conditions it is possible to construct equivalent ensembles is key to advancing our ability to connect microscopic and macroscopic properties of non-equilibrium statistical mechanics. In the case of fluid dynamical…
We study the classification of omega_1-separable groups using Ehrenfeucht-Fraisse games and prove a strong classification result assuming PFA, and a strong non-structure theorem assuming diamond.
We discuss the non-anticommutative (N=1/2) supersymmetric U(1) gauge theory in four dimensions, including a superpotential. We perform the one-loop renormalisation of the model, including the complete set of terms necessary for…
We explore and refine techniques for estimating the Hausdorff dimension of exceptional sets and their diffeomorphic images. Specifically, we use a variant of Schmidt's game to deduce the strong C^1 incompressibility of the set of badly…
We provide an abstract framework for submodular mean field games and identify verifiable sufficient conditions that allow to prove existence and approximation of strong mean field equilibria in models where data may not be continuous with…
Time-dependent correlation functions of (unstable) particles undergoing biased or unbiased diffusion, coagulation and annihilation are calculated. This is achieved by similarity transformations between different stochastic models and…
Let $f: M \to M$ be a $C^{1+\theta}$-partially hyperbolic diffeomorphism. We introduce a type of modified Schmidt games which is induced by $f$ and played on any unstable manifold. Utilizing it we generalize some results of \cite{Wu} as…
Ehrenfeucht-Fraisse games are very useful in studying separation and equivalence results in logic. The standard finite Ehrenfeucht-Fraisse game characterizes equivalence in first order logic. The standard Ehrenfeucht-Fraisse game in…