Proof theory and ordered groups

DOI10.1007/978-3-662-55386-2_6MaRDI QIDQ1685913zbMATH OpenOpenAlexFDO

Authors Almudena Colacito, George Metcalfe

Publication date 20 December 2017

Full work available at URL https://arxiv.org/abs/1708.00640

Mathematics Subject Classification ID

Proof theory in general (including proof-theoretic semantics) (03F03) Ordered groups (06F15)

Abstract: Ordering theorems, characterizing when partial orders of a group extend to total orders, are used to generate hypersequent calculi for varieties of lattice-ordered groups (l-groups). These calculi are then used to provide new proofs of theorems arising in the theory of ordered groups. More precisely: an analytic calculus for abelian l-groups is generated using an ordering theorem for abelian groups; a calculus is generated for l-groups and new decidability proofs are obtained for the equational theory of this variety and extending finite subsets of free groups to right orders; and a calculus for representable l-groups is generated and a new proof is obtained that free groups are orderable.

Recommendations

• Proof theory for lattice-ordered groups
• Free ordered algebraic structures towards proof theory
• Finitely presented ordered groups
• Ordering groups constructively
• Recursion theory and ordered groups

Cited in

(7)

• Proof theory for lattice-ordered groups
• Theorems of Alternatives for Substructural Logics
• Lattice-ordered groups in deduction
• Recursion theory and ordered groups
• Ordering groups constructively
• Asymptotic cyclic expansion and bridge groups of formal proofs
• Ordering groups and validity in lattice-ordered groups

This page was built for publication: Proof theory and ordered groups

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