L'Induction Ouverte Dans Les Anneaux Discrets Ordonnes et Normaux N'est pas Finiment Axiomatisable (Q4894533)
From MaRDI portal
scientific article; zbMATH DE number 932090
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | L'Induction Ouverte Dans Les Anneaux Discrets Ordonnes et Normaux N'est pas Finiment Axiomatisable |
scientific article; zbMATH DE number 932090 |
Statements
L'Induction Ouverte Dans Les Anneaux Discrets Ordonnes et Normaux N'est pas Finiment Axiomatisable (English)
0 references
25 May 1997
0 references
saturation
0 references
finite axiomatizability
0 references
normal open induction
0 references
discrete ordered rings
0 references
