首页 | 本学科首页   官方微博 | 高级检索  
相似文献
 共查询到20条相似文献,搜索用时 15 毫秒
1.
SC, CA, QA and QEA denote the classes of Pinter's substitution algebras, Tarski's cylindric algebras, Halmos' quasi‐polyadic algebras and quasi‐polyadic equality algebras, respectively. Let ωα < β and let K ∈ {SC,CA,QA,QEA}. We show that the class of α ‐dimensional neat reducts of algebras in Kβ is not elementary. This solves a problem in [3]. Also our result generalizes results proved in [2] and [3]. (© 2006 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)  相似文献   

2.
In this article, a cut‐free system TLMω1 for infinitary propositional modal logic is proposed which is complete with respect to the class of all Kripke frames.The system TLMω1 is a kind of Gentzen style sequent calculus, but a sequent of TLMω1 is defined as a finite tree of sequents in a standard sense. We prove the cut‐elimination theorem for TLMω1 via its Kripke completeness.  相似文献   

3.
Let 1 < n < ω and β > n. We show that the class NrnCAβ of n‐dimensional neat reducts of β‐dimensional cylindric algebras is not closed under forming elementary subalgebras. This solves a long‐standing open problem of Tarski and his co‐authors Andréka, Henkin, Monk and Németi. The proof uses genuine model‐theoretic arguments.  相似文献   

4.
We consider a class of multidimensional potential‐type operators with kernels that have singularities at the origin and on the unit sphere and that are oscillating at infinity. We describe some convex sets in the (1/p, 1/q)‐plane for which these operators are bounded from Lp into Lq and indicate domains where they are not bounded. We also reveal some effects which show that oscillation and singularities of the kernels may strongly influence on the picture of boundedness of the operators under consideration. (© 2005 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)  相似文献   

5.
We prove some convergence theorems for αψ‐pseudocontractive operators in real Hilbert spaces, by using the concept of admissible perturbation. Our results extend and complement some theorems in the existing literature. Copyright © 2016 John Wiley & Sons, Ltd.  相似文献   

6.
Let E be a 𝒟ℱ𝒩‐space and let U ⊂ E be open. By applying the nuclearity of the Fréchet space ℋ︁(U) of holomorphic functions on U we show that there are finite measures μ on U leading to Bergman spaces of μ ‐square integrable holomorphic functions. We give an explicit construction for μ by using infinite dimensional Gaussian measures. Moreover, we prove boundary estimates for the corresponding Bergman kernels Kμ on the diagonal and we give an application of our results to liftings of μ ‐square integrable Banach space valued holomorphic functions over U. (© 2008 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)  相似文献   

7.
We consider Bessel‐potential spaces modelled upon Lorentz‐Karamata spaces and establish embedding theorems in the super‐limiting case. In addition, we refine a result due to Triebel, in the context of Bessel‐potential spaces, itself an improvement of the Brézis‐Wainger result (super‐limiting case) about the “almost Lipschitz continuity” of elements of H1+n/pp (?n). These results improve and extend results due to Edmunds, Gurka and Opic in the context of logarithmic Bessel potential spaces. We also give examples of embeddings of Besselpotential type spaces which are not of logarithmic type. (© 2004 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)  相似文献   

8.
In this paper, we prove the local‐in‐time existence and a blow‐up criterion of solutions in the Besov spaces for the Euler‐α equations of inviscid incompressible fluid flows in . We also establish the convergence rate of the solutions of the Euler‐α equations to the corresponding solutions of the Euler equations as the regularization parameter α approaches 0 in . Copyright © 2016 John Wiley & Sons, Ltd.  相似文献   

9.
We establish some results on the Borel and difference hierarchies in φ‐spaces. Such spaces are the topological counterpart of the algebraic directed‐complete partial orderings. E.g., we prove analogs of the Hausdorff Theorem relating the difference and Borel hierarchies and of the Lavrentyev Theorem on the non‐collapse of the difference hierarchy. Some of our results generalize results of A. Tang for the space . We also sketch some older applications of these hierarchies and present a new application to the question of characterizing the ω‐ary Boolean operations generating a given level of the Wadge hierarchy from the open sets. (© 2004 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)  相似文献   

