Examples of theories of presheaf type

Author(s):  
Olivia Caramello

This chapter discusses several classical as well as new examples of theories of presheaf type from the perspective of the theory developed in the previous chapters. The known examples of theories of presheaf type that are revisited in the course of the chapter include the theory of intervals (classified by the topos of simplicial sets), the theory of linear orders, the theory of Diers fields, the theory of abstract circles (classified by the topos of cyclic sets) and the geometric theory of finite sets. The new examples include the theory of algebraic (or separable) extensions of a given field, the theory of locally finite groups, the theory of vector spaces with linear independence predicates and the theory of lattice-ordered abelian groups with strong unit.

1976 ◽  
Vol 43 (1) ◽  
pp. 168-175 ◽  
Author(s):  
Angus Macintyre ◽  
Saharon Shelah

2017 ◽  
Vol 20 (4) ◽  
Author(s):  
Anna Giordano Bruno ◽  
Pablo Spiga

AbstractWe study the growth of group endomorphisms, a generalization of the classical notion of growth of finitely generated groups, which is strictly related to algebraic entropy. We prove that the inner automorphisms of a group have the same growth type and the same algebraic entropy as the identity automorphism. Moreover, we show that endomorphisms of locally finite groups cannot have intermediate growth. We also find an example showing that the Addition Theorem for algebraic entropy does not hold for endomorphisms of arbitrary groups.


Author(s):  
Costantino Delizia ◽  
Chiara Nicotera

AbstractThe structure of locally soluble periodic groups in which every abelian subgroup is locally cyclic was described over 20 years ago. We complete the aforementioned characterization by dealing with the non-periodic case. We also describe the structure of locally finite groups in which all abelian subgroups are locally cyclic.


1995 ◽  
Vol 38 (3) ◽  
pp. 511-522 ◽  
Author(s):  
M. J. Tomkinson

We introduce a definition of a Schunck class of periodic abelian-by-finite soluble groups using major subgroups in place of the maximal subgroups used in Finite groups. This allows us to develop the theory as in the finite case proving the existence and conjugacy of projectors. Saturated formations are examples of Schunck classes and we are also able to obtain an infinite version of Gaschütz Ω-subgroups.


Sign in / Sign up

Export Citation Format

Share Document