Model-theoretic properties of nilpotent groups and Lie algebras [PDF]
Journal of Algebra, 2023 45 ...
Christian d’Elbée +3 more
openalex +3 more sources
Menagerie of AdS2 boundary conditions [PDF]
Journal of High Energy Physics, 2017 We consider different sets of AdS2 boundary conditions for the Jackiw-Teitelboim model in the linear dilaton sector where the dilaton is allowed to fluctuate to leading order at the boundary of the Poincaré disk.
Daniel Grumiller +4 more
doaj +4 more sources
Quantifier Elimination and Other Model-Theoretic Properties of BL-Algebras [PDF]
Notre Dame Journal of Formal Logic, 2011 This work presents a model-theoretic approach to the study of firstorder theories of classes of BL-chains. Among other facts, we present several classes of BL-algebras, generating the whole variety of BL-algebras whose firstorder theory has quantifier elimination. Model-completeness and decision problems are also investigated.
Tommaso Cortonesi +2 more
openalex +6 more sources
Algebraic and Model Theoretic Properties of O-minimal Exponential Fields [PDF]
The Bulletin of Symbolic Logic, 2021 AbstractAn exponential $\exp $ on an ordered field $(K,+,-,\cdot ,0,1,<)$ is an order-preserving isomorphism from the ordered additive group $(K,+,0,<)$ to the ordered multiplicative group of positive elements $(K^{>0},\cdot ,1,<)$ . The structure $(K,+,-,\cdot ,0,1,<,\exp )$ is then called an ordered exponential field (cf. [6]).
Lothar Sebastian Krapp
openalex +2 more sources
What Is the Validity Domain of Einstein’s Equations? Distributional Solutions over Singularities and Topological Links in Geometrodynamics [PDF]
Universe, 2016 The existence of singularities alerts that one of the highest priorities of a centennial perspective on general relativity should be a careful re-thinking of the validity domain of Einstein’s field equations.
Elias Zafiris
doaj +4 more sources
On relationships between algebraic properties of groups and rings in\n some model-theoretic contexts [PDF]
The Journal of Symbolic Logic, 2010 AbstractWe study relationships between certain algebraic properties of groups and rings definable in a first order structure or *-closed in a compact G-space. As a consequence, we obtain a few structural results about ω-categorical rings as well as about small, nm-stable compact G-rings, and we also obtain surprising relationships between some ...
Krzysztof Krupiński
+7 more sources
Algebraic and model theoretic methods in constraint satisfaction [PDF]
, 2015 This text is related to the tutorials I gave at the Banff International Research Station and within a "Doc-course" at Charles University Prague in the fall of 2014. It describes my current research and some of the most important open questions related to it.
Michael Pinsker
openalex +3 more sources
Model-Theoretic Investigations into Consequence Operation (Cn) in Quantum Logics: An Algebraic Approach [PDF]
International Journal of Theoretical Physics, 2006 11 ...
Piotr Wilczek
openalex +4 more sources
Model-theoretic Forcing in Transition Algebra [PDF]
We study Löwenheim-Skolem and Omitting Types theorems in Transition Algebra, a logical system obtained by enhancing many sorted first-order logic with features from dynamic logic. The sentences we consider include compositions, unions, and transitive closures of transition relations, which are treated similarly to actions in dynamic logics to define ...
Go Hashimoto, Daniel Găină
openalex +4 more sources
Born’s Rule from Contextual Relative-Entropy Minimization [PDF]
EntropyWe give a variational characterization of the Born rule. For each measurement context, we project a quantum state ρ onto the corresponding abelian algebra by minimizing Umegaki relative entropy; Petz’s Pythagorean identity makes the dephased state the ...
Arash Zaghi
doaj +2 more sources