Related papers: Existence of EF-equivalent Non Isomorphic Models

It is shown by a counterexample that isocapacitary and isoperimetric constants of a multi-dimensional Euclidean domain starshaped with respect to a ball are not equivalent. Sharp integral inequalities involving the harmonic capacity which…

The characterization of second-order type isomorphisms is a purely syntactical problem that we propose to study under the enlightenment of game semantics. We study this question in the case of second-order λ$\mu$-calculus, which can be…

We prove, under mild assumptions, that a Quillen equivalence between symmetric monoidal model categories gives rise to a Quillen equivalence between their model categories of (non-symmetric) operads, and also between model categories of…

We provide a construction of the fixed points of functors which may not be inital algebras or final coalgebras. For an endofunctor F, this fixed point construction may be expressed as a pair of adjoint functors between F-coalgebras and…

We introduce the notions of w-lower semicontinuous and almost w-lower semicontinuous correspondence with respect to a given set and prove a new fixed-point theorem. We also introduce the notion of correspondence with e-LSCS-property. As…

We introduce the notion of virtual endomorphisms of Lie algebras and use it as an approach for constructing self-similarity of Lie algebras. This is done in particular for a class of metabelian Lie algebras having homological type F Pn,…

We introduce more properties of forcing notions which imply that their lambda-support iterations are lambda-proper, where lambda is an inaccessible cardinal. This paper is a direct continuation of section A.2 of math.LO/0210205. As an…

In this note we develop a generalisation of the $\lambda$-Core solution for non-cooperative games in normal form. We show that this generalised $\lambda$-Core is non-empty for the class of separable games that admit a socially optimal Nash…

We investigate the behavior of the Ricci scalar in the Jordan (JF) and Einstein (EF) frames, in the context of f(R) gravitation. We discuss the physical equivalence of these two representations of the theory, which are mathematically…

Let $\mathbb{F}$ be an algebraically closed field of characteristic zero. In this article we show that isotypic blocks of finite groups are functorially equivalent over $\mathbb{F}$.

We generalize a well-known theorem binding the elementary equivalence relation on the level of PAC fields and the isomorphism class of their absolute Galois groups. Our results concern two cases: saturated PAC structures and non-saturated…

A Leonard pair is an ordered pair of diagonalizable linear maps on a finite-dimensional vector space, that each act on an eigenbasis for the other one in an irreducible tridiagonal fashion. In the present paper we consider a type of Leonard…

We show that minimal models of log canonical pairs exist, assuming the existence of minimal models of smooth varieties.

We provide an example of two elementarily equivalent countable ICC groups $G$ and $H$ such that $G$ is amenable and $H$ is not inner amenable. As a result, we provide the first example of elementarily equivalent groups whose group von…

If T has only countably many complete types, yet has a type of infinite multiplicity then there is a ccc forcing notion Q such that, in any Q --generic extension of the universe, there are non-isomorphic models M_1 and M_2 of T that can be…

Coherent sets of almost desirable gambles and credal sets are known to be equivalent models. That is, there exists a bijection between the two collections of sets preserving the usual operations, e.g. conditioning. Such a correspondence is…

Assuming that there is no inner model with a Woodin cardinal, we obtain a characterization of $\lambda$-tall cardinals in extender models that are iterable. In particular we prove that in such extender models, a cardinal $\kappa$ is a tall…

Let $G$ be a discrete group. We prove that the category of $G$-posets admits a model structure that is Quillen equivalent to the standard model structure on $G$-spaces. As is already true nonequivariantly, the three classes of maps defining…

In this paper a review is given of a class of sub-models of both approaches, characterized by the fact that they can be solved exactly, highlighting in the process a number of generic results related to both the nature of pair-correlated…

We characterise the set of fundamental groups for which there exist $n$-manifolds that are $h$-cobordant (hence homotopy equivalent) but not simple homotopy equivalent, when $n$ is sufficiently large. In particular, for $n \ge 12$ even, we…