Graduate studies at Western
Bulletin of Symbolic Logic 13 (3):305-339 (2007)
|Abstract||Two ways of describing a group are considered. 1. A group is finite-automaton presentable if its elements can be represented by strings over a finite alphabet, in such a way that the set of representing strings and the group operation can be recognized by finite automata. 2. An infinite f.g. group is quasi-finitely axiomatizable if there is a description consisting of a single first-order sentence, together with the information that the group is finitely generated. In the first part of the paper we survey examples of FA-presentable groups, but also discuss theorems restricting this class. In the second part, we give examples of quasi-finitely axiomatizable groups, consider the algebraic content of the notion, and compare it to the notion of a group which is a prime model. We also show that if a structure is bi-interpretable in parameters with the ring of integers, then it is prime and quasi-finitely axiomatizable|
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
|Through your library||Configure|
Similar books and articles
Francis Oger (1984). The Model Theory of Finitely Generated Finite-by-Abelian Groups. Journal of Symbolic Logic 49 (4):1115-1124.
Frank O. Wagner (1993). Quasi-Endomorphisms in Small Stable Groups. Journal of Symbolic Logic 58 (3):1044-1051.
Patrick Simonetta (1997). Une Correspondance Entre Anneaux Partiels Et Groupes. Journal of Symbolic Logic 62 (1):60-78.
Wlesław Dziobiak (1982). Concerning Axiomatizability of the Quasivariety Generated by a Finite Heyting or Topological Boolean Algebra. Studia Logica 41 (4):415 - 428.
Oleg Belegradek, Ya'Acov Peterzil & Frank Wagner (2000). Quasi-o-Minimal Structures. Journal of Symbolic Logic 65 (3):1115-1132.
Eric Jaligot (2001). Full Frobenius Groups of Finite Morley Rank and the Feit-Thompson Theorem. Bulletin of Symbolic Logic 7 (3):315-328.
Bart Kastermans (2009). Isomorphism Types of Maximal Cofinitary Groups. Bulletin of Symbolic Logic 15 (3):300-319.
Martha Nussbaum (2003). The Complexity of Groups: A Comment on Jorge Valadez. Philosophy and Social Criticism 29 (1):57-69.
Miklós Maróti & Ralph McKenzie (2004). Finite Basis Problems and Results for Quasivarieties. Studia Logica 78 (1-2):293 - 320.
Anand Pillay (1995). The Geometry of Forking and Groups of Finite Morley Rank. Journal of Symbolic Logic 60 (4):1251-1259.
Daniel M. Hausman (2007). Group Risks, Risks to Groups, and Group Engagement in Genetics Research. Kennedy Institute of Ethics Journal 17 (4):351-369.
Nicholas S. Thompson (2000). Shifting the Natural Selection Metaphor to the Group Level. Behavior and Philosophy 28 (1/2):83 - 101.
Frank O. Wagner (1991). Small Stable Groups and Generics. Journal of Symbolic Logic 56 (3):1026-1037.
E. Bouscaren & F. Delon (2002). Minimal Groups in Separably Closed Fields. Journal of Symbolic Logic 67 (1):239-259.
Sorry, there are not enough data points to plot this chart.
Added to index2010-08-30
Total downloads1 ( #292,563 of 739,367 )
Recent downloads (6 months)1 ( #61,680 of 739,367 )
How can I increase my downloads?