Radical theory of Scott-open filters
From MaRDI portal
Publication:2682912
DOI10.1016/j.tcs.2022.12.027OpenAlexW4312193194MaRDI QIDQ2682912
Publication date: 1 February 2023
Published in: Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.tcs.2022.12.027
nucleuscomplete latticeaxiom of choiceconstructive algebrainductive definitionHofmann-Mislove theoremcomputational contentScott-open filterfinite binary treedynamical proofIsbell's spatiality theoremsyntax from semanticsTeichmüller-Tukey lemma
Related Items
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- A universal Krull-Lindenbaum theorem
- New aspects of subfitness in frames and spaces
- Axioms for infinite matroids
- A curious nucleus
- On powerdomains and modality
- Harvey Friedman's research on the foundations of mathematics
- Logic colloquium '77. Proceedings of the colloquium held in Wroclaw, August 1977
- A course in constructive algebra
- On Krull's separation lemma
- Joins in the frame of nuclei
- Compact spaces and distributive lattices.
- Some new intuitionistic equivalents of Zorn's Lemma
- Some points in formal topology.
- Eliminating disjunctions by disjunction elimination
- Prime ideal theory for general algebras
- Dynamic evaluation of integrity and the computational content of Krull's lemma
- Beyond the horizon of computability. 16th conference on computability in Europe, CiE 2020, Fisciano, Italy, June 29 -- July 3, 2020. Proceedings
- An algorithmic version of Zariski's lemma
- More on a curious nucleus
- Commutative algebra: constructive methods. Finite projective modules. Translated from the French by Tania K. Roblot
- Constructive commutative algebra. Projective modules over polynomial rings and dynamical Gröbner bases
- Making the use of maximal ideals constructive
- Radicals and socles of lattices
- Aspects of general topology in constructive set theory
- Formal Zariski topology: Positivity and points
- The constructive maximal point space and partial metrizability
- Frames and Locales
- A categorical account of the Hofmann–Mislove theorem
- Dimension de Heitmann des treillis distributifs et des anneaux commutatifs
- Lattice Aspects of Radical Ideals and Choice Principles
- A Lattice theoretic look at some ring theoretical radicals
- Axiom of Choice and Complementation
- A Note on Zariski's Lemma
- Choice Implies Excluded Middle
- Krull Implies Zorn
- A New Proof that “Krull implies Zorn”
- Constructive points of powerlocales
- Zorn's lemma and complete Boolean algebras in intuitionistic type theories
- The consistency of classical set theory relative to a set theory with intu1tionistic logic
- A General Extension Theorem for Directed-Complete Partial Orders
- Hidden constructions in abstract algebra. Krull Dimension of distributive lattices and commutative rings
- Continuous Lattices and Domains
- Convergence in formal topology: a unifying notion
- Syntax for Semantics: Krull’s Maximal Ideal Theorem
- The Jacobson radical for an inconsistency predicate
- Generalized Spaces for Constructive Algebra
- THE JACOBSON RADICAL OF A PROPOSITIONAL THEORY
- Resolving finite indeterminacy
- Sketches for arithmetic universes
- ELIMINATING DISJUNCTIONS BY DISJUNCTION ELIMINATION
- Atomless Parts of Spaces.
- A unified theory of minimal prime ideals
- [https://portal.mardi4nfdi.de/wiki/Publication:5731810 On the foundations of combinatorial theory I. Theory of M�bius Functions]
- Über die Rolle der transfiniten Schlußweisen in einer allgemeinen Idealtheorie
- The Radical and Semi-Simplicity for Arbitrary Rings
- Dynamical method in algebra: Effective Nullstellensätze
