A universal Krull-Lindenbaum theorem (Q273003): Difference between revisions

From MaRDI portal
Set OpenAlex properties.
ReferenceBot (talk | contribs)
Changed an Item
Property / cites work
 
Property / cites work: Q5563439 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4083730 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5789040 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3995143 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Lindenbaum’s Lemma via Open Induction / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5515373 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Constructive topology and combinatorics / rank
 
Normal rank
Property / cites work
 
Property / cites work: Space of valuations / rank
 
Normal rank
Property / cites work
 
Property / cites work: Hidden constructions in abstract algebra. Krull Dimension of distributive lattices and commutative rings / rank
 
Normal rank
Property / cites work
 
Property / cites work: A logical approach to abstract algebra / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4944848 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Valuations and Dedekind's Prague theorem / rank
 
Normal rank
Property / cites work
 
Property / cites work: Formal topologies on the set of first-order formulae / rank
 
Normal rank
Property / cites work
 
Property / cites work: Matrices, primitive satisfaction and finitely based logics / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4250063 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3996196 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Semantic completeness of first-order theories in constructive reverse mathematics / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5554961 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Über die Ideale arithmetischer Ringe / rank
 
Normal rank
Property / cites work
 
Property / cites work: Spatiality for formal topologies / rank
 
Normal rank
Property / cites work
 
Property / cites work: A Direct Proof of Wiener’s Theorem / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4210469 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3965241 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4124833 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4049183 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4148077 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5287502 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Hidden constructions in abstract algebra. I: Integral dependance. / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3112383 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3998022 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5718565 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Subrings of infinite direct sums / rank
 
Normal rank
Property / cites work
 
Property / cites work: Notes on Set Theory / rank
 
Normal rank
Property / cites work
 
Property / cites work: On preserving / rank
 
Normal rank
Property / cites work
 
Property / cites work: Remarks on the Scott-Lindenbaum theorem / rank
 
Normal rank
Property / cites work
 
Property / cites work: Strongly Noetherian rings and constructive ideal theory / rank
 
Normal rank
Property / cites work
 
Property / cites work: Proving open properties by induction / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5650663 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Nontrivial Uses of Trivial Rings / rank
 
Normal rank
Property / cites work
 
Property / cites work: The basic Zariski topology / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3481701 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Pretopologies and completeness proofs / rank
 
Normal rank
Property / cites work
 
Property / cites work: Some points in formal topology. / rank
 
Normal rank
Property / cites work
 
Property / cites work: Real and Ideal in Constructive Mathematics / rank
 
Normal rank
Property / cites work
 
Property / cites work: Über die Rolle der transfiniten Schlußweisen in einer allgemeinen Idealtheorie / rank
 
Normal rank
Property / cites work
 
Property / cites work: Formal Zariski topology: Positivity and points / rank
 
Normal rank
Property / cites work
 
Property / cites work: Induction in Algebra: A First Case Study / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4079581 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3509173 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Formal spaces and their effective presentations / rank
 
Normal rank
Property / cites work
 
Property / cites work: Domain-Theoretic Foundations of Functional Programming / rank
 
Normal rank
Property / cites work
 
Property / cites work: Theory of logical calculi. Basic theory of consequence operations / rank
 
Normal rank
Property / cites work
 
Property / cites work: A remark on method in transfinite algebra / rank
 
Normal rank

Revision as of 19:42, 11 July 2024

scientific article
Language Label Description Also known as
English
A universal Krull-Lindenbaum theorem
scientific article

    Statements

    A universal Krull-Lindenbaum theorem (English)
    0 references
    0 references
    0 references
    21 April 2016
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers