Algebraische und logistische Untersuchungen über freie Verbände
From MaRDI portal
Publication:5810541
DOI10.2307/2266681zbMath0045.29502OpenAlexW2017259236MaRDI QIDQ5810541
Publication date: 1951
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2266681
Related Items
Loop-checking and the uniform word problem for join-semilattices with an inflationary endomorphism ⋮ Beweistheoretische Untersuchung der verzweigten Analysis ⋮ Die Erweiterung halbgeordneter Gruppen zu Verbandsgruppen ⋮ THE JACOBSON RADICAL OF A PROPOSITIONAL THEORY ⋮ Eliminating disjunctions by disjunction elimination ⋮ Ein System des Verknüpfenden Schliessens ⋮ Lorenzen's Proof of Consistency for Elementary Number Theory ⋮ Valuative Lattices and Spectra ⋮ ELIMINATING DISJUNCTIONS BY DISJUNCTION ELIMINATION ⋮ Valuative dimension, constructive points of view ⋮ Spectral Spaces Versus Distributive Lattices: A Dictionary ⋮ Proof-theoretical analysis: Weak systems of functions and classes ⋮ Point-Free Spectra of Linear Spreads ⋮ Embedding theorems for LTL and its variants ⋮ Kripke completeness of infinitary predicate multimodal logics ⋮ Ribenboim's order extension theorem from a constructive point of view ⋮ Embedding Linear-Time Temporal Logic into Infinitary Logic: Application to Cut-Elimination for Multi-agent Infinitary Epistemic Linear-Time Temporal Logic ⋮ Cut elimination for entailment relations ⋮ The Hahn-Banach theorem by disjunction elimination ⋮ Ordering groups constructively ⋮ Lattice-ordered groups generated by an ordered group and regular systems of ideals ⋮ Cut elimination and word problems for varieties of lattices ⋮ “Sehr geehrter Herr Professor!” Proof Theory in 1949 in a Letter from Schütte to Bernays ⋮ Lorenzen and Constructive Mathematics ⋮ Lorenzen Between Gentzen and Schütte ⋮ Syntax for Semantics: Krull’s Maximal Ideal Theorem ⋮ Regular Entailment Relations ⋮ Lorenzen’s Reshaping of Krull’s Fundamentalsatz for Integral Domains (1938–1953)
