1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
|
- [x] W pierwszym akapicie liczba gdzieniegdzie jest niepoprawnie (classify -> classifies, abstract -> abstracts, study -> studies).
- [x] Na końcu pierwszego zdania, po properties, dodałbym może nawias "(particularly those expressible in first order logic)".
- [x] Ten Fraisse pojawia się trochę ni stąd, ni zowąd. Miałoby to więcej sensu gdybyś to napisał w innej kolejności: "This work study limits of Fraïssé classes with additional combinato-
rial and categorical properties."
Potem możesz napisać o tym co to są te klasy Fraissego (np. "The notion of a Fraisse class and its limit is due to the French logician Roland Fraisse (who also introduced the back-and-forth method upon which the Ehrenfeucht-Fraisse games are based), and is frequently used in model theory, both as a source of examples and to analyse particular ``generic'' structures." (więcej o grach E-F myślę że nie ma co pisać, bo one się w pracy nie pojawiają).
- [x] Kolejne zdanie w którym już mówisz o konkretnych wynikach dałbym wtedy w nowym akapicie.
- [x] Hrushovski się pisze z "i" na końcu.
- [x] Fragment o grafie losowym daj trochę wcześniej, zanim powiesz o Theorem 4.4.
- [x] Może zamiast "The prototype structure of this paper" lepiej napisać "The prototypical example for this paper". Po tym jak podajesz nazwę, dodaj od razu łącze do definicji 3.12.
- [x] Mówiąc o grafie losowym możesz od razu powiedzieć o generycznych automorfizmach, np. "Perhaps most importantly, the random graph has a so-called generic automorphism (see {tu łącze do definicji, którą też powinieneś dodać! chyba to napisałem w poprzednich uwagach; nawiasem mówiąc, przy tamtej definicji napisz jeszcze raz, że pochodzi ona od Trussa}), which was first proved by Truss in [https://doi.org/10.1112/plms/s3-65.1.121], where he also introduced the term.
- [x] Zdanie "this was known before" napisałbym raczej "The fact that such an automorphism exists in this case follows from the classical results of Ivanov [ ] and Kechris-Rosendal [ ]". (Prace: https://doi.org/10.2307/2586500, https://doi.org/10.1112/plms/pdl007; nie wiem czy można powiedzieć, że to było wcześniej znane, chyba nikt tego raczej w tej formie nie formułował.)
- [x] Nie extending, tylko expanding by an automorphism (extension to znaczy że powiększasz strukture, expansion to znaczy że dodajesz więcej struktury do tego co jest). I może zamiast "an automorphism" napisz "a (total) automorphism" żeby było jasne jaka jest różnica (u Kechrisa-Rosendala są częściowe automorfizmy).
- [x] Zdanie "We achieve this by using the Banach-Mazur games, a well known
objects of general topology which prove useful in study of comeager
sets." przeformułowałbym trochę, np.: "We achieve this by using the Banach-Mazur games, a well-known method in the descriptive set theory, which proves useful in the study of comeager sets."
- [x] Może na końcu dodaj jeszcze jakieś zdanie o zastosowaniach, np. "Finally, we show how this construction of the generic automorphism can be used to deduce some properites of generic automorphisms (see {tu Proposition 4.5 i może coś jeszcze co tam wpiszesz})."
|
