首页 | 本学科首页   官方微博 | 高级检索  
相似文献
 共查询到20条相似文献,搜索用时 15 毫秒
1.
    
We develop a version of Herbrand's theorem for continuous logic and use it to prove that definable functions in infinite‐dimensional Hilbert spaces are piecewise approximable by affine functions. We obtain similar results for definable functions in Hilbert spaces expanded by a group of generic unitary operators and Hilbert spaces expanded by a generic subspace. We also show how Herbrand's theorem can be used to characterize definable functions in absolutely ubiquitous structures from classical logic.  相似文献   

2.
Conditions are given for a multiplicative lattice to be a finite Boolean algebra. Multiplicative lattices in which semiprimary elements are primary or in which prime elements are weak meet principal are studied. The lattice of filters of a bounded commutative semilattice are investigated. Finally, we study compactly packed lattices.  相似文献   

3.
4.
We prove a fixed point theorem related to the set P2 of [17]. The result gives access to nontrivial infinite ordered sets with the fixed point property. We also show how the result can be used to provide an elementary proof of part of Baclawski and Björner’s results on truncated lattices.Dedicated to the memory of Ivan RivalReceived December 1, 2002; accepted in final form June 18, 2004.This revised version was published online in August 2005 with a corrected cover date.  相似文献   

5.
There is a canonical imbedding of a poset into a complete Boolean lattice and hence into a Boolean lattice. This gives it a representation as a collection of clopen sets of a Boolean space. There are reflective functions from a category of distributive posets to the subcategories of distributive and Boolean lattices and consequently a topological dual equivalence that extends the Stone duality of Boolean lattices.Presented by B. Jonsson.  相似文献   

6.
    
We show that the universally axiomatized, induction‐free theory $mathsf {PA}^-$ is a sequential theory in the sense of Pudlák's 5 , in contrast to the closely related Robinson's arithmetic.  相似文献   

7.
    
Let C be a closed convex set in a complete simply connected Riemannian manifold M with sectional curvature bounded above by a positive constant K. Assume that Σ is a compact minimal surface outside C such that Σ is orthogonal to ?C along ?Σ∩?C and ?Σ ~ ?C is radially connected from a point p ∈ ?Σ∩?C. We introduce a modified volume Mp(Σ) of Σ and obtain a sharp isoperimetric inequality where equality holds if and only if Σ is a geodesic half disk with constant Gaussian curvature K. We also prove higher dimensional isoperimetric inequalities for minimal submanifolds outside a closed convex set in a Riemannian manifold using the modified volume.  相似文献   

8.
Let be aC-lattice which is strong join principally generated. In this paper, we consider prime elements of for which every semiprimary element is primary. We show, for example, that a compact nonmaximal primep with this property is principal. We also show that if every primepm has this property, then is either a one dimensional domain or a primary lattice. It follows that if every primep satisfies the property, and if there are only a finite number of minimal primes in , then is the finite direct product of one-dimensional domains and primary lattices.  相似文献   

9.
We consider Boolean algebras constructed from pseudo-trees in various ways and make comments about related classes of Boolean algebras.  相似文献   

10.
    
In this paper we consider a boundary problem for a parameter‐elliptic, multi‐order system of differential equations defined over a bounded region in $mathbb {R}^n$ and under limited smoothness assumptions as well as under boundary conditions which include those of Dirichlet. Information is then derived concerning the asymptotic behaviour of the trace of a power of the resolvent of the Hilbert space operator, in general non‐selfadjoint, induced by the boundary problem under null boundary conditions. This information will then be used in a subsequent work to derive various results pertaining to the asymptotic behaviour of the eigenvalues of this operator.  相似文献   

11.
    
Atserias, Galesi, and Pudlák have shown that the monotone sequent calculus MLK quasipolynomially simulates proofs of monotone sequents in the full sequent calculus LK (or equivalently, in Frege systems). We generalize the simulation to the fragment MCLK of LK which can prove arbitrary sequents, but restricts cut‐formulas to be monotone. We also show that MLK as a refutation system for CNFs quasipolynomially simulates LK.  相似文献   

12.
We classify the connected commutative algebraic groups having as lattice of connected closed subgroups a projective space and determine the coordinate fields of these projective spaces. Furthermore we determine the not necessarily commutative connected algebraic groups with a distributive or boolean lattice of connected closed subgroups.
Received: 3 December 2004  相似文献   

13.
14.
15.
No Abstract. .The algebraic structure sooner or later comes to dominate, whether or not it is recognized when a subject is born. Algebra dictates the analysis. Gian-Carlo Rota [33]  相似文献   

16.
H. Gross 《Order》1987,4(3):233-256
Hermitean vector spaces E of infinite dimensions are considered. Let G be a subgroup of the orthogonal group of E acting on a set M. The Lattice Method is a technique for classifying the orbits in M under G. We discuss the method in abstract terms and we illustrate it by means of three classification results showing that it is decisive to do a considerable amount of explicit calculations with vector subspace lattices.  相似文献   

17.
18.
《Quaestiones Mathematicae》2013,36(1-2):101-127
Abstract

The notion of Cauchy point (= regular Cauchy filter) and the corresponding Cauchy spectrum, for a nearness frame (= uniform without the star-refinement condition) are investigated in various directions, including basic motivation, several functorial aspects, and the recognition of the Cauchy spectrum as the ordinary spectrum of the completion, after the unique existence of the latter is obtained as a central new result in this context.  相似文献   

19.
All normal subloops of a loopG form a modular latticeL n (G). It is shown that a finite loopG has a complemented normal subloop lattice if and only ifG is a direct product of simple subloops. In particular,L n (G) is a Boolean algebra if and only if no two isomorphic factors occurring in a decomposition ofG are abelian groups. The normal subloop lattice of a finite loop is a projective geometry if and only ifG is an elementary abelianp-group for some primep.  相似文献   

20.
    
We investigate a directed metric on the space of infinite binary sequences defined by where C(X?nY?n) is the Kolmogorov complexity of X?n given Y?n. In particular we focus on the topological aspects of the associated metric space—proving that it is complete though very far from being compact. This is a continuation of earlier work investigating other geometrical and toplogical aspects of this metric.  相似文献   

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

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