Related papers: Existence of EF-equivalent Non Isomorphic Models

Consider an a.e.c. (abstract elementary class), that is, a class K of models with a partial order refining inclusion (submodel) which satisfy the most basic properties of an elementary class. Our test question is trying to show that the…

Let $G$ and $G'$ be simple Lie groups of equal real rank and real rank at least $2$. Let $\Gamma <G$ and $\Lambda < G'$ be non-uniform lattices. We prove a theorem that often implies that any quasi-isometric embedding of $\Gamma$ into…

We prove that if a countable group $\Gamma$ contains a copy of $\Bbb F_2$, then it admits uncountably many non orbit equivalent actions.

If $f$ is an idempotent in a ring $\Lambda$, then we find sufficient \linebreak conditions which imply that the cohomology rings $\oplus_{n\ge 0}Ext^n_{\Lambda}(\Lambda/{\br},\Lambda/{\br})$ and \linebreak $\oplus_{n\ge 0}Ext^n_{f\Lambda…

Given any $\lambda\leq\kappa$, we construct a symmetric extension in which there is a set $X$ such that $\aleph(X)=\lambda$ and $\aleph^*(X)=\kappa$. Consequently, we show that $\mathsf{ZF}+$"For all pairs of infinite cardinals…

Let lambda be aleph_0 or a strong limit of cofinality aleph_0. Suppose that (G_m,p_{m,n}:m =< n<omega) and (H_m,p^t_{m,n}: m=< n < omega) are projective systems of groups of cardinality less than lambda and suppose that for every n<omega…

We investigate categoricity of abstract elementary classes without any remnants of compactness (like non-definability of well ordering, existence of E.M. models or existence of large cardinals). We prove (assuming a weak version of GCH…

In S. 1 we deal with amalgamation bases, e.g., we define when an a.e.c. $k$ has $(\lambda,\kappa)$-amalgamation which means "many" M in $K^k_\lambda$ are amalgamation bases. We then consider what happens for the class of lf groups. In S. 2…

We present two different types of models where, for certain singular cardinals lambda of uncountable cofinality, lambda -> (lambda, omega+1)^2, although lambda is not a strong limit cardinal. We announce, here, and will present in a…

We show that it is not provable in ZFC that any two countable elementarily equivalent structures have isomorphic ultrapowers relative to some ultrafilter on omega .

A system $\mathcal M$ of equivalence relations on a set $E$ is \emph{semirigid} if only the identity and constant functions preserve all members of $\mathcal M$. We construct semirigid systems of three equivalence relations. Our…

We relate the graph isomorphism problem to the solvability of certain systems of linear equations with nonnegative variables. This version replaces the two previous versions of this paper.

To determine if two lists of numbers are the same set, we sort both lists and see if we get the same result. The sorted list is a canonical form for the equivalence relation of set equality. Other canonical forms arise in graph isomorphism…

We prove that the doubly lambda-deformed sigma-models, which include integrable cases, are canonically equivalent to the sum of two single lambda-deformed models. This explains the equality of the exact beta-functions and current anomalous…

We show, considering a specific f(R)-gravity model, that the Jordan frame and the Einstein frame are physically non-equivalent, although they are connected by a conformal transformation which yields a mathematical equivalence. Since all the…

Symmetries and isomorphisms play similar conceptual roles when we consider how models represent physical situations, but they are formally distinct, as two models related by symmetries are not typically isomorphic. I offer a rigorous…

We study the equivalence/duality between various non-commutative gauge models at the classical and quantum level. The duality is realised by a linear Seiberg-Witten-like map. The infinitesimal form of this map is analysed in more details.

We prove that two co-Hopfian finitely generated virtually free groups are elementarily equivalent if and only if they are isomorphic. We also prove that co-Hopfian finitely generated virtually free groups are homogeneous in the sense of…

Let C subset Reg be a non-empty class (of regular cardinal). Then the logic L(Q^{cf}_C) has additional nice properties: it has homogeneous model existence property.

Keisler proved that if $\theta$ is a strong limit cardinal and $\lambda$ is a singular cardinal, then the transfer relation $\theta\longrightarrow\lambda$ holds. In a previous paper, we studied initial elementary submodels of the…