论文信息 - Notions of Relative Ubiquity for Invariant Sets of Relational Structures

Notions of Relative Ubiquity for Invariant Sets of Relational Structures

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 ω

Paul Bankston | Wim Ruitenburg

[1] Morton Davis,et al. 7. Infinite Games of Perfect Information , 1964 .

[2] Peter J. Cameron,et al. Cyclic automorphisms of a countable graph and random sum-free sets , 1985, Graphs Comb..

[3] F. Takens. Measure and category , 1988 .

[4] W. Browder,et al. Annals of Mathematics , 1889 .

[5] Arnold W. Miller. On the Borel classification of the isomorphism class of a countable model , 1983, Notre Dame J. Formal Log..

[6] John C. Oxtoby. 7. THE BANACH-MAZUR GAME AND BANACH CATEGORY THEOREM , 1958 .

[7] J. Lynch. Almost sure theories , 1980 .

[8] H. Keisler. Fundamentals of Model Theory , 1977 .

[9] Ian M. Hodkinson,et al. Relational Structures Determined by Their Finite Induced Substructures , 1988, J. Symb. Log..

[10] J. C. Oxtoby. Measure and Category , 1971 .

[11] Fred Galvin,et al. Stationary strategies in topological games , 1986 .

[12] Wilfrid Hodges,et al. Building Models by Games , 1985 .

[13] H. D. Macpherson. Graphs determined by their finite induced subgraphs , 1986, J. Comb. Theory, Ser. B.

[14] R. Vaught. Invariant sets in topology and logic , 1974 .

[15] Ronald Fagin,et al. Probabilities on finite models , 1976, Journal of Symbolic Logic.

[16] Abraham Robinson,et al. Completing theories by forcing , 1970 .

[17] H. Gaifman. Concerning measures in first order calculi , 1964 .

[18] Ratislav Telegársky. Topological games: On the 50th anniversary of the Banach Mazur game , 1987 .