Results 31 to 40 of about 3,950,481 (321)
Positive results in abstract model theory: a theory of compact logics
Annals of Pure and Applied Logic, 1983 (From the authors summary) We prove that compactness is equivalent to the amalgamation property, provided the occurrence number of the logic is smaller than the first uncountable measurable cardinal. We also relate compactness to the existence of certain regular ultrafilters related to the logic and develop a general theory of compactness and its ...
Johann A. Makowsky, Saharon Shelah
openaire +2 more sources
The Geometry of the SU(2) × G2-model
Journal of High Energy Physics, 2019 We study elliptic fibrations that geometrically engineer an SU(2) ×G2 gauge theory realized by a Weierstrass model for the collision III + I 0 * ns . We find all the distinct crepant resolutions of such a model and the flops connecting them.
Mboyo Esole, Monica Jinwoo Kang
doaj +1 more source
Chiral gauge theory and gravity from unconventional supersymmetry
Journal of High Energy Physics, 2020 From a gauge SU (2, 2|2) model with broken supersymmetry, we construct an action for SU(2)×U (1) Yang-Mills theory coupled to gravity and matter in four dimensions. The connection components for AdS boosts and special conformal translations are auxiliary
Pedro D. Alvarez +2 more
doaj +1 more source
2D Integrable systems, 4D Chern–Simons theory and affine Higgs bundles
European Physical Journal C: Particles and Fields, 2022 We compare the construction of 2D integrable models through two gauge field theories. The first one is the 4D Chern–Simons (4D-CS) theory proposed by Costello and Yamazaki.
A. Levin, M. Olshanetsky, A. Zotov
doaj +1 more source
Group covers, o-minimality, and categoricity [PDF]
, 2010 We study the model theory of covers of groups definable in o-minimal structures. This includes the case of covers of compact real Lie groups. In particular we study categoricity questions, pointing out some notable differences with the case of covers of ...
Berarducci, Alessandro +2 more
core +5 more sources
X-ray reflection spectroscopy with Kaluza–Klein black holes
European Physical Journal C: Particles and Fields, 2020 Kaluza–Klein theory is a popular alternative theory of gravity, with both non-rotating and rotating black hole solutions known. This allows for the possibility that the theory could be observationally tested.
Jiachen Zhu +8 more
doaj +1 more source
Remarks in abstract model theory
Annals of Pure and Applied Logic, 1985 This rather long paper consists of two distinct parts, the first of which is about the Beth definability property, and the second about compactness. The first half of Part I contains abstract results about Beth closures and preservation properties. At the beginning, a one-step Beth closure \(L^ B\) is defined by adding new formulas for the required ...
openaire +1 more source
, 1997 The nature of M-theory on K3 X I, where I is a line interval, is considered, with a view towards formulating a `matrix theory' representation of that situation.
Aldazabal +61 more
core +2 more sources
Logics of Statements in Context—First-Order Logic Files
LogicsLogics of Statements in Context have been proposed as a general framework to describe and relate, in a uniform and unifying way, a broad spectrum of logics and specification formalisms, which also comprise “open formulas”.
Uwe Wolter
doaj +1 more source
Gauge invariants, correlators and holography in bosonic and fermionic tensor models
Journal of High Energy Physics, 2017 Motivated by the close connection of tensor models to the SYK model, we use representation theory to construct the complete set of gauge invariant observables for bosonic and fermionic tensor models. Correlation functions of the gauge invariant operators
Robert de Mello Koch +2 more
doaj +1 more source