Displaying 1221 – 1240 of 2019

Showing per page

Ordered fields.

Francis RAYNER (1975/1976)

Seminaire de Théorie des Nombres de Bordeaux

Ordered fields and the ultrafilter theorem

R. Berr, Françoise Delon, J. Schmid (1999)

Fundamenta Mathematicae

We prove that on the basis of ZF the ultrafilter theorem and the theorem of Artin-Schreier are equivalent. The latter says that every formally real field admits a total order.

Ordered Rings and Fields

Christoph Schwarzweller (2017)

Formalized Mathematics

We introduce ordered rings and fields following Artin-Schreier’s approach using positive cones. We show that such orderings coincide with total order relations and give examples of ordered (and non ordered) rings and fields. In particular we show that polynomial rings can be ordered in (at least) two different ways [8, 5, 4, 9]. This is the continuation of the development of algebraic hierarchy in Mizar [2, 3].

Orthogonality and complementation in the lattice of subspaces of a finite vector space

Ivan Chajda, Helmut Länger (2022)

Mathematica Bohemica

We investigate the lattice 𝐋 ( 𝐕 ) of subspaces of an m -dimensional vector space 𝐕 over a finite field GF ( q ) with a prime power q = p n together with the unary operation of orthogonality. It is well-known that this lattice is modular and that the orthogonality is an antitone involution. The lattice 𝐋 ( 𝐕 ) satisfies the chain condition and we determine the number of covers of its elements, especially the number of its atoms. We characterize when orthogonality is a complementation and hence when 𝐋 ( 𝐕 ) is orthomodular. For...

Orthonormal bases for spaces of continuous and continuously differentiable functions defined on a subset of Zp.

Ann Verdoodt (1996)

Revista Matemática de la Universidad Complutense de Madrid

Let K be a non-Archimedean valued field which contains Qp, and suppose that K is complete for the valuation |·|, which extends the p-adic valuation. Vq is the closure of the set {aqn | n = 0,1,2,...} where a and q are two units of Zp, q not a root of unity. C(Vq --> K) (resp. C1(Vq --> K)) is the Banach space of continuous functions (resp. continuously differentiable functions) from Vq to K. Our aim is to find orthonormal bases for C(Vq --> K) and C1(Vq --> K).

Overview of the differential Galois integrability conditions for non-homogeneous potentials

Andrzej J. Maciejewski, Maria Przybylska (2011)

Banach Center Publications

We report our recent results concerning integrability of Hamiltonian systems governed by Hamilton’s function of the form H = 1 / 2 i = 1 n p ² i + V ( q ) , where the potential V is a finite sum of homogeneous components. In this paper we show how to find, in the differential Galois framework, computable necessary conditions for the integrability of such systems. Our main result concerns potentials of the form V = V k + V K , where V k and V K are homogeneous functions of integer degrees k and K > k, respectively. We present examples of integrable...

Currently displaying 1221 – 1240 of 2019