Results 1 to 10 of about 7,715,678 (141)
Security Theorems via Model Theory [PDF]
Electronic Proceedings in Theoretical Computer Science, 2009 A model-theoretic approach can establish security theorems for cryptographic protocols. Formulas expressing authentication and non-disclosure properties of protocols have a special form. They are quantified implications for all xs .
Joshua Guttman
doaj +6 more sources
A matrix model from string field theory
Frontiers in Physics, 2016 We demonstrate that a Hermitian matrix model can be derived from level truncated open string field theory with Chan-Paton factors. The Hermitian matrix is coupled with a scalar and U(N) vectors which are responsible for the D-brane at the tachyon vacuum.
Syoji Zeze
doaj +4 more sources
The geometric Standard Model Effective Field Theory
Journal of High Energy Physics, 2020 We develop the geometric formulation of the Standard Model Effective Field Theory (SMEFT). Using this approach we derive all-orders results in the 2 H † H / Λ $$ \sqrt{2\left\langle {H}^{\dagger }H\right\rangle }/\Lambda $$ expansion relevant for studies
Andreas Helset +2 more
doaj +3 more sources
Axioms, 2021 We prove some results in set theory as applied to general topology and model theory. In particular, we study ℵ1-collectionwise Hausdorff, Chang Conjecture for logics with Malitz-Magidor quantifiers and monadic logic of the real line by odd/even Cantor ...
Saharon Shelah
doaj +1 more source
Algebras of Binary Isolating Formulas for Tensor Product Theories
Известия Иркутского государственного университета: Серия "Математика", 2022 Algebras of distributions of binary isolating and semi-isolating formulae are derived objects for a given theory and reflect binary formula relations between 1-type realizations.
D.Yu. Emel’yanov
doaj +1 more source
Algebras of Binary Isolating Formulas for Strong Product Theories
Известия Иркутского государственного университета: Серия "Математика", 2023 Algebras of distributions of binary isolating and semi-isolating formulas are objects that are derived for a given theory, and they specify the relations between binary formulas of the theory.
D.Yu. Emelyanov
doaj +1 more source
The Axiomatic Approach to Non-Classical Model Theory
Mathematics, 2022 Institution theory represents the fully axiomatic approach to model theory in which all components of logical systems are treated fully abstractly by reliance on category theory. Here, we survey some developments over the last decade or so concerning the
Răzvan Diaconescu
doaj +1 more source
Sensors, 2021 Decision-making is an important part of human life and particularly in any engineering process related to a complex product. New sensors and actuators based on MEMS technologies are increasingly complex and quickly evolving into products.
Juan A. Martínez Rojas +4 more
doaj +1 more source
Statistical Relational Learning With Unconventional String Models
Frontiers in Robotics and AI, 2018 This paper shows how methods from statistical relational learning can be used to address problems in grammatical inference using model-theoretic representations of strings.
Mai H. Vu +5 more
doaj +1 more source
, 2017 The field of precision calculations for Standard Model processes at the LHC has experienced enormous progress in recent years. This talk highlights some examples from the physics of parton distribution functions, jets, electroweak gauge bosons and Higgs ...
Dittmaier, Stefan
core +1 more source