Infinite lexicographic products |
| |
Institution: | 1. Department of Mathematics, Ben Gurion University of the Negev, P.O.B. 653, Be''er Sheva 8410501, Israel;2. Instytut Matematyczny, Uniwersytet Wroc?awski, pl. Grunwaldzki 2/4, Wroc?aw 50-384, Poland |
| |
Abstract: | We generalize the lexicographic product of first-order structures by presenting a framework for constructions which, in a sense, mimic iterating the lexicographic product infinitely and not necessarily countably many times. We then define dense substructures in infinite products and show that any countable product of countable transitive homogeneous structures has a unique countable dense substructure, up to isomorphism. Furthermore, this dense substructure is transitive, homogeneous and elementarily embeds into the product. This result is then utilized to construct a rigid elementarily indivisible structure. |
| |
Keywords: | Lexicographic product Homogeneous structures Quantifier elimination Infinitary logic Indivisibility Elementary indivisibility |
本文献已被 ScienceDirect 等数据库收录! |
|