Formal Zariski topology: Positivity and points
From MaRDI portal
Publication:2575775
Recommendations
Cites work
- scientific article; zbMATH DE number 3829911 (Why is no real title available?)
- scientific article; zbMATH DE number 3843889 (Why is no real title available?)
- scientific article; zbMATH DE number 3853067 (Why is no real title available?)
- scientific article; zbMATH DE number 3853324 (Why is no real title available?)
- scientific article; zbMATH DE number 4152376 (Why is no real title available?)
- scientific article; zbMATH DE number 3910392 (Why is no real title available?)
- scientific article; zbMATH DE number 4002093 (Why is no real title available?)
- scientific article; zbMATH DE number 3737780 (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 50149 (Why is no real title available?)
- scientific article; zbMATH DE number 3550698 (Why is no real title available?)
- scientific article; zbMATH DE number 3554470 (Why is no real title available?)
- scientific article; zbMATH DE number 1301730 (Why is no real title available?)
- scientific article; zbMATH DE number 1302065 (Why is no real title available?)
- scientific article; zbMATH DE number 2003151 (Why is no real title available?)
- scientific article; zbMATH DE number 1531375 (Why is no real title available?)
- scientific article; zbMATH DE number 194764 (Why is no real title available?)
- scientific article; zbMATH DE number 2084947 (Why is no real title available?)
- scientific article; zbMATH DE number 2085163 (Why is no real title available?)
- scientific article; zbMATH DE number 937390 (Why is no real title available?)
- scientific article; zbMATH DE number 1420793 (Why is no real title available?)
- scientific article; zbMATH DE number 1420795 (Why is no real title available?)
- scientific article; zbMATH DE number 1420837 (Why is no real title available?)
- scientific article; zbMATH DE number 3430850 (Why is no real title available?)
- A constructive proof of the Heine-Borel covering theorem for formal reals
- A weak countable choice principle
- Axiom of Choice and Complementation
- Can You Add Power‐Sets to Martin‐Lof's Intuitionistic Set Theory?
- Choice Implies Excluded Middle
- Constructive domain theory as a branch of intuitionistic pointfree topology
- Constructive mathematics: a foundation for computable analysis
- Constructivism in mathematics. An introduction. Volume I
- Continuous domains as formal spaces
- Formal spaces and their effective presentations
- Formal topologies on the set of first-order formulae
- Hidden constructions in abstract algebra. Krull Dimension of distributive lattices and commutative rings
- Inductively generated formal topologies.
- PRIME AND MAXIMAL IDEALS IN CONSTRUCTIVE RING THEORY
- Pretopologies and a uniform presentation of sup-lattices, quantales and frames
- Prime Ideal Structure in Commutative Rings
- Reticulated rings
- Rings, fields, and spectra
- Sheaves in geometry and logic: a first introduction to topos theory
- Some points in formal topology.
- The Power of the Ultrafilter Theorem
- The Zariski spectrum as a formal geometry
- The problem of the formalization of constructive topology
- Zorn's lemma and complete Boolean algebras in intuitionistic type theories
Cited in
(13)- A universal Krull-Lindenbaum theorem
- scientific article; zbMATH DE number 202572 (Why is no real title available?)
- Finitary formal topologies and Stone's representation theorem
- A universal algorithm for Krull's theorem
- A constructive notion of codimension
- Spectral schemes as ringed lattices
- On the collection of points of a formal space
- The basic Zariski topology
- Embedding locales and formal topologies into positive topologies
- Convergence in formal topology: a unifying notion
- Radical theory of Scott-open filters
- A constructive investigation of satisfiability
- The Zariski spectrum as a formal geometry
This page was built for publication: Formal Zariski topology: Positivity and points
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2575775)