Elementary properties of the Boolean hull and reduced quotient functors

DOI10.2178/jsl/1058448449zbMath1059.03027OpenAlexW2024937619MaRDI QIDQ4650265

Francisco Miraglia, Max A. Dickmann

Publication date: 9 February 2005

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://projecteuclid.org/euclid.jsl/1058448449

zbMATH Keywords

first-order theoryformally real fieldelementary equivalenceelementary embeddingBoolean hullreduced quotientreduced special groupsisotropy-reflection principle

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Fields related with sums of squares (formally real fields, Pythagorean fields, etc.) (12D15)

Related Items (6)

Special groups and quadratic forms over rings with non-zero-divisor coefficients ⋮ Faithfully quadratic rings ⋮ The profinite hull of special groups and local-global principles ⋮ Bounds for the representation of quadratic forms. ⋮ Elementary properties of the Boolean hull and reduced quotient functors ⋮ Lattice-ordered reduced special groups

Cites Work

• Lectures on formally real fields
• Spaces of orderings and abstract real spectra
• The first order properties of products of algebraic systems
• The Boolean Space of Orderings of a Field
• Elementary properties of the Boolean hull and reduced quotient functors
• Some model-theoretic results in the algebraic theory of quadratic forms
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Elementary properties of the Boolean hull and reduced quotient functors