scholarly journals Spectral-like duality for Distributive Hilbert Algebras with Infimum

10.29007/2fsc ◽  
2018 ◽  
Author(s):  
Sergio A. Celani ◽  
María Esteban ◽  
Ramón Jansana
Keyword(s):  
Forthcoming Paper ◽  
Priestley Duality ◽  
Hilbert Algebras ◽  
Ordered Algebras ◽  
Stone Type

We present the results of our research on stone-type dualities for certain classes of ordered algebras that do not fall within the scope of extended Priestley-duality. In a forthcoming paper we study a new spectral-like duality for the class of distributive Hilbert algebras with infimum. We explain the main facts of that duality and we outline how the same strategy could be used for getting a Priestley-style duality for the same class of algebras, as well as dualities for other classes of algebras.

scholarly journals Priestley duality for MV-algebras and beyond

2021 ◽  
Vol 0 (0) ◽  
Author(s):  
Wesley Fussner ◽  
Mai Gehrke ◽  
Samuel J. van Gool ◽  
Vincenzo Marra
Keyword(s):  
Large Class ◽  
Order Conditions ◽  
Enriched Environment ◽  
Priestley Duality ◽  
Distributive Lattices ◽  
First Order ◽  
Dual Spaces ◽  
Binary Operations ◽  
New Perspective ◽  
Mv Algebras

Abstract We provide a new perspective on extended Priestley duality for a large class of distributive lattices equipped with binary double quasioperators. Under this approach, non-lattice binary operations are each presented as a pair of partial binary operations on dual spaces. In this enriched environment, equational conditions on the algebraic side of the duality may more often be rendered as first-order conditions on dual spaces. In particular, we specialize our general results to the variety of MV-algebras, obtaining a duality for these in which the equations axiomatizing MV-algebras are dualized as first-order conditions.

Completions of ordered magmas

1980 ◽  
Vol 3 (1) ◽  
pp. 105-116
Author(s):  
Bruno Courcelle ◽  
Jean-Claude Raoult
Keyword(s):  
Programming Languages ◽  
Semantics Of Programming Languages ◽  
Ordered Algebras ◽  
Completion Theorem

We give a completion theorem for ordered magmas (i.e. ordered algebras with monotone operations) in a general form. Particular instances of this theorem are already known, and new results follow. The semantics of programming languages is the motivation of such investigations.

scholarly journals Two semigroups of continuous relations

1977 ◽  
Vol 23 (1) ◽  
pp. 46-58 ◽  
Author(s):  
A. R. Bednarek ◽  
Eugene M. Norris
Keyword(s):  
Large Class ◽  
Algebraic Structure ◽  
Topological Spaces ◽  
Hausdorff Spaces ◽  
Completely Regular ◽  
Topological Semigroups ◽  
Stone Type

SynopsisIn this paper we define two semigroups of continuous relations on topological spaces and determine a large class of spaces for which Banach-Stone type theorems hold, i.e. spaces for which isomorphism of the semigroups implies homeomorphism of the spaces. This class includes all 0-dimensional Hausdorff spaces and all those completely regular Hausdorff spaces which contain an arc; indeed all of K. D. Magill's S*-spaces are included. Some of the algebraic structure of the semigroup of all continuous relations is elucidated and a method for producing examples of topological semigroups of relations is discussed.

scholarly journals Dual-energy computed tomography for stone type assessment: A pilot study of DECT with five indices

2020 ◽  
Vol 21 ◽  
pp. S85
Author(s):  
V. Rudenko ◽  
N. Serova ◽  
L. Kapanadze ◽  
M. Taratkin ◽  
Z. Okhunov ◽  
...  
Keyword(s):  
Computed Tomography ◽  
Pilot Study ◽  
Dual Energy ◽  
Dual Energy Computed Tomography ◽  
Stone Type

Equalization of finite flowers

1988 ◽  
Vol 53 (1) ◽  
pp. 105-123
Author(s):  
Stefano Berardi
Keyword(s):  
Set Theory ◽  
Forthcoming Paper ◽  
Direct Limits

A dilator D is a functor from ON to itself commuting with direct limits and pull-backs. A dilator D is a flower iff D(x) is continuous. A flower F is regular iff F(x) is strictly increasing and F(f)(F(z)) = F(f(z)) (for f ϵ ON(x,y), z ϵ X).Equalization is the following axiom: if F, G ϵ Flr (class of regular flowers), then there is an H ϵ Flr such that F ° H = G ° H. From this we can deduce that if ℱ is a set ⊆ Flr, then there is an H ϵ Flr which is the smallest equalizer of ℱ (it can be said that H equalizes ℱ iff for every F, G ϵ ℱ we have F ° H = G ° H). Equalization is not provable in set theory because equalization for denumerable flowers is equivalent to -determinacy (see a forthcoming paper by Girard and Kechris).Therefore it is interesting to effectively find, by elementary means, equalizers even in the simplest cases. The aim of this paper is to prove Girard and Kechris's conjecture: “ is the (smallest) equalizer for Flr < ω” (where Flr < ω denotes the set of finite regular flowers). We will verify that is an equalizer of Flr < ω; we will sketch the proof that it is the smallest one at the end of the paper. We will denote by H.

