A General Setting for Dedekind's Axiomatization of the Positive Integers (Q4914193)
From MaRDI portal
scientific article; zbMATH DE number 6155286
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A General Setting for Dedekind's Axiomatization of the Positive Integers |
scientific article; zbMATH DE number 6155286 |
Statements
A General Setting for Dedekind's Axiomatization of the Positive Integers (English)
0 references
18 April 2013
0 references
model theory of second-order languages
0 references
countably infinite Dedekind algebras
0 references
categoricity
0 references
0 references
