Radical theory of Scott-open filters

DOI10.1016/j.tcs.2022.12.027OpenAlexW4312193194MaRDI QIDQ2682912

Yanyan Li

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

zbMATH Keywords

nucleuscomplete latticeaxiom of choiceconstructive algebrainductive definitionHofmann-Mislove theoremcomputational contentScott-open filterfinite binary treedynamical proofIsbell's spatiality theoremsyntax from semanticsTeichmüller-Tukey lemma

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Related Items

Maximal elements with minimal logic

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