Results 11 to 20 of about 108 (66)
Quantum Algebra From Generalized Q-Algebra [PDF]
, 2021 The paper contains an investigation of the notion of Q-algebras. A brief introduction toquantum mechanics is given.A brief introduction to BCI/BCK/BCH-algebra are given. A new generalization of Q-algebrahas been introduced.
Tabuni, Muna
core +1 more source
A spectroscopic look at the gravitationally lensed type Ia SN 2016geu at z=0.409
, 2017 The spectacular success of type Ia supernovae (SNe Ia) in SN-cosmology is based on the assumption that their photometric and spectroscopic properties are invariant with redshift.
Cano, Zach +6 more
core +1 more source
A frame-theoretic perspective on Esakia duality [PDF]
, 2023 We introduce the category of Heyting frames, those coherent frames L in which the compact elements form a Heyting subalgebra of L, and show that it is equivalent to the category of Heyting algebras and dually equivalent to the category of Esakia spaces ...
Bezhanishvili, G. +2 more
core +1 more source
Dedekind sigma-complete l-groups and Riesz spaces as varieties
, 2017 We prove that the category of Dedekind $\sigma$-complete Riesz spaces is an infinitary variety, and we provide an explicit equational axiomatization. In fact, we show that finitely many axioms suffice over the usual equational axiomatization of Riesz ...
Abbadini, Marco
core +1 more source
A new proof of the Joyal-Tierney theorem [PDF]
, 2023 We give an alternative proof of the well-known Joyal-Tierney Theorem in locale theory by utilizing Priestley duality for frames.Nous donnons une preuve alternative du th ́eor`eme bien connu de Joyal-Tierney dans la th ́eorie des locales en utilisant la ...
G. Bezhanishvili, L. Carai, P. Morandi
core
Adjoint maps between implicative semilattices and continuity of localic maps [PDF]
, 2022 We study residuated homomorphisms (r-morphisms) and their adjoints, the so-called localizations (or l-morphisms), between implicative semilattices, because these objects may be characterized as semilattices whose unary meet operations have adjoints ...
Erné, Marcel +2 more
core +2 more sources
Characterization of metrizable Esakia spaces via some forbidden configurations [PDF]
, 2019 By Priestley duality, each bounded distributive lattice is represented as the lattice of clopen upsets of a Priestley space, and by Esakia duality, each Heyting algebra is represented as the lattice of clopen upsets of an Esakia space.
Bezhanishvili, G, Carai, L
core +1 more source
Model-completion of varieties of co-Heyting algebras [PDF]
, 2017 It is known that exactly eight varieties of Heyting algebras have a model-completion, but no concrete axiomatisation of these model-completions were known by now except for the trivial variety (reduced to the one-point algebra) and the variety of Boolean
Darnière, Luck, Junker, Markus
core +2 more sources
Codimension and pseudometric in co-Heyting algebras [PDF]
, 2008 In this paper we introduce a notion of dimension and codimension for every element of a distributive bounded lattice $L$. These notions prove to have a good behavior when $L$ is a co-Heyting algebra.
Faculte ́ Des Sciences +2 more
core
Principal congruences in weak Heyting algebras [PDF]
, 2016 Let A be a weak Heyting algebra and let a, b ∈ A. We give a description for the congruence generated by the pair (a, b), and we use it in order to give a necessary and sufficient condition for a function f : Ak → A to be compatible with every congruence ...
San Martín, Hernán Javier
core +2 more sources