L'Induction Ouverte Dans Les Anneaux Discrets Ordonnes et Normaux N'est pas Finiment Axiomatisable (Q4894533)
From MaRDI portal
| This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: L'Induction Ouverte Dans Les Anneaux Discrets Ordonnes et Normaux N'est pas Finiment Axiomatisable |
scientific article; zbMATH DE number 932090
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| 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
0.7831107378005981
0 references
0.7658366560935974
0 references
0.7560142278671265
0 references
0.7521819472312927
0 references