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
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