A model of ZF + there exists an inaccessible, in which the dedekind cardinals constitute a natural non-standard model of arithmetic (Q3674644)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A model of ZF + there exists an inaccessible, in which the dedekind cardinals constitute a natural non-standard model of arithmetic |
scientific article |
Statements
A model of ZF + there exists an inaccessible, in which the dedekind cardinals constitute a natural non-standard model of arithmetic (English)
0 references
1981
0 references
Dedekind finiteness
0 references
Dedekind finite cardinal
0 references
Dedekind finite set
0 references
