Lamport timestamps

From formulasearchengine
Jump to navigation Jump to search

28 year-old Painting Investments Worker Truman from Regina, usually spends time with pastimes for instance interior design, property developers in new launch ec Singapore and writing. Last month just traveled to City of the Renaissance. In model theory, a branch of mathematical logic, and in algebra, the reduced product is a construction that generalizes both direct product and ultraproduct.

Let {Si | i ∈ I} be a family of structures of the same signature σ indexed by a set I, and let U be a filter on I. The domain of the reduced product is the quotient of the Cartesian product

iISi

by a certain equivalence relation ~: two elements (ai) and (bi) of the Cartesian product are equivalent if

{iI:ai=bi}U

If U only contains I as an element, the equivalence relation is trivial, and the reduced product is just the original Cartesian product. If U is an ultrafilter, the reduced product is an ultraproduct.

Operations from σ are interpreted on the reduced product by applying the operation pointwise. Relations are interpreted by

R((ai1)/,,(ain)/){iIRSi(ai1,,ain)}U.

For example, if each structure is a vector space, then the reduced product is a vector space with addition defined as (a + b)i = ai + bi and multiplication by a scalar c as (ca)ic ai.

References

  • 20 year-old Real Estate Agent Rusty from Saint-Paul, has hobbies and interests which includes monopoly, property developers in singapore and poker. Will soon undertake a contiki trip that may include going to the Lower Valley of the Omo.

    My blog: http://www.primaboinca.com/view_profile.php?userid=5889534, Chapter 6.


Template:Mathlogic-stub