Book contents
- Frontmatter
- Contents
- Introduction
- Photograph
- 1 Automorphisms of solvable groups, Part I
- 2 Automorphisms of solvable groups, Part II
- 3 A survey of groups with a single defining relation
- 4 Some algorithms for computing with finite permutation groups
- 5 Five lectures on group rings
- 6 Buildings and group amalgamations
- 7 Finite presentability of S-arithmetic groups
- 8 Efficient presentations of GL(2, ℤ) and PGL(2, ℤ)
- 9 The commutator map
- 10 Polynomial functions and representations
- 11 On questions of Brauer and Feit
- 12 The Picard group and the modular group
- 13 Factor groups of the lower central series of free products of finitely generated abelian groups
- 14 Lattice ordered groups - a very biased survey
- 15 Totally orthogonal finite groups
- 16 One-relator products of groups
- 17 The Cavicchioli groups are pairwise non-isomorphic
- 18 Congruence and non-congruence subgroups of the modular group: a survey
- 19 Small cancellation theory with non-homogeneous geometrical conditions and application to certain Artin groups
- 20 The Lie algebra associated to the lower central series of a group
- 21 Algebraically closed locally finite groups
- 22 On power-commutative and commutation transitive groups
- 23 Dimension function for discrete groups
- 24 Coset graphs
- 25 Nilpotent quotient algorithms
- 26 Generators of p-groups
- 27 On the matrix groups associated to the isometries of the hyperbolic plane
- 28 A characteristic subgroup of N-stable groups
- 29 The isomorphism problem for integral group rings of finite nilpotent groups
- 30 Embedding the root group geometry of 2F4(q)
- 31 On generalized Frobenius complements
- 32 Subgroups of finite index in soluble groups: I
- 33 Subgroups of finite index in soluble groups: II
- 34 Some interconnections between group theory and logic
- 35 Groups covered by abelian subgroups
- 36 Embeddings of infinite permutation groups
- 37 Maximal subgroups of sporadic groups
34 - Some interconnections between group theory and logic
Published online by Cambridge University Press: 05 March 2012
- Frontmatter
- Contents
- Introduction
- Photograph
- 1 Automorphisms of solvable groups, Part I
- 2 Automorphisms of solvable groups, Part II
- 3 A survey of groups with a single defining relation
- 4 Some algorithms for computing with finite permutation groups
- 5 Five lectures on group rings
- 6 Buildings and group amalgamations
- 7 Finite presentability of S-arithmetic groups
- 8 Efficient presentations of GL(2, ℤ) and PGL(2, ℤ)
- 9 The commutator map
- 10 Polynomial functions and representations
- 11 On questions of Brauer and Feit
- 12 The Picard group and the modular group
- 13 Factor groups of the lower central series of free products of finitely generated abelian groups
- 14 Lattice ordered groups - a very biased survey
- 15 Totally orthogonal finite groups
- 16 One-relator products of groups
- 17 The Cavicchioli groups are pairwise non-isomorphic
- 18 Congruence and non-congruence subgroups of the modular group: a survey
- 19 Small cancellation theory with non-homogeneous geometrical conditions and application to certain Artin groups
- 20 The Lie algebra associated to the lower central series of a group
- 21 Algebraically closed locally finite groups
- 22 On power-commutative and commutation transitive groups
- 23 Dimension function for discrete groups
- 24 Coset graphs
- 25 Nilpotent quotient algorithms
- 26 Generators of p-groups
- 27 On the matrix groups associated to the isometries of the hyperbolic plane
- 28 A characteristic subgroup of N-stable groups
- 29 The isomorphism problem for integral group rings of finite nilpotent groups
- 30 Embedding the root group geometry of 2F4(q)
- 31 On generalized Frobenius complements
- 32 Subgroups of finite index in soluble groups: I
- 33 Subgroups of finite index in soluble groups: II
- 34 Some interconnections between group theory and logic
- 35 Groups covered by abelian subgroups
- 36 Embeddings of infinite permutation groups
- 37 Maximal subgroups of sporadic groups
Summary
In his classic paper [5] Mal'cev applied certain methods of mathematical logic in order to prove local theorems for various classes of groups. In [1] Cleave simplified certain ideas of Mal'cev and proved the local theorems for the same classes of groups. In this paper we describe a metamathematical method similar to that of Mal'cev and Cleave. Using this method we study properties of various classes of finite and infinite groups expressed by second order sentences which will be called strongly boolean- (universal-existential).
We say that a class of groups 3 has the B-property if G1, G2 € J and G1 < G < G2 imply G € J, (B-property is the abbreviation of Betweenness property, meaning that whenever a group G is “between” two groups which belong to a class then necessarily G is in the class. As usual H <G means that H is a subgroup of G.) Then, an immediate consequence of Theorem 1 in Section I is that classes of groups defined by strongly boolean-(universal-existential) sentences have the B-property. Such sentences are closely related to crypto-universal sentences [1]. In particular, second order sentences of the form (QP) (Vv) Ф- where QP denotes a sequence of predicate quantifiers, Vv denotes a sequence of universal individual quantifiers and 4 is quantifier free – are called arypto-universa I. Properties defined from such sentences are hereditary.
- Type
- Chapter
- Information
- Proceedings of Groups - St. Andrews 1985 , pp. 320 - 331Publisher: Cambridge University PressPrint publication year: 1987