Radical theory of Scott-open filters
From MaRDI portal
Publication:2682912
Recommendations
- Resolving finite indeterminacy. A definitive constructive universal prime ideal theorem
- scientific article; zbMATH DE number 2144735
- A universal algorithm for Krull's theorem
- Dynamical algebraic structures, pointfree topological spaces and Hilbert's program. (Structures algébriques dynamiques, espaces topologiques sans points et programme de Hilbert)
- A Direct Proof of the Hofmann-Mislove Theorem
Cites work
- A categorical account of the Hofmann–Mislove theorem
- A course in constructive algebra
- A curious nucleus
- A general extension theorem for directed-complete partial orders
- A Lattice theoretic look at some ring theoretical radicals
- A New Proof that “Krull implies Zorn”
- A Note on Zariski's Lemma
- A unified theory of minimal prime ideals
- A universal Krull-Lindenbaum theorem
- An algorithmic version of Zariski's lemma
- Aspects of general topology in constructive set theory
- Atomless Parts of Spaces.
- Axiom of Choice and Complementation
- Axioms for infinite matroids
- Beyond the horizon of computability. 16th conference on computability in Europe, CiE 2020, Fisciano, Italy, June 29 -- July 3, 2020. Proceedings
- Choice Implies Excluded Middle
- Commutative algebra: constructive methods. Finite projective modules. Translated from the French by Tania K. Roblot
- Compact spaces and distributive lattices.
- Constructive commutative algebra. Projective modules over polynomial rings and dynamical Gröbner bases
- Constructive points of powerlocales
- Continuous Lattices and Domains
- Convergence in formal topology: a unifying notion
- Dimension de Heitmann des treillis distributifs et des anneaux commutatifs
- Distributors and Wallman locales
- Dynamic evaluation of integrity and the computational content of Krull's lemma
- Dynamical method in algebra: Effective Nullstellensätze
- Eliminating disjunctions by disjunction elimination
- Eliminating disjunctions by disjunction elimination
- Formal Zariski topology: Positivity and points
- Frames and Locales
- Generalized spaces for constructive algebra
- Harvey Friedman's research on the foundations of mathematics
- Hidden constructions in abstract algebra. Krull Dimension of distributive lattices and commutative rings
- scientific article; zbMATH DE number 2184445 (Why is no real title available?)
- scientific article; zbMATH DE number 3867284 (Why is no real title available?)
- scientific article; zbMATH DE number 5695342 (Why is no real title available?)
- scientific article; zbMATH DE number 3900744 (Why is no real title available?)
- scientific article; zbMATH DE number 3929909 (Why is no real title available?)
- scientific article; zbMATH DE number 4070894 (Why is no real title available?)
- scientific article; zbMATH DE number 3787631 (Why is no real title available?)
- scientific article; zbMATH DE number 41225 (Why is no real title available?)
- scientific article; zbMATH DE number 49937 (Why is no real title available?)
- scientific article; zbMATH DE number 107550 (Why is no real title available?)
- scientific article; zbMATH DE number 192841 (Why is no real title available?)
- scientific article; zbMATH DE number 3465422 (Why is no real title available?)
- scientific article; zbMATH DE number 1201510 (Why is no real title available?)
- scientific article; zbMATH DE number 1229489 (Why is no real title available?)
- scientific article; zbMATH DE number 2117177 (Why is no real title available?)
- scientific article; zbMATH DE number 3291139 (Why is no real title available?)
- scientific article; zbMATH DE number 3342868 (Why is no real title available?)
- scientific article; zbMATH DE number 3387482 (Why is no real title available?)
- Intuitionistic set theory
- Joins in the frame of nuclei
- Krull Implies Zorn
- Lattice Aspects of Radical Ideals and Choice Principles
- Logic colloquium '77. Proceedings of the colloquium held in Wroclaw, August 1977
- Making the use of maximal ideals constructive
- More on a curious nucleus
- New aspects of subfitness in frames and spaces
- On Krull's separation lemma
- On powerdomains and modality
- On the foundations of combinatorial theory I. Theory of M�bius Functions
- Prime ideal theory for general algebras
- Radicals and socles of lattices
- Resolving finite indeterminacy. A definitive constructive universal prime ideal theorem
- Sketches for arithmetic universes
- Some new intuitionistic equivalents of Zorn's Lemma
- Some points in formal topology.
- Syntax for semantics: Krull's maximal ideal theorem
- The consistency of classical set theory relative to a set theory with intu1tionistic logic
- The constructive maximal point space and partial metrizability
- The Jacobson radical for an inconsistency predicate
- THE JACOBSON RADICAL OF A PROPOSITIONAL THEORY
- The Radical and Semi-Simplicity for Arbitrary Rings
- Zorn's lemma and complete Boolean algebras in intuitionistic type theories
- Über die Rolle der transfiniten Schlußweisen in einer allgemeinen Idealtheorie
Cited in
(10)- Maximal elements with minimal logic
- On the Weihrauch degree of the additive Ramsey theorem
- Hilbert's tenth problem for term algebras with a substitution operator
- Complemented subsets and Boolean-valued, partial functions
- Defining long words succinctly in FO and MSO
- On the first-order parts of problems in the Weihrauch degrees
- Algorithmically random series
- Ideal presentations and numberings of some classes of effective quasi-Polish spaces
- Lower bounds on () and other properties of -register machines
- Reifying dynamical algebra: maximal ideals in countable rings, constructively
This page was built for publication: Radical theory of Scott-open filters
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2682912)
