Recommendations
Cites work
- scientific article; zbMATH DE number 4152376 (Why is no real title available?)
- scientific article; zbMATH DE number 5295821 (Why is no real title available?)
- scientific article; zbMATH DE number 3787631 (Why is no real title available?)
- scientific article; zbMATH DE number 44514 (Why is no real title available?)
- scientific article; zbMATH DE number 45839 (Why is no real title available?)
- scientific article; zbMATH DE number 49219 (Why is no real title available?)
- scientific article; zbMATH DE number 3463763 (Why is no real title available?)
- scientific article; zbMATH DE number 3497860 (Why is no real title available?)
- scientific article; zbMATH DE number 3501559 (Why is no real title available?)
- scientific article; zbMATH DE number 3550698 (Why is no real title available?)
- scientific article; zbMATH DE number 3575709 (Why is no real title available?)
- scientific article; zbMATH DE number 1201510 (Why is no real title available?)
- scientific article; zbMATH DE number 1303452 (Why is no real title available?)
- scientific article; zbMATH DE number 1420784 (Why is no real title available?)
- scientific article; zbMATH DE number 233957 (Why is no real title available?)
- scientific article; zbMATH DE number 3227055 (Why is no real title available?)
- scientific article; zbMATH DE number 3269866 (Why is no real title available?)
- scientific article; zbMATH DE number 3279238 (Why is no real title available?)
- scientific article; zbMATH DE number 3378883 (Why is no real title available?)
- scientific article; zbMATH DE number 2247253 (Why is no real title available?)
- scientific article; zbMATH DE number 3050845 (Why is no real title available?)
- A direct proof of Wiener's theorem
- A logical approach to abstract algebra
- A remark on method in transfinite algebra
- Commutative algebra. Constructive methods. Finite type projective modules. Course and exercises
- Constructive topology and combinatorics
- Domain-Theoretic Foundations of Functional Programming
- Formal Zariski topology: Positivity and points
- Formal spaces and their effective presentations
- Formal topologies on the set of first-order formulae
- Hidden constructions in abstract algebra. I: Integral dependance.
- Hidden constructions in abstract algebra. Krull Dimension of distributive lattices and commutative rings
- Induction in algebra: a first case study
- Lindenbaum's lemma via open induction
- Matrices, primitive satisfaction and finitely based logics
- Nontrivial Uses of Trivial Rings
- Notes on Set Theory
- On preserving
- Pretopologies and completeness proofs
- Proving open properties by induction
- Real and ideal in constructive mathematics
- Remarks on the Scott-Lindenbaum theorem
- Semantic completeness of first-order theories in constructive reverse mathematics
- Some points in formal topology.
- Space of valuations
- Spatiality for formal topologies
- Strongly Noetherian rings and constructive ideal theory
- Subrings of infinite direct sums
- The basic Zariski topology
- Theory of logical calculi. Basic theory of consequence operations
- Valuations and Dedekind's Prague theorem
- Über die Ideale arithmetischer Ringe
- Über die Rolle der transfiniten Schlußweisen in einer allgemeinen Idealtheorie
Cited in
(19)- Syntax for semantics: Krull's maximal ideal theorem
- Maximal ideals in countable rings, constructively
- The computational significance of Hausdorff's maximal chain principle
- Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 5--11, 2017
- On the constructive and computational content of abstract mathematics
- Universal properties of Łukasiewicz consequence
- A universal algorithm for Krull's theorem
- Lindenbaum's lemma via open induction
- The Jacobson radical for an inconsistency predicate
- THE JACOBSON RADICAL OF A PROPOSITIONAL THEORY
- Radical theory of Scott-open filters
- A note on connected reduced rings
- The Hahn-Banach theorem by disjunction elimination
- Cut elimination for entailment relations
- Eliminating disjunctions by disjunction elimination
- Eliminating disjunctions by disjunction elimination
- Dynamic evaluation of integrity and the computational content of Krull's lemma
- Resolving finite indeterminacy. A definitive constructive universal prime ideal theorem
- Lorenzen's reshaping of Krull's Fundamentalsatz for integral domains (1938--1953)
This page was built for publication: A universal Krull-Lindenbaum theorem
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q273003)
