Słowa kluczowe: homomorphism-homogeneous, point-line geometry, first-order structure, Forcing, Borel sets, Cantor space, perfect set of overlapping translations, non-disjointness rank, Wadge reducibility, relatively continuous relation, divisibility, nonstandard integer, Stone-Cech compactification, ultrafilter, lattices, sequences of operations, commutators, ordered field, 0-definably complete, real closed field, Continuum Hypothesis, incidence problems, complexity, Dialectica Categories.