Related papers: Some definable types that cannot be amalgamated
Using an infinitary version of the Hypergraph Removal Lemma due to Towsner, we prove a model-theoretic higher amalgamation result. In particular, we obtain an independent amalgamation property which holds in structures which are measurable…
We investigate the associativity property for functions of indefinite arities and introduce and discuss the more general property of preassociativity, a generalization of associativity which does not involve any composition of functions.
We give a simple procedure to construct explicit examples of nilmanifolds admitting an Anosov diffeomorphism, and show that a reasonable classification up to homeomorphism (or even up to commensurability) of such nilmanifolds would not be…
An algebraizable singularity is a germ of a singular holomorphic foliation which can be defined in some appropriate local chart by a differential equation with algebraic coefficients. We show that there exists at least countably many…
We show that the Calkin algebra is not countably homogeneous, in the sense of continuous model theory. We furthermore show that the connected component of the unitary group of the Calkin algebra is not countably homogeneous.
Unlike in characteristic 0, there are no non-trivial smooth varieties over an algebraically closed field k of characteristic p>0 that are contractible in the sense of etale homotopy theory.
We show there exists a complete theory in a language of size continuum possessing a unique atomic model which is not constructible. We also show it is consistent with $ZFC + \aleph_1 < 2^{\aleph_0}$ that there is a complete theory in a…
We study valued fields equipped with an automorphism. We prove that all of them have an extension admitting an equivariant cross-section of the valuation. In residual characteristic zero, and in the presence of such a cross-section, we show…
A type theory is presented that combines (intuitionistic) linear types with type dependency, thus properly generalising both intuitionistic dependent type theory and full linear logic. A syntax and complete categorical semantics are…
At the heart of intuitionistic type theory lies an intuitive semantics called the "meaning explanations"; crucially, when meaning explanations are taken as definitive for type theory, the core notion is no longer "proof" but "verification".…
Article is devoted to the Examples 2 and 3 of the symplectic solvable Lie groups $R$ with some special cohomological properties, which have been constructed by Benson and Gordon. But they are not succeeded in constructing corresponding…
Due to the undecidability of most type-related properties of System F like type inhabitation or type checking, restricted polymorphic systems have been widely investigated (the most well-known being ML-polymorphism). In this paper we…
It is pointed out that the group theory cannot describe the charge structure of particles. Set theory is necessary to describe the charge structure of particles but the set of charges form group.
We show that certain field theory models, although non-integrable according to the usual definition of integrability, share some of the features of integrable theories for certain configurations. Here we discuss our attempt to define a…
We give examples of finite-dimensional algebras $A$ for which the silting objects in $K^b(\mbox{proj-}A)$ are not connected by any sequence of (possibly reducible) silting mutations. The argument is based on the fact that silting mutation…
In this paper an algebraic model for unbased rational homotopy theory from the perspective of curved Lie algebras is constructed. As part of this construction a model structure for the category of pseudo-compact curved Lie algebras with…
We study AECs without assuming the amalgamation property in general. We do assume the disjoint amalgamation property in a specific cardinality lambda and assume that there is no maximal model in \lambda. Under these hypotheses, we prove the…
It is shown that the non-associative operators in a non-associative quantum theory are unobservables. The observable quantity may be presented only by the elements of some associative subalgebra. It is shown that the elements of the…
In this article the author endows the functor category [B(C2),Gpd] with the structure of a type-theoretic fibration category with a universe using the projective fibrations. It offers a new model of Martin-L\"of type theory with dependent…
This paper presents a type theory with a form of equality reflection: provable equalities can be used to coerce the type of a term. Coercions and other annotations, including implicit arguments, are dropped during reduction of terms. We…