On frontal operators in Hilbert algebras

2014 ◽  
Vol 23 (2) ◽  
pp. 217-234 ◽  
Author(s):  
J. L. Castiglioni ◽  
H. J. San Martin
Keyword(s):  
Hilbert Algebras

scholarly journals Intra-Day Variability Observations of Two Dozens of Blazars at 4.8 GHz

Universe ◽  
2021 ◽  
Vol 7 (1) ◽  
pp. 15
Author(s):  
Xiang Liu ◽  
Xin Wang ◽  
Ning Chang ◽  
Jun Liu ◽  
Lang Cui ◽  
...  
Keyword(s):  
Active Galactic Nuclei ◽  
Galactic Nuclei ◽  
Forthcoming Paper ◽  
Galactic Latitude ◽  
Local Interstellar Medium ◽  
Bl Lac Objects ◽  
Spectrum Radio ◽  
First Results ◽  
First Time ◽  
Source Structure

Two dozens of radio loud active galactic nuclei (AGNs) have been observed with Urumqi 25 m radio telescope in order to search for intra-day variability (IDV). The target sources are blazars (namely flat spectrum radio quasars and BL Lac objects) which are mostly selected from the observing list of RadioAstron AGN monitoring campaigns. The observations were carried out at 4.8 GHz in two sessions of 8–12 February 2014 and 7–9 March respectively. We report the data reduction and the first results of observations. The results show that the majority of the blazars exhibit IDV in 99.9% confidence level, some of them show quite strong IDV. We find the strong IDV of blazar 1357 + 769 for the first time. The IDV at centimeter-wavelength is believed to be predominately caused by the scintillation of blazar emission through the local interstellar medium in a few hundreds parsecs away from Sun. No significant correlation between the IDV strength and either redshift or Galactic latitude is found in our sample. The IDV timescale along with source structure and brightness temperature analysis will be presented in a forthcoming paper.

scholarly journals Square-integrable representations of non-unimodular groups

1976 ◽  
Vol 15 (1) ◽  
pp. 1-12 ◽  
Author(s):  
A.L. Carey
Keyword(s):  
Hilbert Space ◽  
Reproducing Kernel ◽  
Reproducing Kernel Hilbert Space ◽  
Hilbert Algebra ◽  
Technical Tool ◽  
Integrable Representation ◽  
Hilbert Algebras ◽  
Orthogonality Relations ◽  
Square Integrable Representation ◽  
Main Technical Tool

In the last three years a number of people have investigated the orthogonality relations for square integrable representations of non-unimodular groups, extending the known results for the unimodular case. The results are stated in the language of left (or generalized) Hilbert algebras. This paper is devoted to proving the orthogonality relations without recourse to left Hilbert algebra techniques. Our main technical tool is to realise the square integrable representation in question in a reproducing kernel Hilbert space.

Finite-dimensional ℓ-simple lattice-ordered algebras with a d-basis

2011 ◽  
Vol 65 (4) ◽  
pp. 341-351 ◽  
Author(s):  
Jingjing Ma
Keyword(s):  
Finite Dimensional ◽  
Simple Lattice ◽  
Ordered Algebras

Efficient Numerical Solution of Inverse Heat Conduction Problems

1995 ◽  
Author(s):  
Hans-Jürgen Reinhardt ◽  
Dinh Nho Hao
Keyword(s):  
Heat Flux ◽  
Heat Conduction ◽  
Numerical Methods ◽  
Stationary Point ◽  
Forthcoming Paper ◽  
Inverse Heat Conduction ◽  
Piecewise Constant ◽  
Numerical Tests ◽  
Inverse Heat Conduction Problems ◽  
Special Case

Abstract In this contribution we propose new numerical methods for solving inverse heat conduction problems. The methods are constructed by considering the desired heat flux at the boundary as piecewise constant (in time) and then deriving an explicit expression for the solution of the equation for a stationary point of the minimizing functional. In a very special case the well-known Beck method is obtained. For the time being, numerical tests could not be included in this contribution but will be presented in a forthcoming paper.

Sign in / Sign up

Export Citation Format

Share Document