scholarly journals Expressibility of properties of relations

1995 ◽  
Vol 60 (3) ◽  
pp. 970-991 ◽  
Author(s):  
Hajnal Andréka ◽  
Ivo Düntsch ◽  
István Németi
Keyword(s):  
Algebraic Setting ◽  
Algebras Of Relations

AbstractWe investigate in an algebraic setting the question of which logical languages can express the properties integral, permutational, and rigid for algebras of relations.

On Algebras of Relations with Operations of Left and Right Reflexive Product

2020 ◽  
Vol 41 (2) ◽  
pp. 160-167 ◽  
Author(s):  
D. A. Bredikhin
Keyword(s):  
Algebras Of Relations ◽  
Left And Right

scholarly journals Goresky–Pardon lifts of Chern classes and associated Tate extensions

2017 ◽  
Vol 153 (7) ◽  
pp. 1349-1371 ◽  
Author(s):  
Eduard Looijenga
Keyword(s):  
Vector Bundle ◽  
Hodge Structure ◽  
Holomorphic Vector Bundle ◽  
Mixed Hodge Structure ◽  
Chern Classes ◽  
Analytic Variety ◽  
Algebraic Setting ◽  
Geometric Conditions ◽  
Stable Cohomology ◽  
Complex Analytic Variety

Let $X$ be an irreducible complex-analytic variety, ${\mathcal{S}}$ a stratification of $X$ and ${\mathcal{F}}$ a holomorphic vector bundle on the open stratum ${X\unicode[STIX]{x0030A}}$. We give geometric conditions on ${\mathcal{S}}$ and ${\mathcal{F}}$ that produce a natural lift of the Chern class $\operatorname{c}_{k}({\mathcal{F}})\in H^{2k}({X\unicode[STIX]{x0030A}};\mathbb{C})$ to $H^{2k}(X;\mathbb{C})$, which, in the algebraic setting, is of Hodge level ${\geqslant}k$. When applied to the Baily–Borel compactification $X$ of a locally symmetric variety ${X\unicode[STIX]{x0030A}}$ and an automorphic vector bundle ${\mathcal{F}}$ on ${X\unicode[STIX]{x0030A}}$, this refines a theorem of Goresky–Pardon. In passing we define a class of simplicial resolutions of the Baily–Borel compactification that can be used to define its mixed Hodge structure. We use this to show that the stable cohomology of the Satake ($=$ Baily–Borel) compactification of ${\mathcal{A}}_{g}$ contains nontrivial Tate extensions.

A linear algebraic setting for Jacobi structures

2021 ◽  
Vol 159 ◽  
pp. 103904
Author(s):  
Eugen-Mihăiţă Cioroianu ◽  
Cornelia Vizman
Keyword(s):  
Algebraic Setting

Representation of Residuated Semigroups in Some Algebras of Relations (The Method of Canonical Models)

1997 ◽  
Vol 31 (1) ◽  
pp. 1-12 ◽  
Author(s):  
Wojciech Buszkowski ◽  
Mirosława Kołowska-Gawiejnowicz
Keyword(s):  
Canonical Models ◽  
Algebras Of Relations

An intrinsic algebraic setting for poles and zeros of linear time-varying systems

2009 ◽  
Vol 58 (4) ◽  
pp. 248-253 ◽  
Author(s):  
B. Marinescu ◽  
H. Bourlès
Keyword(s):  
Linear Time ◽  
Time Varying ◽  
Algebraic Setting ◽  
Time Varying Systems ◽  
Poles And Zeros

scholarly journals A Lie algebraic setting for Miura maps related to an energy dependent linear problem

1990 ◽  
Vol 133 (3) ◽  
pp. 509-520 ◽  
Author(s):  
Ian Marshall
Keyword(s):  
Linear Problem ◽  
Algebraic Setting ◽  
Energy Dependent

scholarly journals Methods for the approximation of the matrix exponential in a Lie-algebraic setting

2001 ◽  
Vol 21 (2) ◽  
pp. 463-488 ◽  
Author(s):  
E. Celledoni
Keyword(s):  
Matrix Exponential ◽  
Algebraic Setting ◽  
The Matrix

scholarly journals QUANTUM HYPOTHESIS TESTING AND NON-EQUILIBRIUM STATISTICAL MECHANICS

2012 ◽  
Vol 24 (06) ◽  
pp. 1230002 ◽  
Author(s):  
V. JAKŠIĆ ◽  
Y. OGATA ◽  
C.-A. PILLET ◽  
R. SEIRINGER
Keyword(s):  
Statistical Mechanics ◽  
Hypothesis Testing ◽  
Large Deviation ◽  
Quantum Statistical Mechanics ◽  
Entropy Flow ◽  
Quantum Hypothesis ◽  
Algebraic Setting ◽  
Recent Developments ◽  
Quantum Hypothesis Testing ◽  
Non Equilibrium

We extend the mathematical theory of quantum hypothesis testing to the general W*-algebraic setting and explore its relation with recent developments in non-equilibrium quantum statistical mechanics. In particular, we relate the large deviation principle for the full counting statistics of entropy flow to quantum hypothesis testing of the arrow of time.

scholarly journals Undecidable relativizations of algebras of relations

1999 ◽  
Vol 64 (2) ◽  
pp. 747-760 ◽  
Author(s):  
Szabolcs Mikulás ◽  
Maarten Marx
Keyword(s):  
Order Logic ◽  
First Order Logic ◽  
Similarity Type ◽  
First Order ◽  
Equational Theories ◽  
Algebras Of Relations ◽  
Guarded Fragment ◽  
Cylindric Set Algebras

AbstractIn this paper we show that relativized versions of relation set algebras and cylindric set algebras have undecidable equational theories if we include coordinatewise versions of the counting operations into the similarity type. We apply these results to the guarded fragment of first-order logic.

scholarly journals Unexpected imaginaries in valued fields with analytic structure

2013 ◽  
Vol 78 (2) ◽  
pp. 523-542 ◽  
Author(s):  
Deirdre Haskell ◽  
Ehud Hrushovski ◽  
Dugald Macpherson
Keyword(s):  
Analytic Structure ◽  
Valued Fields ◽  
Algebraic Setting

AbstractWe give an example of an imaginary defined in certain valued fields with analytic structure which cannot be coded in the ‘geometric’ sorts which suffice to code all imaginaries in the corresponding algebraic setting.

Sign in / Sign up

Export Citation Format

Share Document