Results 21 to 30 of about 16,156 (266)
Optimality Conditions for ε-Vector Equilibrium Problems
Abstract and Applied Analysis, 2014 By virtue of the separation theorem of convex sets, a necessary condition and a sufficient condition for ε-vector equilibrium problem with constraints are obtained. Then, by using the Gerstewitz nonconvex separation functional, a necessary and sufficient
Lu Wei-zhong, Huang Shou-jun, Yang Jun
doaj +1 more source
Trakhtenbrot's Theorem in Coq: Finite Model Theory through the Constructive Lens [PDF]
Logical Methods in Computer Science, 2022 We study finite first-order satisfiability (FSAT) in the constructive setting of dependent type theory. Employing synthetic accounts of enumerability and decidability, we give a full classification of FSAT depending on the first-order signature of non ...
Dominik Kirst +1 more
doaj +1 more source
International Journal of Mathematics and Mathematical Sciences, 1987 This paper contains some characterisations of complex L-balls, including interpolation theorems which are analogs of Edward's separation theorem for simplices.
Mrinal Kanti Das
doaj +1 more source
Complex oscillations of non-definite Sturm-Liouville problems, II
Electronic Journal of Qualitative Theory of Differential EquationsWe correct and update a result of R. G. D. Richardson [Amer. J. Math. 40(1918), 283–316] dealing with the separation of zeros of the real and imaginary parts of non-real eigenfunctions of non-definite Sturm–Liouville eigenvalue problems.
Angelo Mingarelli
doaj +1 more source
Covering and separation for logical fragments with modular predicates [PDF]
Logical Methods in Computer Science, 2019 For every class $\mathscr{C}$ of word languages, one may associate a decision problem called $\mathscr{C}$-separation. Given two regular languages, it asks whether there exists a third language in $\mathscr{C}$ containing the first language, while being ...
Thomas Place +2 more
doaj +1 more source
Asymmetric locally convex spaces
International Journal of Mathematics and Mathematical Sciences, 2005 The aim of the present paper is to introduce the asymmetric locally convex spaces and to prove some basic properties. Among these I do mention the analogs of the Eidelheit-Tuckey separation theorems, of the Alaoglu-Bourbaki theorem on the weak ...
S. Cobzaş
doaj +1 more source
Computably regular topological spaces [PDF]
Logical Methods in Computer Science, 2013 This article continues the study of computable elementary topology started by the author and T. Grubba in 2009 and extends the author's 2010 study of axioms of computable separation.
Klaus Weihrauch
doaj +1 more source
Products on Maximal Compact Frames
Ratio Mathematica, 2023 In topological spaces, many topological properties such as separation properties, paracompactness etc. are preserved under the act of taking product of topological spaces.
Jayaprasad P. N.
doaj +1 more source
Separation and the existence theorem for second order nonlinear differential equation
Electronic Journal of Qualitative Theory of Differential Equations, 2012 Sufficient conditions for the invertibility and separability in $L_2(-\infty, +\infty)$ of the degenerate second order differential operator with complex-valued coefficients are obtained, and its applications to the spectral and approximate problems are ...
Kordan Ospanov, Raya Akhmetkaliyeva
doaj +1 more source
Approximate Benson efficient solutions for set-valued equilibrium problems
Journal of Inequalities and Applications, 2020 In locally convex Hausdorff topological vector spaces, the approximate Benson efficient solution is proposed for set-valued equilibrium problems and its relationship to the Benson efficient solution is discussed.
Shasha Hu, Yihong Xu, Zhichao Niu
doaj +1 more source