A DEDEKIND-STYLE AXIOMATIZATION AND THE CORRESPONDING UNIVERSAL PROPERTY OF AN ORDINAL NUMBER SYSTEM (Q5052006): Difference between revisions

From MaRDI portal
Set OpenAlex properties.
ReferenceBot (talk | contribs)
Changed an Item
 
Property / cites work
 
Property / cites work: Des catégories abéliennes / rank
 
Normal rank
Property / cites work
 
Property / cites work: Set Theory / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4853985 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Set theory. An introduction to independence proofs / rank
 
Normal rank
Property / cites work
 
Property / cites work: AN ELEMENTARY THEORY OF THE CATEGORY OF SETS / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4215784 / rank
 
Normal rank
Property / cites work
 
Property / cites work: The axiomatization of arithmetic / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5563362 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Collected works. Volume I: Set theory, miscellanea. Edited by Heinz-Dieter Ebbinghaus and Akihiro Kanamori / rank
 
Normal rank

Latest revision as of 21:17, 30 July 2024

scientific article; zbMATH DE number 7620695
Language Label Description Also known as
English
A DEDEKIND-STYLE AXIOMATIZATION AND THE CORRESPONDING UNIVERSAL PROPERTY OF AN ORDINAL NUMBER SYSTEM
scientific article; zbMATH DE number 7620695

    Statements

    A DEDEKIND-STYLE AXIOMATIZATION AND THE CORRESPONDING UNIVERSAL PROPERTY OF AN ORDINAL NUMBER SYSTEM (English)
    0 references
    0 references
    0 references
    18 November 2022
    0 references
    class
    0 references
    counting system
    0 references
    Dedekind-Peano axioms
    0 references
    Grothendieck universe
    0 references
    initial object
    0 references
    limit function
    0 references
    ordinal number
    0 references
    ordinal number system
    0 references
    universal property
    0 references
    specialization preorder
    0 references
    well-ordered set
    0 references
    successor function
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references