共查询到20条相似文献,搜索用时 15 毫秒
1.
Isaac Goldbring 《Mathematical Logic Quarterly》2012,58(3):208-216
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.
R. Padmanabhan 《Algebra Universalis》1981,13(1):397-400
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.
Elias David 《Algebra Universalis》1993,30(2):221-233
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.
Emil Jeřábek 《Mathematical Logic Quarterly》2012,58(3):244-248
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.
Keomkyo Seo 《Mathematische Nachrichten》2012,285(10):1264-1273
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.
M. Faierman 《Mathematische Nachrichten》2012,285(13):1643-1670
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.
Emil Jeřábek 《Mathematical Logic Quarterly》2012,58(3):177-187
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.
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. 相似文献
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.
Huberta Lausch 《Geometriae Dedicata》1995,56(2):121-127
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.
Stephen Binns 《Mathematical Logic Quarterly》2013,59(3):206-218
We investigate a directed metric on the space of infinite binary sequences defined by where C(X?n‖Y?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. 相似文献