Related papers: A long EF-equivalence non isomorphic models

All models may be wrong -- but that is not necessarily a problem for inference. Consider the standard $t$-test for the significance of a variable $X$ for predicting response $Y$ whilst controlling for $p$ other covariates $Z$ in a random…

We establish the hierarchy among twelve equivalence relations (similarities) on the class of relational structures: the equality, the isomorphism, the equimorphism, the full relation, four similarities of structures induced by similarities…

Off-diagonal vacuum and nonvacuum configurations in Einstein gravity can mimic physical effects of modified gravitational theories of $f(R,T,R_{\mu \nu}T^{\mu \nu})$ type. To prove this statement, exact and approximate solutions are…

We show that if a field A is not pseudo-finite, then there is no prime model of the theory of pseudo-finite fields over A. Assuming GCH, we generalise this result to \kappa-prime models, for \kappa a regular uncountable cardinal or…

We construct examples of number fields which are not isomorphic but for which their idele class groups are isomorphic. We also construct examples of projective algebraic curves which are not isomorphic but for which their Jacobian varieties…

We find new "reasons" for a class of models for not having a universal model in a cardinal $\lambda$. This work, though it has consequences in model theory, is really in combinatorial set theory. We concentrate on a prototypical class which…

In this paper, the necessary and sufficient conditions for Matsumoto metrics $F=\frac{\alpha^2}{\alpha-\beta}$ to be Einstein are given. It is shown that if the length of $\beta$ with respect to $\alpha$ is constant, then the Matsumoto…

In this paper, we establish equivariant mirror symmetry for footballs $\mathcal{F}(m,r)$. This extends the results by B. Fang, C.C. Liu and Z. Zong, where the projective line was considered [{\it Geometry \& Topology} 24:2049-2092, 2017],…

We show that equivariant tilting modules over equivariant algebras induce equivalences of derived factorization categories. As an application, we show that the derived category of a noncommutative resolution of a linear section of a…

We first consider nonlinear Grassmann sigma models in any dimension and next construct their submodels. For these models we construct an infinite number of nontrivial conserved currents. Our result is independent of time-space dimensions…

In this article we proved so-called strong reflection principles corresponding to formal theories Th which has omega-models. An posible generalization of the Lob's theorem is considered.Main results is: (1) let $k$ be an inaccessible…

We introduce the notion of $\lambda$-equivalence and $\lambda$-embeddings of objects in suitable categories. This notion specializes to $L_{\infty\lambda}$-equivalence and $L_{\infty\lambda}$-elementary embedding for categories of…

The bounded proper forcing axiom BPFA is the statement that for any family of aleph_1 many maximal antichains of a proper forcing notion, each of size aleph_1, there is a directed set meeting all these antichains. A regular cardinal kappa…

We investigate a class of models in 1+1 dimensions with four fermion interaction term. At each order of the perturbation expansion, the models are ultraviolet finite and Lorentz non-invariant. We show that for certain privileged values of…

Does the class of linear orders have (one of the variants of) the so called (lambda, kappa)-limit model? It is necessarily unique, and naturally assuming some instances of G.C.H. we get some positive, i.e. existence results. More generally,…

The aim of this paper is to give a generalization of the theory equivariant functions, initiated in [17, 4], to arbitrary subgroups of PSL2(R). We show that there is a deep relation between the geometry of these groups and some analytic and…

We consider several ways of decomposing models into parts of bounded size forming a congruence over a base, and show that admitting any such decomposition is equivalent to mutual algebraicity at the level of theories. We also show that a…

For nonuniform cofinite Fuchsian groups $\Gamma$ which satisfy a certain additional geometric condition, we show that the Maass cusp forms for $\Gamma$ are isomorphic to 1-eigenfunctions of a finite-term transfer operator. The isomorphism…

We construct examples of Bach-flat gradient Ricci solitons which are neither half conformally flat nor conformally Einstein.

Invariant and equivariant models incorporate the symmetry of an object to be estimated (here non-parametric regression functions $f : \mathcal{X} \rightarrow \mathbb{R}$). These models perform better (with respect to $L^2$ loss) and are…