Week 7, 11 November 2014 (16:00-18:00 Law 111)

Rashad Lak (Birmingham)

Nonstandard Representations of Metric Groups


We introduce a variant of the notion of ‘locally embedable in finite groups’ (LEF) for metric groups, as ‘locally embedable in finite metric groups’ (LEFM). We show that every abelian group with an invariant metric is LEFM. We give a number of examples of classical abelian metric groups represented by nonstandard *finite abelian *metric groups using methods of nonstandard analysis. Generalising, we also define ‘locally embeddable into (uniformly) discrete metric groups’ (LEDM) and prove that every 2-sided invariant metric group is LEDM.

About the seminar

The Midlands Logic Seminar was founded in 2011 and aims to cover all areas of mathematical logic, as well as related areas of theoretical computer science and philosophy of mathematics.

Study group

Our topic for Term 1 of 2014-2015 is the use of induction and heuristics in mathematical problem solving. We will be working through George Polya's book Induction and Analogy in Mathematics .


All meetings for Term 1 2014-15 will be Tuesday from 16:00-18:00 (study group 16:00-17:00, research talks 17:00-18:00) in room 310 of Watson Building (TBC) on the campus of the University of Birmingham.
  • campus map
  • google maps
    To get to campus, take the train from Birmingham New Street to the University stop (7 minutes).


    Dr Richard Kaye
    School of Mathematics
    University of Birmingham


    Dr Walter Dean
    Department of Philosophy
    University of Warwick