Lectures on formally real fields
From MaRDI portal
Publication:799734
zbMATH Open0548.12011MaRDI QIDQ799734FDOQ799734
Authors: Alexander Prestel
Publication date: 1984
Published in: Lecture Notes in Mathematics (Search for Journal in Brave)
Recommendations
Fields related with sums of squares (formally real fields, Pythagorean fields, etc.) (12D15) Research exposition (monographs, survey articles) pertaining to number theory (11-02) Forms over real fields (11E10) General binary quadratic forms (11E16) Research exposition (monographs, survey articles) pertaining to field theory (12-02)
Cited In (96)
- Connes' embedding conjecture and sums of Hermitian squares
- On Galois groups over Pythagorean and semi-real closed fields
- On the real spectrum of a ring and its application to semialgebraic geometry
- Normal matrices over Hermitian discrete valuation rings
- Fields with two incomparable Henselian valuation rings
- On totally positive units of real holomorphy rings
- Sums of fourth powers of real algebraic functions
- Weakly isotropic quadratic forms under field extensions
- An improved algorithm for deciding semi-definite polynomials
- Weakly o-minimal structures and real closed fields
- On points at infinity of real spectra of polynomial rings
- Real Valuations and Orderings on a Module
- THE ELEMENTARY THEORY OF LARGE FIELDS OF TOTALLY -ADIC NUMBERS
- Ordered rings and fields
- Decomposable quadratic forms and involutions
- A bibliography of quantifier elimination for real closed fields
- Totally positive extensions and weakly isotropic forms
- Signatures, sums of Hermitian squares and positive cones on algebras with involution
- Computable dimension for ordered fields
- Algorithms for computing the global infimum and minimum of a polynomial function
- A survey of some methods for real quantifier elimination, decision, and satisfiability and their applications
- On maximal subgroups of the multiplicative group of a division algebra.
- Picard-Vessiot extensions of real differential fields
- Automorphism groups of fields
- A Baer-Krull theorem for quasi-ordered groups
- Higher level reduced Witt rings of skew fields
- Equality-constrained minimization of polynomial functions
- Approximate roots of a valuation and the Pierce-Birkhoff conjecture
- Positivstellensatz for semi-algebraic sets in real closed valued fields
- Hermitian forms over ordered *-fields
- Value groups, residue fields, and bad places of rational function fields
- Global minimization of multivariate polynomials using nonstandard methods
- Elementary properties of the Boolean hull and reduced quotient functors
- Decidable theories of preordered fields
- A class of parabolic $k$-subgroups associated with symmetric $k$-varieties
- Embedding ordered fields in formal power series fields
- On connectedness of sets in the real spectra of polynomial rings
- Symmetrically complete ordered sets abelian groups and fields.
- Places, cuts and orderings of function fields
- Quadratic forms
- Computing the asymptotes for a real plane algebraic curve
- Abelian subgroups of pro-$p$ Galois groups
- Galois stratification over \(e\)-fold ordered Frobenius fields
- Minimal weakly isotropic forms
- Quadratische Räume unendlicher Dimension und partielle Isomorphismen
- Central extensions of ordered skew fields
- Ein nichtkommutativer konvexer Bewertungsring ohne konfinalen Schiefkörper. (A noncommutative convex valuation ring without confinal skew field)
- On the classification of \(k\)-involutions
- The Absolute Galois Group of the Field of Totally S-Adic Numbers
- Baer orderings with noninvariant valuation ring
- A nullstellensatz and a positivstellensatz for ordered differential fields
- Strongly Anisotropic Involutions on Central Simple Algebras
- Real fields, valuations, and quadratic forms
- On generalized Cartan subspaces
- The field of reals with a predicate for the powers of two
- Some model theory for almost real closed fields
- On the q-dimension of a space of orderings and q-fans
- The joint embedding property in normal open induction
- Witt equivalence of central simple algebras with involution
- Decomposability for division algebras of exponent two and associated forms
- ON SEMIREAL CLOSED RINGS
- Topological differential fields
- Elementary geometric local-global principles for fields
- Fields with henselian valuation rings
- Approximation theorems for spaces of localities
- Extensions of orderings
- Supreme torsion forms
- Orthogonality spaces of finite rank and the complex Hilbert spaces
- Selected methods for the classification of cuts, and their applications
- A problem about the weak Hilbert property
- Determining the limits of bivariate rational functions by Sturm's theorem
- Positive cones on algebras with involution
- Stellensätze for matrices over a commutative ring
- The valuation difference rank of a quasi-ordered difference field
- \(\Theta\)-Hilbertianity and strong \(\Theta\)-Hilbertianity
- On the Pythagoras number of function fields of curves over number fields
- Real valuations and the limits of multivariate rational functions
- Semiorderings and stability index under field extensions
- Determination of the limits for multivariate rational functions
- Gradual transitivity in orthogonality spaces of finite rank
- Determination of the tangents for a real plane algebraic curve
- Automorphisms of pythagorean fields and their witt rings
- Transitivity and homogeneity of orthosets and inner-product spaces over subfields of \(\mathbb{R}\)
- How can a complex square root be computed in an optimal way?
- On *-semiordering.
- On real closed rings of higher level
- Totally positive field extensions and the pythagorean index
- Formally real fields
- Dependence on parameters in analogues of hilberts seventeenth problem
- Critical varieties and motivic equivalence for algebras with involution
- An algebraic approach to the fundamental theorem of algebra
- Free product decomposltions of galois groups over pythagorean fields
- Categories of orthogonality spaces
- Real Liouvillian extensions of partial differential fields
- Henselian valuations and orderings of a commutative ring
- Nonstandard decision methods for the solvability of real polynomial equations
This page was built for publication: Lectures on formally real fields
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q799734)