10.
Let F be a Banach space. We establish necessary and sufficient conditions for the Dunford integration operator, from the space of F‐valued Dunford integrable functions to the bidual of F, to belong to a given operator ideal. We also show how this fact can be used to characterize important classes of Banach spaces, such as Banach spaces with the Banach‐Saks property, separable Banach spaces not containing c0, Banach spaces not containing c0 or ?1 and Asplund spaces not containing c0.  相似文献   

11.
In this paper, we introduce and investigate the functions of (μ,ν)‐pseudo S‐asymptotically ω‐periodic of class r(class infinity). We systematically explore the properties of these functions in Banach space including composition theorems. As applications, we establish some sufficient criteria for (μ,ν)‐pseudo S‐asymptotic ω‐periodicity of (nonautonomous) semilinear integro‐differential equations with finite or infinite delay. Finally, some interesting examples are presented to illustrate the main findings.  相似文献   

12.
Let h : ? → ? be a computable function. A real number x is called h‐monotonically computable (h‐mc, for short) if there is a computable sequence (xs) of rational numbers which converges to x h‐monotonically in the sense that h(n)|xxn| ≥ |xxm| for all n andm > n. In this paper we investigate classes hMC of h‐mc real numbers for different computable functions h. Especially, for computable functions h : ? → (0, 1)?, we show that the class hMC coincides with the classes of computable and semi‐computable real numbers if and only if Σi∈?(1 – h(i)) = ∞and the sum Σi∈?(1 – h(i)) is a computable real number, respectively. On the other hand, if h(n) ≥ 1 and h converges to 1, then hMC = SC (the class of semi‐computable reals) no matter how fast h converges to 1. Furthermore, for any constant c > 1, if h is increasing and converges to c, then hMC = cMC . Finally, if h is monotone and unbounded, then hMC contains all ω‐mc real numbers which are g‐mc for some computable function g. (© 2005 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)  相似文献   

13.
In this paper the realization problems for the Kre?n–Langer class Nκ of matrix‐valued functions are being considered. We found the criterion when a given matrix‐valued function from the class Nκ can be realized as linear‐fractional transformation of the transfer function of canonical conservative system of the M. Livsic type (Brodskii–Livsic rigged operator colligation) with the main operator acting on a rigged Pontryagin space Πκ with indefinite metric. We specify three subclasses of the class Nκ (R) of all realizable matrix‐valued functions that correspond to different properties of a realizing system, in particular, when the domains of the main operator of a system and its conjugate coincide, when the domain of the hermitian part of a main operator is dense in Πκ . Alternatively we show that the class Nκ (R) can be realized as transfer matrix‐functions of some canonical impedance systems with self‐adjoint main operators in rigged spaces Πκ . The case of scalar functions of the class Nκ (R) is considered in details and some examples are presented. (© 2008 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)  相似文献   

14.
In this paper, we study the Cauchy problem for the Keller–Segel system with fractional diffusion generalizing the Keller–Segel model of chemotaxis for the initial data (u0,v0) in critical Fourier‐Herz spaces with q ∈ [2, ], where 1 < α ≤ 2. Making use of some estimates of the linear dissipative equation in the frame of mixed time‐space spaces, the Chemin ‘mono‐norm method’, the Fourier localization technique and the Littlewood–Paley theory, we get a local well‐posedness result and a global well‐posedness result with a small initial data. In addition, ill‐posedness for ‘doubly parabolic’ models is also studied. Copyright © 2011 John Wiley & Sons, Ltd.  相似文献   

15.
We prove that the m ‐generated free MV‐algebra is isomorphic to a quotient of the disjoint union of all the m ‐generated free MV(n)‐algebras. Such a quotient can be seen as the direct limit of a system consisting of all free MV(n)‐algebras and special maps between them as morphisms (© 2010 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)  相似文献   

