Electronic Resource
Springer
Order
7 (1990), S. 341-348
ISSN:
1572-9273
Keywords:
05C80
;
03C10
;
Partial order
Source:
Springer Online Journal Archives 1860-2000
Topics:
Mathematics
Notes:
Abstract There are sentences in the first order theory of partial orders for whom the limit probability of the sentence holding for the random partial order of dimension two does not exist. Furthermore there is no decision procedure that distinguishes those sentences which hold almost surely from those which hold almost never.
Type of Medium:
Electronic Resource
URL:
http://dx.doi.org/10.1007/BF00383198
Library |
Location |
Call Number |
Volume/Issue/Year |
Availability |