Related papers: Some definable types that cannot be amalgamated
It is tried to axiomatize the transparent theory of music.
We extend the classical notion of solvability to a lambda-calculus equipped with pattern matching. We prove that solvability can be characterized by means of typability and inhabitation in an intersection type system P based on…
We give parameterizations of the irreducible representations of finite groups of Lie type in their defining characteristic.
Gromov constructed uncountably many pairwise non-isomorphic discrete groups with Kazhdan's property (T). We will show that no separable II_1-factor can contain all these groups in its unitary group. In particular, no separable II_1-factor…
We prove that a minimal second countable ample groupoid has dynamical comparison if and only if its type semigroup is almost unperforated. Moreover, we investigate to what extent a not necessarily minimal almost finite groupoid has an…
We construct a model of cubical type theory with a univalent and impredicative universe in a category of cubical assemblies. We show that this impredicative universe in the cubical assembly model does not satisfy a form of propositional…
We classify complex compact parallelizable manifolds which admit flat torsion free holomorphic affine connections. We exhibit complex compact manifolds admitting holomorphic affine connections, but no flat torsion free holomorphic affine…
We consider the situation in which some class of structures has the Strong Amalgamation Property (SAP) with the further requirement that the amalgamating structure can be taken over the set theoretical union of (the images of) the domains…
We investigate the class of models of a general dependent theory. We continue math.LO/0702292 in particular investigating so called "decomposition of types"; thesis is that what holds for stable theory and for Th(Q,<) hold for dependent…
A theory T is tight if different deductively closed extensions of T (in the same language) cannot be bi-interpretable. Many well-studied foundational theories are tight, including PA [Visser2006], ZF, Z2, and KM [enayat2017]. In this…
We construct an uncountable family of groups of type $FP$. In contrast to every previous construction of non-finitely presented groups of type $FP$ we do not use Morse theory on cubical complexes; instead we use Gromov's graphical small…
This paper introduces a simple type system for combinatory logic in which combinators have at most one type, whose polymorphism is revealed by application. The combinatory types exactly describe the structure of their values, which may be…
We construct examples of weighted algebras $L_p^w(G)$ with $1<p\le 2$ on uncountable free groups. For $p>2$ no weighted algebras exist on these groups. From the other side, we prove that an amenable group on which exist weighted algebras…
We give an abstract framework to transfer generalized amalgamation from a simple theory to another, and we apply it to theories of lovely pairs and of bounded PAC structures. We show in particular that bounded pseudo-algebraically closed…
We define separating properties for normal ultrafilters. We prove that compactness and supercompactness are separable, yet compactness and measurability are not. We describe how to use separating properties in order to elicit distinct…
We construct representation theory of Lie algebras with filtrations. In this framework a classification of irreducible representations is obtained and spectra of some reducible representations are found.
In a constructive setting, no concrete formulation of ordinal numbers can simultaneously have all the properties one might be interested in; for example, being able to calculate limits of sequences is constructively incompatible with…
A finitely generated solvable group with unbounded iterated identity is constructed.
We introduce a refinement of bounded cohomology and prove that the suitable comparison homomorphisms vanish for an amenable group. We investigate in this context Thompson's group F and provide further evidence towards its amenability. We…
We construct a nil algebra over a countable field which has finite but non-zero Gelfand-Kirillov dimension.