First order theories for partial models (Q813079)
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: First order theories for partial models |
scientific article; zbMATH DE number 5002526
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | First order theories for partial models |
scientific article; zbMATH DE number 5002526 |
Statements
First order theories for partial models (English)
0 references
30 January 2006
0 references
partial algebra
0 references
partial model
0 references
extension
0 references
possible sets of sentences
0 references
infallible sets of sentences
0 references
standard models
0 references
Scott domain
0 references
default logic
0 references
0.8592177
0 references
0 references
0 references
0.8522834
0 references
0.8519898
0 references
0.84873694
0 references
