Pages that link to "Item:Q2326029"
From MaRDI portal
The following pages link to Lattice-ordered groups generated by an ordered group and regular systems of ideals (Q2326029):
Displaying 10 items.
- The Hahn-Banach theorem by disjunction elimination (Q2074035) (← links)
- Ribenboim's order extension theorem from a constructive point of view (Q2283062) (← links)
- Cut elimination for entailment relations (Q2312091) (← links)
- A universal algorithm for Krull's theorem (Q2672666) (← links)
- Point-Free Spectra of Linear Spreads (Q3305641) (← links)
- Lorenzen and Constructive Mathematics (Q5024724) (← links)
- Syntax for Semantics: Krull’s Maximal Ideal Theorem (Q5024726) (← links)
- Regular Entailment Relations (Q5024727) (← links)
- Lorenzen’s Reshaping of Krull’s Fundamentalsatz for Integral Domains (1938–1953) (Q5024729) (← links)
- THE JACOBSON RADICAL OF A PROPOSITIONAL THEORY (Q5085858) (← links)
