Verisimilitude via Vietoris (Q5286913)
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: Verisimilitude via Vietoris |
scientific article; zbMATH DE number 227526
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Verisimilitude via Vietoris |
scientific article; zbMATH DE number 227526 |
Statements
Verisimilitude via Vietoris (English)
0 references
17 November 1993
0 references
power structures
0 references
Egli-Milner ordering
0 references
Stone space
0 references
verisimilitude
0 references
truthlikeness
0 references
logic of finite observations
0 references
denotational semantics of programming languages
0 references
verisimilar ordering of theories
0 references
Vietoris topology
0 references
powerdomains
0 references
hyperspaces of domains
0 references
0.7608028054237366
0 references
0.7605536580085754
0 references
0.7543034553527832
0 references
0.7494513988494873
0 references
