Free Suslin algebras
Functional representation of preiterative/combinatory formalism
Functorial uniform reducibility
Galois coverings and the problem of axiomatization of the representation type of algebras.
Ganzgeschlossene und prädikatgeschlossene Logiken I.
Ganzgeschlossene und prädikatgeschlossene Logiken II.
Generalization of the concept of variety and quasivariety to partial algebras through category theory [Book]
Generalized Archimedean fields and logics with Malitz quantifiers
Generalized Ehrenfeucht games
Generalized quantifiers and well orderings.
Generalized quantifiers in models of set theory
Generalized ultrapowers.
Generalizing Vaught sentences from ω to strong cofinality ω
Generic sets in definably compact groups
A subset X of a group G is called left genericif finitely many left translates of X cover G. Our main result is that if G is a definably compact group in an o-minimal structure and a definable X ⊆ G is not right generic then its complement is left generic. Among our additional results are (i) a new condition equivalent to definable compactness, (ii) the existence of a finitely additive invariant measure on definable sets in a definably compact group G in the case where G = *H...
Geometrical model theory.
Geordnete Läuchli Kontinuen
Gödel's diagonalization technique and related properties of theories
Graphs and models with finite chains.
Groupes nilpotents existentiellement clos de classe fixée
Groups of automatic automorphisms of some automatic structures.