Remote Access Transactions of the American Mathematical Society
Green Open Access

Transactions of the American Mathematical Society

ISSN 1088-6850(online) ISSN 0002-9947(print)

 
 

 

Small profinite structures


Author: Ludomir Newelski
Journal: Trans. Amer. Math. Soc. 354 (2002), 925-943
MSC (2000): Primary 03C45, 03C99; Secondary 51D20
DOI: https://doi.org/10.1090/S0002-9947-01-02854-9
Published electronically: October 24, 2001
MathSciNet review: 1867365
Full-text PDF

Abstract | References | Similar Articles | Additional Information

Abstract: We propose a model-theoretic framework for investigating profinite structures. We prove that in many cases small profinite structures interpret infinite groups. This corresponds to results of Hrushovski and Peterzil on interpreting groups in locally modular stable and o-minimal structures.


References [Enhancements On Off] (What's this?)

  • [B] S.Buechler, Essential Stability Theory, Springer 1996. MR 98j:03050
  • [BH] E.Bouscaren, E.Hrushovski, On one-based theories, J.Symb.Logic 53(1994), 579-595. MR 95e:03103
  • [H] E.Hrushovski, Locally modular regular types, in: Classification Theory, Proceedings, Chicago 1985, ed. J.T.Baldwin, Springer 1987, 132-164. MR 90m:03064
  • [Ne1] L.Newelski, Meager forking, Ann. Pure Appl.Logic 70(1994), 141-175. MR 96a:03047
  • [Ne2] L.Newelski, ${\mathcal M}$-gap conjecture and m-normal theories, Israel J.Math. 106(1998), 285-311. MR 2000b:03122
  • [Ne3] L.Newelski, Geometry of $*$-finite types, J.Symb.Logic 64(1999), 1375-1395. CMP 2000:17
  • [Ne4] L.Newelski, m-normal theories, Fund.Math., accepted.
  • [Ne5] L.Newelski, Meager forking and m-independence, in: ICM'98 Proceedings, vol.II, 33-42. MR 2000a:03054
  • [Ne6] L.Newelski, Small profinite groups, J.Symb. Logic, accepted.
  • [Pe] Y.Peterzil, Constructing a group interval in o-minimal structures, J.Pure Appl.Algebra (1994), 85-100. MR 95h:03085

Similar Articles

Retrieve articles in Transactions of the American Mathematical Society with MSC (2000): 03C45, 03C99, 51D20

Retrieve articles in all journals with MSC (2000): 03C45, 03C99, 51D20


Additional Information

Ludomir Newelski
Affiliation: Mathematical Institute, University of Wroclaw, pl. Grunwaldzki 2/4, 50-384 Wroclaw, Poland; Mathematical Institute of the Polish Academy of Sciences, Kopernika 18, 51-617 Wroclaw, Poland
Email: newelski@math.uni.wroc.pl

DOI: https://doi.org/10.1090/S0002-9947-01-02854-9
Keywords: Profinite structure, m-independence, local modularity, combinatorial geometry
Received by editor(s): August 30, 1999
Published electronically: October 24, 2001
Additional Notes: Research supported by KBN grant 2 P03A 002 16
Article copyright: © Copyright 2001 American Mathematical Society

American Mathematical Society