Omitting types for algebraizable extensions of first order logic (Q3647239)
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: Omitting types for algebraizable extensions of first order logic |
scientific article; zbMATH DE number 5640519
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Omitting types for algebraizable extensions of first order logic |
scientific article; zbMATH DE number 5640519 |
Statements
Omitting types for algebraizable extensions of first order logic (English)
0 references
30 November 2009
0 references
algebraic logic
0 references
finitization problem
0 references
polyadic algebras
0 references
rich semigroups
0 references
omitting types
0 references
Martin's axiom
0 references
0 references
0.8418532609939575
0 references
0.841548502445221
0 references
0.8392472863197327
0 references
0.832751989364624
0 references
0.8306068181991577
0 references
