Results 61 to 70 of about 78,049 (169)

Fusion category symmetry. Part I. Anomaly in-flow and gapped phases

Journal of High Energy Physics
We study generalized discrete symmetries of quantum field theories in 1+1D generated by topological defect lines with no inverse. In particular, we describe ’t Hooft anomalies and classify gapped phases stabilized by these symmetries, including new 1+1D ...
Ryan Thorngren, Yifan Wang
doaj   +1 more source

$\mathcal{O}$-Regular Mappings on $\mathbb{C}\left(\mathbb{C}\right)$: A Structured Operator–Theoretic Framework

Mathematics
Motivation. Analytic function theory on commutative complex extensions calls for an operator–theoretic calculus that simultaneously sees the algebra-induced coupling among components and supports boundary-to-interior mechanisms. Gap.
Ji Eun Kim
doaj   +1 more source

Generic derivations on algebraically bounded structures II Model theoretical properties

Let T be an algebraically bounded theory. We consider the $L(\barδ)$-expansions of T by a tuple $\bar δ$ of derivations (which may be commuting or not). We investigate the model completion of either of the above theories, whose existence has been established in [FT:24], with particular attention to its model-theoretic properties, including $ω ...
Antongiulio, Fornasiero, Giuseppina, Terzo   +1 more
openaire   +2 more sources

Approximation of Algebraic Curves in Function Spaces of Topological Sequences Connected to Specific Simple Graph Families

Journal of Function Spaces
Algebraic curves and topological sequences play a crucial role in mathematics and graph theory, serving as a bridge between geometry, algebra, and number theory.
Mohammad Mazyad Hazzazi, Muhammad Imran, Muhammad Nadeem, Muhammad Kamran, Samuel Asefa Fufa   +4 more
doaj   +1 more source

Modeling Unawareness in Arbitrary State Spaces [PDF]

I develop a set-theoretic model of unawareness without making any structural assumptions on the underlying state space. Unawareness is characterized as a measurability constraint that results in players' reasoning about a “coarse" subjective algebra of ...
Jing Li
core  

Solving algebraic equations by using the bar model: Theoretical and empirical considerations

Eurasia Journal of Mathematics, Science and Technology Education
Solving equations is known to bear several challenges for learners. We discuss an approach based on conceptual understanding regarding the transformation of equations with the help of the so-called bar model in combination with the transposing strategy.
Anna-Katharina Roos, Leander Kempen
openaire   +1 more source

Set-Word Embeddings and Semantic Indices: A New Contextual Model for Empirical Language Analysis

Computers
We present a new word embedding technique in a (non-linear) metric space based on the shared membership of terms in a corpus of textual documents, where the metric is naturally defined by the Boolean algebra of all subsets of the corpus and a measure μ ...
Pedro Fernández de Córdoba, Carlos A. Reyes Pérez, Claudia Sánchez Arnau, Enrique A. Sánchez Pérez   +3 more
doaj   +1 more source

On Corresponding Cauchy–Riemann Equations Applied to Laplace-Type Operators over Generalized Quaternions, with an Application

Axioms
In this paper, we develop a concise differential–potential framework for the functions of a generalized quaternionic variable in the two-parameter algebra Hα,β, with α,β∈R∖{0}.
Ji Eun Kim
doaj   +1 more source

Polynomial time algorithm for checking strong equivalence of program

Труды Института системного программирования РАН, 2018
Strong (logic&term) equivalence of programs is the weakest decidable equivalence relation which approximates the functional equivalence of programs.
V. A. Zakharov, T. A. Novikova
doaj  

On regular ultrafilters, Boolean ultrapowers, and Keisler's order

, 2018
In this paper we analyse and compare two different notions of regularity for filters on complete Boolean algebras. We also announce two results from a forthcoming paper in preparation, which provide a characterization of Keisler's order in terms of ...
Parente, Francesco
core