Buscar
Mostrando ítems 1-10 de 510
Läuchli's completeness theorem from a topos-theoretic perspective
(Springer, 2010-04)
We prove a variant of Läuchli's completeness theorem for intuitionistic predicate calculus. The formulation of the result relies on the observation (due to Lawvere) that Läuchli's theorem is related to the logic of the ...
Index of symmetry and topological classification of asymmetric normed spaces.
(Rocky MT Math Consortiumariz State Univ, Dept Math, 2020)
Let X, Y be asymmetric normed spaces and Lc(X, Y ) the
convex cone of all linear continuous operators from X to Y . It is known
that in general, Lc(X, Y ) is not a vector space. The aim of this note is to
give, using ...
Equational type characterization for σ-complete MV -algebras
(Birkhauser Verlag Ag, 2013-04)
In the framework of algebras with infinitary operations, an equational base for the category of σ-complete MV-algebras is given. In this way, we study some particular objects as simple algebras, directly irreducible algebras, ...
Polar varieties, Bertini's theorems and number of points of singular complete intersections over a finite field
(Elsevier, 2015-01)
Let V ⊂ double-struck Pn(double-struck F¯q) be a complete intersection defined over a finite field double-struck Fq of dimension r and singular locus of dimension at most s, and let π :V → double-struck Ps+1 (double-struck ...
Optimal frame completions
(2014)
Optimal frame completions with prescribed norms for majorization
(Springer, 2014-10)
Given a finite sequence of vectors F0 in a d-dimensional complex Hilbert space H we characterize in a complete and explicit way the optimal completions of F0 obtained by appending a finite sequence of vectors with prescribed ...
Completeness for monadic fuzzy logics via functional algebras
(Elsevier Science, 2021-03-01)
We study S5-modal (monadic) expansions of extensions of Hájek's basic logic . Hájek proposed Hilbert-style systems axiomatizing these logics and we prove that completeness theorems for these logics follow from algebraic ...
Complete and atomic Tarski algebras
(Springer, 2019-03)
Tarski algebras, also known as implication algebras or semi-boolean algebras, are the {→}-subreducts of Boolean algebras. In this paper we shall introduce and study the complete and atomic Tarski algebras. We shall prove ...