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.
| Original language | English (US) |
|---|---|
| Pages (from-to) | 341-348 |
| Number of pages | 8 |
| Journal | Order |
| Volume | 7 |
| Issue number | 4 |
| DOIs | |
| State | Published - Dec 1990 |
Keywords
- AMS subject classifications (1980): 05C80, 03C10
- Partial order
ASJC Scopus subject areas
- Algebra and Number Theory
- Geometry and Topology
- Computational Theory and Mathematics