A new Lowenheim-Skolem theorem


Matt Foreman




created Thu Jun 21 13:57:37 PDT 2001