From bd01da032991f9671557ef64e23ca684fa6c995a Mon Sep 17 00:00:00 2001 From: Franciszek Malinka Date: Sat, 9 Jul 2022 13:44:47 +0200 Subject: Introduction corrected --- uwagi_wstep.txt | 16 ++++++++++++++++ 1 file changed, 16 insertions(+) create mode 100644 uwagi_wstep.txt (limited to 'uwagi_wstep.txt') diff --git a/uwagi_wstep.txt b/uwagi_wstep.txt new file mode 100644 index 0000000..89ad57e --- /dev/null +++ b/uwagi_wstep.txt @@ -0,0 +1,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})." -- cgit v1.2.3