Related papers: Tame pseudofinite theories with wild pseudofinite …
We deal with values taken by various pseudopower functions at a singular cardinal that is not a fixed point of the aleph function.
This article briefly summarizes and reviews the motivations for - and the present status of - the proposal that the small size of the observed Dark Energy density can be understood in terms of the dynamical relaxation of two large extra…
The paper is a first of two and aims to show that (assuming large cardinals) set theory is a tractable (and we dare to say tame) first order theory when formalized in a first order signature with natural predicate symbols for the basic…
We provide comprehensive, level-by-level characterizations of large cardinals, in the range from weakly compact to strongly compact, by closure properties of powerful images of accessible functors. In the process, we show that these…
Higher-dimensional theories with time-like and space-like extra dimensions are compared both from the conceptual and from the phenomenological points of view. In this context causality and unitarity are discussed. It is shown that…
We consider the evolution of massive scalar fields in (asymptotically) de Sitter spacetimes of arbitrary dimension. Through the proposed dS/CFT correspondence, our analysis points to the existence of new nonlocal dualities for the Euclidean…
We construct a large class of gauge theories with extended supersymmetry on four-dimensional manifolds with a Killing vector field and isolated fixed points. We extend previous results limited to super Yang-Mills theory to general…
Consider a finite-dimensional algebra $A$ and any of its moduli spaces $\mathcal{M}(A,\mathbf{d})^{ss}_{\theta}$ of representations. We prove a decomposition theorem which relates any irreducible component of…
We provide a simple natural duality for the varieties generated by the negation- and implication- free reduct of a finite MV-chain. We study these varieties through the dual equivalence thus obtained. For example, we fully characterize…
We develop the theory of cofinal types of ultrafilters over measurable cardinals and establish its connections to Galvin's property. We generalize fundamental results from the countable to the uncountable, but often in surprisingly…
We review some aspects of theories with compact extra dimensions. We consider the motivation and the theoretical basis of Large, Universal and Warped Extra Dimensions. We focus on those aspects that are potentially relevant in the…
Our aim is to solve a quite old question on the difference between expandability and compact expandability. Toward this, we further investigate the logic of countable cofinality.
It is shown that the universal theory of the free pseudocomplemented distributive lattice is decidable and a recursive axiomatization is presented. This contrasts with the case of the full elementary theory of the finitely generated free…
This paper suggests that traditional fermi-bose quantum field theories (QFT) in 3+1-D, like the standard model of physics, may often be exactly equivalent to the limiting case of a family of bosonic QFT (BQFT) which generate soliton…
The massive topologically and self dual theories en seven dimensions are considered. The local duality between these theories is established and the dimensional reduction lead to the different dualities for massive antisymmetric fields in…
We prove that the number of parameters defining a complex of projective modules over a finite dimensional algebra is upper semi-continuous in families of algebras. Supposing that every algebra is either derived tame or derived wild, we get…
Using approximations, we give several characterizations of separability of bimodules. We also discuss how separability properties can be used to transfer some representation theoretic properties from one ring to another one: contravariant…
We explore new interactions between finite model theory and classical streams of universal algebra and semigroup theory. A key result is an example of finite algebras whose variety is not finitely axiomatisable in first order logic, but…
The matrix model computations of effective superpotential terms in N=1 supersymmetric gauge theories in four dimensions have been proposed to apply more generally to gauge theories in higher dimensions. We discuss aspects of…
It is shown that admissible clauses and quasi-identities of quasivarieties generated by a single finite algebra, or equivalently, the quasiequational and universal theories of their free algebras on countably infinitely many generators, may…