Journal of Symbolic Logic 55 (3):948-986 (1990)

Given a finite lexicon L of relational symbols and equality, one may view the collection of all L-structures on the set of natural numbers ω as a space in several different ways. We consider it as: (i) the space of outcomes of certain infinite two-person games; (ii) a compact metric space; and (iii) a probability measure space. For each of these viewpoints, we can give a notion of relative ubiquity, or largeness, for invariant sets of structures on ω. For example, in every sense of relative ubiquity considered here, the set of dense linear orderings on ω is ubiquitous in the set of linear orderings on ω
Keywords Spaces of relational structures   ubiquity   games   Baire category   probability   complete theories
Categories (categorize this paper)
DOI 10.2307/2274467
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 65,657
Through your library

References found in this work BETA

Completing Theories by Forcing.J. Barwise - 1970 - Annals of Mathematical Logic 2 (2):119.
Almost Sure Theories.James F. Lynch - 1980 - Annals of Mathematical Logic 18 (2):91.

Add more references

Citations of this work BETA

Add more citations

Similar books and articles


Added to PP index

Total views
249 ( #40,973 of 2,462,294 )

Recent downloads (6 months)
1 ( #449,321 of 2,462,294 )

How can I increase my downloads?


My notes