@book{hodges_1993, place={Cambridge}, series={Encyclopedia of Mathematics and its Applications}, title={Model Theory}, DOI={10.1017/CBO9780511551574}, publisher={Cambridge University Press}, author={Hodges, Wilfrid}, year={1993}, collection={Encyclopedia of Mathematics and its Applications} }, @book{maclane_1978, title={Categories for the Working Mathematician}, DOI={10.1007/978-1-4757-4721-8}, publisher={Springer New York, NY}, author={Saunders Mac Lane}, year={1978}, }, @book{descriptive_set_theory, title={Classical Descriptive Set Theory}, DOI={10.1007/978-1-4612-4190-4}, publisher={Springer New York, NY}, author={Alexander S. Kechris}, year={1995}, }, @article{truss_gen_aut, author = {Truss, J. K.}, title = {Generic Automorphisms of Homogeneous Structures}, journal = {Proceedings of the London Mathematical Society}, volume = {s3-65}, number = {1}, pages = {121-141}, doi = {https://doi.org/10.1112/plms/s3-65.1.121}, year = {1992} }, @article{ivanov_1999, title={Generic expansions of $\omega$-categorical structures and semantics of generalized quantifiers}, volume={64}, DOI={10.2307/2586500}, number={2}, journal={Journal of Symbolic Logic}, publisher={Cambridge University Press}, author={Ivanov, A. A.}, year={1999}, }, @article{https://doi.org/10.1112/plms/pdl007, author = {Kechris, Alexander S. and Rosendal, Christian}, title = {Turbulence, amalgamation, and generic automorphisms of homogeneous structures}, journal = {Proceedings of the London Mathematical Society}, volume = {94}, number = {2}, pages = {302-350}, doi = {https://doi.org/10.1112/plms/pdl007}, year = {2007} },