16.
A minimal extension of a Π01 class P is a Π01 class Q such that P ? Q, Q – P is infinite, and for any Π01 class R, if P ? R ? Q, then either R – P is finite or Q – R is finite; Q is a nontrivial minimal extension of P if in addition P and Q′ have the same Cantor‐Bendixson derivative. We show that for any class P which has a single limit point A, and that point of degree ≤ 0 , P admits a nontrivial minimal extension. We also show that as long as P is infinite, then P does not admit any decidable nontrivial minimal extension Q. (© 2005 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)  相似文献   

17.
In this paper, we consider one‐dimensional Schrödinger operators Sq on with a bounded potential q supported on the segment and a singular potential supported at the ends h0, h1. We consider an extension of the operator Sq in defined by the Schrödinger operator and matrix point conditions at the ends h0, h1. By using the spectral parameter power series method, we derive the characteristic equation for calculating the discrete spectra of operator . Moreover, we provide closed‐form expressions for the eigenfunctions and associate functions in the Jordan chain given in the form of power series of the spectral parameter. The validity of our approach is proven in several numerical examples including self‐adjoint and nonself‐adjoint problems involving general point interactions described in terms of δ‐ and δ‐distributions.  相似文献   

18.
We prove, in ZFC alone, some new results on regularity and decomposability of ultrafilters; among them: (a) If m ≥ 1 and the ultrafilter D is (m(λ+n), m(λ+n))‐regular, then D is κ ‐decomposable for some κ with λκ ≤ 2λ (Theorem 4.3(a')). (b) If λ is a strong limit cardinal and D is (m(λ+n), m(λ+n))‐regular, then either D is (cf λ, cf λ)‐regular or there are arbitrarily large κ < λ for which D is κ ‐decomposable (Theorem 4.3(b)). (c) Suppose that λ is singular, λ < κ, cf κ ≠ cf λ and D is (λ+, κ)‐regular. Then: (i) D is either (cf λ, cf λ)‐regular, or (λ', κ)‐regular for some λ' < λ (Theorem 2.2). (ii) If κ is regular, then D is either (λ, κ)‐regular, or (ω, κ')‐regular for every κ' < κ (Corollary 6.4). (iii) If either (1) λ is a strong limit cardinal and λ < 2κ, or (2) λ < κ, then D is either λ ‐decomposable, or (λ', κ)‐regular for some λ' < λ (Theorem 6.5). (d) If λ is singular, D is (μ, cf λ)‐regular and there are arbitrarily large ν < λ for which D is ν ‐decomposable, then D is κ ‐decomposable for some κ with λκλ<μ (Theorem 5.1; actually, our result is stronger and involves a covering number). (e) D × D' is (λ, μ)‐regular if and only if there is a ν such that D is (ν, μ)‐regular and D' is (λ, ν')‐regular for all ν < ν (Proposition 7.1). We also list some problems, and furnish applications to topological spaces and to extended logics (Corollar‐ies 4.6 and 4.8) (© 2010 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)  相似文献   

19.
The subject is traces of Sobolev spaces with mixed Lebesgue norms on Euclidean space. Specifically, restrictions to the hyperplanes given by x1 = 0 and xn = 0 are applied to functions belonging to quasi‐homogeneous, mixed norm Lizorkin–Triebel spaces ; Sobolev spaces are obtained from these as special cases. Spaces admitting traces in the distribution sense are characterised up to the borderline cases; these are also covered in case x1 = 0. For x1 the trace spaces are proved to be mixed‐norm Lizorkin–Triebel spaces with a specific sum exponent; for xn they are similarly defined Besov spaces. The treatment includes continuous right‐inverses and higher order traces. The results rely on a sequence version of Nikol'skij's inequality, Marschall's inequality for pseudodifferential operators (and Fourier multiplier assertions), as well as dyadic ball criteria. (© 2008 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)  相似文献   

20.
Generalizing model companions from model theory we define companions of pieces of canonical partitions of Polish G‐spaces. This unifies several constructions from logic. The central problem of the paper is the existence of companions which form a G‐orbit which is a Gδ‐set. We describe companions of some typical G‐spaces. (© 2005 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)  相似文献   

设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号