Ordinal decompositions for preordered root systems

DOI10.1016/J.APAL.2009.05.004MaRDI QIDQ1035655zbMATH OpenOpenAlexFDO

Authors James B. Hart, Constantine Tsinakis

Publication date 4 November 2009

Published in Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.apal.2009.05.004

zbMATH Keywords

denotational semanticsinformation systemsordinal decompositionordinal extensionpartially ordered setspreordered setsroot system

Mathematics Subject Classification ID

Logical aspects of lattices and related structures (03G10) Other algebras related to logic (03G25) Partial orders, general (06A06) Generalizations of ordered sets (06A75) Structure and representation theory of distributive lattices (06D05) Semantics in the theory of computing (68Q55)

Recommendations

• Ordinals and graph decompositions
• Decomposition of partial orders
• Publication:4943008
• On the order complex of a prelattice
• A Characterization of a Special Ordering in a Root System
• Decompositions of partially ordered sets
• Publication:3495389
• Decompositions and pseudo-orders of ordered semigroups
• On a class of preorderings of higher level
• A separation decomposition for orders

Cites work

• A concrete realization of the Hoare powerdomain
• Contribution à l'étude des groupes ordonnés
• Decompositions for Relatively Normal Lattices
• Finite-valued algebraic lattices
• scientific article; zbMATH DE number 3706504 (Why is no real title available?)
• scientific article; zbMATH DE number 3780545 (Why is no real title available?)
• scientific article; zbMATH DE number 41225 (Why is no real title available?)
• scientific article; zbMATH DE number 194916 (Why is no real title available?)
• scientific article; zbMATH DE number 3440003 (Why is no real title available?)
• scientific article; zbMATH DE number 783754 (Why is no real title available?)
• scientific article; zbMATH DE number 3223745 (Why is no real title available?)
• scientific article; zbMATH DE number 3407735 (Why is no real title available?)
• scientific article; zbMATH DE number 2208113 (Why is no real title available?)
• The finite basis theorem for relatively normal lattices
• THE STRUCTURE OF RESIDUATED LATTICES

Cited in

(1)

• Boolean term orders and the root system B_n

This page was built for publication: Ordinal decompositions for preordered root systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1035655)