Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]

Groups > sci.math > #413086

Re: The fundamental theorem of set theory is problematic

From Alan Smaill <smaill@SPAMinf.ed.ac.uk>
Newsgroups sci.math
Subject Re: The fundamental theorem of set theory is problematic
Date 2018-05-14 18:29 +0100
Message-ID <fwea7t2gn7z.fsf@foxtrot.inf.ed.ac.uk> (permalink)
References (9 earlier) <fwek1s7i89v.fsf@foxtrot.inf.ed.ac.uk> <43297190-0618-41b8-b909-164ee9438a47@googlegroups.com> <fwer2meh13z.fsf@foxtrot.inf.ed.ac.uk> <0a036bed-b1e8-488c-bcad-ba633e6cb70c@googlegroups.com> <c78a92af-4743-4559-8415-0574bfca8496@googlegroups.com>

Show all headers | View raw

bursejan@gmail.com writes:

> Well by Cantors Theorem obviously higher infinities 
> are possible, for example |omega| < |P(omega)|. This
> is something from ZFC.
>
> But Browser was up to something else, he tried to
> develop even logic, that is more restricted than
> FOL and would subsequently also yield different set 
>
> theories. But even in an intuitionistic setting,
> when you have for example choice, you get classic
> logic again. This might not have
> been known to Brouwer:
>
> "Diaconescu's theorem
> the full axiom of choice is sufficient to derive 
> the law of the excluded middle"
> https://en.wikipedia.org/wiki/Diaconescu's_theorem

This result depends on the treatment of extensionality;
it does not hold for example in Martin-Lof type theory.

If anyone is interested:

"100 years of Zermelo’s axiom of choice:
what was the problem with it?" Per Martin-Löf
https://pdfs.semanticscholar.org/68d6/790cdbfda26cf71311e13756d87f164838da.pdf

Not sure abot access to that; it's a good summary of the developments
and issues.

-- 
Alan Smaill

Back to sci.math | Previous | Next — Previous in thread | Next in thread | Find similar | Unroll thread

Thread

The fundamental theorem of set theory is problematic David Petry <davidlpetry@gmail.com> - 2018-05-11 11:20 -0700
  Re: The fundamental theorem of set theory is problematic Alan Mackenzie <acm@muc.de> - 2018-05-11 19:33 +0000
    Re: The fundamental theorem of set theory is problematic David Petry <davidlpetry@gmail.com> - 2018-05-11 13:16 -0700
      Re: The fundamental theorem of set theory is problematic "Ross A. Finlayson" <ross.finlayson@gmail.com> - 2018-05-11 16:48 -0700
      Re: The fundamental theorem of set theory is problematic bursejan@gmail.com - 2018-05-11 18:31 -0700
        Re: The fundamental theorem of set theory is problematic bursejan@gmail.com - 2018-05-11 18:46 -0700
          Re: The fundamental theorem of set theory is problematic bursejan@gmail.com - 2018-05-11 18:49 -0700
            Re: The fundamental theorem of set theory is problematic WM <wolfgang.mueckenheim@hs-augsburg.de> - 2018-05-12 00:59 -0700
              Re: The fundamental theorem of set theory is problematic bursejan@gmail.com - 2018-05-12 02:20 -0700
            Re: The fundamental theorem of set theory is problematic David Petry <davidlpetry@gmail.com> - 2018-05-12 12:43 -0700
              Re: The fundamental theorem of set theory is problematic bursejan@gmail.com - 2018-05-12 14:09 -0700
        Re: The fundamental theorem of set theory is problematic David Petry <davidlpetry@gmail.com> - 2018-05-12 12:40 -0700
          Re: The fundamental theorem of set theory is problematic Alan Mackenzie <acm@muc.de> - 2018-05-12 20:48 +0000
            Re: The fundamental theorem of set theory is problematic David Petry <davidlpetry@gmail.com> - 2018-05-12 14:50 -0700
              Re: The fundamental theorem of set theory is problematic Alan Mackenzie <acm@muc.de> - 2018-05-13 01:00 +0000
                Re: The fundamental theorem of set theory is problematic David Petry <davidlpetry@gmail.com> - 2018-05-13 15:10 -0700
                Re: The fundamental theorem of set theory is problematic Alan Mackenzie <acm@muc.de> - 2018-05-14 17:33 +0000
                Re: The fundamental theorem of set theory is problematic David Petry <davidlpetry@gmail.com> - 2018-05-14 21:09 -0700
                Re: The fundamental theorem of set theory is problematic Alan Mackenzie <acm@muc.de> - 2018-05-15 19:19 +0000
                Re: The fundamental theorem of set theory is problematic "Ross A. Finlayson" <ross.finlayson@gmail.com> - 2018-05-15 13:50 -0700
                Re: The fundamental theorem of set theory is problematic "Shobe, Martin" <martin.shobe@yahoo.com> - 2018-05-15 21:34 -0500
                Re: The fundamental theorem of set theory is problematic FredJeffries <fredjeffries@gmail.com> - 2018-05-16 09:10 -0700
                Re: The fundamental theorem of set theory is problematic FredJeffries <fredjeffries@gmail.com> - 2018-05-16 09:15 -0700
                Re: The fundamental theorem of set theory is problematic WM <wolfgang.mueckenheim@hs-augsburg.de> - 2018-05-15 05:33 -0700
            Re: The fundamental theorem of set theory is problematic Jim Burns <james.g.burns@att.net> - 2018-05-12 19:02 -0400
              Re: The fundamental theorem of set theory is problematic WM <wolfgang.mueckenheim@hs-augsburg.de> - 2018-05-13 01:38 -0700
              Re: The fundamental theorem of set theory is problematic David Petry <davidlpetry@gmail.com> - 2018-05-14 21:40 -0700
                Re: The fundamental theorem of set theory is problematic Jim Burns <james.g.burns@att.net> - 2018-05-15 05:22 -0400
            Re: The fundamental theorem of set theory is problematic WM <wolfgang.mueckenheim@hs-augsburg.de> - 2018-05-13 01:31 -0700
              Re: The fundamental theorem of set theory is problematic bursejan@gmail.com - 2018-05-13 03:51 -0700
                Re: The fundamental theorem of set theory is problematic WM <wolfgang.mueckenheim@hs-augsburg.de> - 2018-05-13 05:18 -0700
                Re: The fundamental theorem of set theory is problematic bursejan@gmail.com - 2018-05-13 06:59 -0700
              Re: The fundamental theorem of set theory is problematic Alan Mackenzie <acm@muc.de> - 2018-05-13 11:02 +0000
                Re: The fundamental theorem of set theory is problematic WM <wolfgang.mueckenheim@hs-augsburg.de> - 2018-05-13 05:37 -0700
                Re: The fundamental theorem of set theory is problematic Alan Smaill <smaill@SPAMinf.ed.ac.uk> - 2018-05-13 21:57 +0100
                Re: The fundamental theorem of set theory is problematic WM <wolfgang.mueckenheim@hs-augsburg.de> - 2018-05-14 04:44 -0700
                Re: The fundamental theorem of set theory is problematic Alan Smaill <smaill@SPAMinf.ed.ac.uk> - 2018-05-14 13:29 +0100
                Re: The fundamental theorem of set theory is problematic WM <wolfgang.mueckenheim@hs-augsburg.de> - 2018-05-14 07:42 -0700
                Re: The fundamental theorem of set theory is problematic bursejan@gmail.com - 2018-05-14 09:36 -0700
                Re: The fundamental theorem of set theory is problematic bursejan@gmail.com - 2018-05-14 09:42 -0700
                Re: The fundamental theorem of set theory is problematic Alan Smaill <smaill@SPAMinf.ed.ac.uk> - 2018-05-14 18:29 +0100
                Re: The fundamental theorem of set theory is problematic bursejan@gmail.com - 2018-05-14 12:03 -0700
                Re: The fundamental theorem of set theory is problematic bursejan@gmail.com - 2018-05-14 12:06 -0700
                Re: The fundamental theorem of set theory is problematic bursejan@gmail.com - 2018-05-14 12:10 -0700
                Re: The fundamental theorem of set theory is problematic "Ross A. Finlayson" <ross.finlayson@gmail.com> - 2018-05-15 13:44 -0700
                Re: The fundamental theorem of set theory is problematic Alan Smaill <smaill@SPAMinf.ed.ac.uk> - 2018-05-14 18:16 +0100
                Re: The fundamental theorem of set theory is problematic WM <wolfgang.mueckenheim@hs-augsburg.de> - 2018-05-15 05:44 -0700
                Re: The fundamental theorem of set theory is problematic bursejan@gmail.com - 2018-05-14 06:38 -0700
          Re: The fundamental theorem of set theory is problematic bursejan@gmail.com - 2018-05-12 17:58 -0700
            Re: The fundamental theorem of set theory is problematic bursejan@gmail.com - 2018-05-12 18:04 -0700
              Re: The fundamental theorem of set theory is problematic bursejan@gmail.com - 2018-05-12 18:19 -0700
      Re: The fundamental theorem of set theory is problematic FredJeffries <fredjeffries@gmail.com> - 2018-05-15 09:14 -0700
        Re: The fundamental theorem of set theory is problematic David Petry <davidlpetry@gmail.com> - 2018-05-15 10:07 -0700
          Re: The fundamental theorem of set theory is problematic FredJeffries <fredjeffries@gmail.com> - 2018-05-16 09:26 -0700
            Re: The fundamental theorem of set theory is problematic David Petry <davidlpetry@gmail.com> - 2018-05-16 11:18 -0700
              Re: The fundamental theorem of set theory is problematic FredJeffries <fredjeffries@gmail.com> - 2018-05-16 12:26 -0700
                Re: The fundamental theorem of set theory is problematic WM <wolfgang.mueckenheim@hs-augsburg.de> - 2018-05-16 14:06 -0700
                Re: The fundamental theorem of set theory is problematic bursejan@gmail.com - 2018-05-16 15:53 -0700
                Re: The fundamental theorem of set theory is problematic Jim Burns <james.g.burns@att.net> - 2018-05-16 19:07 -0400
                Re: The fundamental theorem of set theory is problematic bursejan@gmail.com - 2018-05-17 01:17 -0700
                Re: The fundamental theorem of set theory is problematic Jim Burns <james.g.burns@att.net> - 2018-05-17 09:42 -0400
                Re: The fundamental theorem of set theory is problematic David Petry <davidlpetry@gmail.com> - 2018-05-16 17:40 -0700
        Re: The fundamental theorem of set theory is problematic WM <wolfgang.mueckenheim@hs-augsburg.de> - 2018-05-15 11:06 -0700
    Re: The fundamental theorem of set theory is problematic WM <wolfgang.mueckenheim@hs-augsburg.de> - 2018-05-12 01:05 -0700
    Re: The fundamental theorem of set theory is problematic David Petry <davidlpetry@gmail.com> - 2018-05-12 12:57 -0700
      Re: The fundamental theorem of set theory is problematic Alan Mackenzie <acm@muc.de> - 2018-05-13 00:20 +0000
  Re: The fundamental theorem of set theory is problematic "Shobe, Martin" <martin.shobe@yahoo.com> - 2018-05-11 20:03 -0500
    Re: The fundamental theorem of set theory is problematic WM <wolfgang.mueckenheim@hs-augsburg.de> - 2018-05-12 00:59 -0700
    Re: The fundamental theorem of set theory is problematic Julio Di Egidio <julio@diegidio.name> - 2018-05-12 01:59 -0700
      Re: The fundamental theorem of set theory is problematic bursejan@gmail.com - 2018-05-12 02:55 -0700
        Re: The fundamental theorem of set theory is problematic bursejan@gmail.com - 2018-05-12 03:04 -0700
        Re: The fundamental theorem of set theory is problematic Julio Di Egidio <julio@diegidio.name> - 2018-05-12 03:06 -0700
          Re: The fundamental theorem of set theory is problematic bursejan@gmail.com - 2018-05-12 03:09 -0700
            Re: The fundamental theorem of set theory is problematic bursejan@gmail.com - 2018-05-12 03:13 -0700
              Re: The fundamental theorem of set theory is problematic Julio Di Egidio <julio@diegidio.name> - 2018-05-12 03:20 -0700
                Re: The fundamental theorem of set theory is problematic bursejan@gmail.com - 2018-05-12 03:28 -0700
              Re: The fundamental theorem of set theory is problematic bursejan@gmail.com - 2018-05-12 03:24 -0700
  Re: The fundamental theorem of set theory is problematic WM <wolfgang.mueckenheim@hs-augsburg.de> - 2018-05-12 01:14 -0700
    Re: The fundamental theorem of set theory is problematic wpihughes@gmail.com - 2018-05-13 09:07 -0700
      Re: The fundamental theorem of set theory is problematic WM <wolfgang.mueckenheim@hs-augsburg.de> - 2018-05-13 11:08 -0700
        Re: The fundamental theorem of set theory is problematic wpihughes@gmail.com - 2018-05-13 12:05 -0700
          Re: The fundamental theorem of set theory is problematic WM <wolfgang.mueckenheim@hs-augsburg.de> - 2018-05-13 12:53 -0700
      Re: The fundamental theorem of set theory is problematic WM <wolfgang.mueckenheim@hs-augsburg.de> - 2018-05-15 11:02 -0700
        Re: The fundamental theorem of set theory is problematic j4n bur53 <janburse@fastmail.fm> - 2018-05-15 21:13 +0200
          Re: The fundamental theorem of set theory is problematic WM <wolfgang.mueckenheim@hs-augsburg.de> - 2018-05-16 11:30 -0700
            Re: The fundamental theorem of set theory is problematic Zeit Geist <Tucsondrew@me.com> - 2018-05-16 12:23 -0700
              Re: The fundamental theorem of set theory is problematic WM <wolfgang.mueckenheim@hs-augsburg.de> - 2018-05-16 14:00 -0700
                Re: The fundamental theorem of set theory is problematic Zeit Geist <Tucsondrew@me.com> - 2018-05-16 16:18 -0700
                Re: The fundamental theorem of set theory is problematic wpihughes@gmail.com - 2018-05-16 16:27 -0700
                Re: The fundamental theorem of set theory is problematic WM <wolfgang.mueckenheim@hs-augsburg.de> - 2018-05-17 05:01 -0700
                Re: The fundamental theorem of set theory is problematic wpihughes@gmail.com - 2018-05-17 08:34 -0700
                Re: The fundamental theorem of set theory is problematic WM <wolfgang.mueckenheim@hs-augsburg.de> - 2018-05-17 09:34 -0700
                Re: The fundamental theorem of set theory is problematic wpihughes@gmail.com - 2018-05-17 10:12 -0700
                Re: The fundamental theorem of set theory is problematic WM <wolfgang.mueckenheim@hs-augsburg.de> - 2018-05-17 10:57 -0700
                Re: The fundamental theorem of set theory is problematic bursejan@gmail.com - 2018-05-17 11:56 -0700
                Re: The fundamental theorem of set theory is problematic bursejan@gmail.com - 2018-05-17 12:00 -0700
                Re: The fundamental theorem of set theory is problematic WM <wolfgang.mueckenheim@hs-augsburg.de> - 2018-05-17 12:29 -0700
                Re: The fundamental theorem of set theory is problematic wpihughes@gmail.com - 2018-05-17 13:38 -0700
                Re: The fundamental theorem of set theory is problematic WM <wolfgang.mueckenheim@hs-augsburg.de> - 2018-05-18 08:12 -0700
                Re: The fundamental theorem of set theory is problematic wpihughes@gmail.com - 2018-05-18 12:23 -0700
                Re: The fundamental theorem of set theory is problematic WM <wolfgang.mueckenheim@hs-augsburg.de> - 2018-05-19 04:53 -0700
                Re: The fundamental theorem of set theory is problematic wpihughes@gmail.com - 2018-05-19 07:21 -0700
                Re: The fundamental theorem of set theory is problematic bursejan@gmail.com - 2018-05-19 09:11 -0700
                Re: The fundamental theorem of set theory is problematic WM <wolfgang.mueckenheim@hs-augsburg.de> - 2018-05-20 03:20 -0700
                Re: The fundamental theorem of set theory is problematic wpihughes@gmail.com - 2018-05-20 04:48 -0700
                Re: The fundamental theorem of set theory is problematic WM <wolfgang.mueckenheim@hs-augsburg.de> - 2018-05-20 05:19 -0700
                Re: The fundamental theorem of set theory is problematic wpihughes@gmail.com - 2018-05-20 10:09 -0700
                Re: The fundamental theorem of set theory is problematic WM <wolfgang.mueckenheim@hs-augsburg.de> - 2018-05-20 13:26 -0700
                Re: The fundamental theorem of set theory is problematic wpihughes@gmail.com - 2018-05-20 18:10 -0700
                Re: The fundamental theorem of set theory is problematic WM <wolfgang.mueckenheim@hs-augsburg.de> - 2018-05-21 06:05 -0700
                Re: The fundamental theorem of set theory is problematic wpihughes@gmail.com - 2018-05-21 07:24 -0700
                Re: The fundamental theorem of set theory is problematic WM <wolfgang.mueckenheim@hs-augsburg.de> - 2018-05-21 08:59 -0700
                Re: The fundamental theorem of set theory is problematic wpihughes@gmail.com - 2018-05-21 11:48 -0700
                Re: The fundamental theorem of set theory is problematic WM <wolfgang.mueckenheim@hs-augsburg.de> - 2018-05-22 05:45 -0700
                Re: The fundamental theorem of set theory is problematic Python <python@python.invalid> - 2018-05-22 14:51 +0200
                Re: The fundamental theorem of set theory is problematic wpihughes@gmail.com - 2018-05-22 06:31 -0700
                Re: The fundamental theorem of set theory is problematic WM <wolfgang.mueckenheim@hs-augsburg.de> - 2018-05-22 13:26 -0700
                Re: The fundamental theorem of set theory is problematic wpihughes@gmail.com - 2018-05-22 14:22 -0700
                Re: The fundamental theorem of set theory is problematic WM <wolfgang.mueckenheim@hs-augsburg.de> - 2018-05-23 06:06 -0700
                Re: The fundamental theorem of set theory is problematic wpihughes@gmail.com - 2018-05-23 07:19 -0700
                Re: The fundamental theorem of set theory is problematic WM <wolfgang.mueckenheim@hs-augsburg.de> - 2018-05-23 11:56 -0700
                Re: The fundamental theorem of set theory is problematic wpihughes@gmail.com - 2018-05-23 12:08 -0700
                Re: The fundamental theorem of set theory is problematic WM <wolfgang.mueckenheim@hs-augsburg.de> - 2018-05-23 13:22 -0700
                Re: The fundamental theorem of set theory is problematic wpihughes@gmail.com - 2018-05-23 18:11 -0700
                Re: The fundamental theorem of set theory is problematic WM <wolfgang.mueckenheim@hs-augsburg.de> - 2018-05-24 02:47 -0700
                Re: The fundamental theorem of set theory is problematic wpihughes@gmail.com - 2018-05-24 06:00 -0700
                Re: The fundamental theorem of set theory is problematic WM <wolfgang.mueckenheim@hs-augsburg.de> - 2018-05-24 07:43 -0700
                Re: The fundamental theorem of set theory is problematic wpihughes@gmail.com - 2018-05-24 08:10 -0700
                Re: The fundamental theorem of set theory is problematic WM <wolfgang.mueckenheim@hs-augsburg.de> - 2018-05-24 09:37 -0700
                Re: The fundamental theorem of set theory is problematic wpihughes@gmail.com - 2018-05-24 09:45 -0700
                Re: The fundamental theorem of set theory is problematic WM <wolfgang.mueckenheim@hs-augsburg.de> - 2018-05-25 09:05 -0700
                Re: The fundamental theorem of set theory is problematic wpihughes@gmail.com - 2018-05-25 11:09 -0700
                Re: The fundamental theorem of set theory is problematic WM <wolfgang.mueckenheim@hs-augsburg.de> - 2018-05-25 15:26 -0700
                Re: The fundamental theorem of set theory is problematic Zelos Malum <zelos.malum@gmail.com> - 2018-05-25 23:14 -0700
                Re: The fundamental theorem of set theory is problematic wpihughes@gmail.com - 2018-05-26 03:23 -0700
                Re: The fundamental theorem of set theory is problematic WM <wolfgang.mueckenheim@hs-augsburg.de> - 2018-05-26 06:37 -0700
                Re: The fundamental theorem of set theory is problematic bursejan@gmail.com - 2018-05-26 06:50 -0700
                Re: The fundamental theorem of set theory is problematic wpihughes@gmail.com - 2018-05-26 07:30 -0700
                Re: The fundamental theorem of set theory is problematic WM <wolfgang.mueckenheim@hs-augsburg.de> - 2018-05-26 08:39 -0700
                Re: The fundamental theorem of set theory is problematic wpihughes@gmail.com - 2018-05-26 09:15 -0700
                Re: The fundamental theorem of set theory is problematic WM <wolfgang.mueckenheim@hs-augsburg.de> - 2018-05-27 05:37 -0700
                Re: The fundamental theorem of set theory is problematic wpihughes@gmail.com - 2018-05-27 08:58 -0700
                Re: The fundamental theorem of set theory is problematic WM <wolfgang.mueckenheim@hs-augsburg.de> - 2018-05-28 03:53 -0700
                Re: The fundamental theorem of set theory is problematic wpihughes@gmail.com - 2018-05-28 05:04 -0700
                Re: The fundamental theorem of set theory is problematic WM <wolfgang.mueckenheim@hs-augsburg.de> - 2018-05-28 05:10 -0700
                Re: The fundamental theorem of set theory is problematic wpihughes@gmail.com - 2018-05-28 05:19 -0700
                Re: The fundamental theorem of set theory is problematic WM <wolfgang.mueckenheim@hs-augsburg.de> - 2018-05-29 04:53 -0700
                Re: The fundamental theorem of set theory is problematic wpihughes@gmail.com - 2018-05-29 06:22 -0700
                Re: The fundamental theorem of set theory is problematic WM <wolfgang.mueckenheim@hs-augsburg.de> - 2018-05-29 06:36 -0700
                Re: The fundamental theorem of set theory is problematic wpihughes@gmail.com - 2018-05-29 07:12 -0700
                Re: The fundamental theorem of set theory is problematic WM <wolfgang.mueckenheim@hs-augsburg.de> - 2018-05-29 08:35 -0700
                Re: The fundamental theorem of set theory is problematic wpihughes@gmail.com - 2018-05-29 08:52 -0700
                Re: The fundamental theorem of set theory is problematic WM <wolfgang.mueckenheim@hs-augsburg.de> - 2018-05-30 04:25 -0700
                Re: The fundamental theorem of set theory is problematic wpihughes@gmail.com - 2018-05-30 04:50 -0700
                Re: The fundamental theorem of set theory is problematic WM <wolfgang.mueckenheim@hs-augsburg.de> - 2018-05-31 06:17 -0700
                Re: The fundamental theorem of set theory is problematic wpihughes@gmail.com - 2018-05-31 07:05 -0700
                Re: The fundamental theorem of set theory is problematic WM <wolfgang.mueckenheim@hs-augsburg.de> - 2018-05-31 09:53 -0700
                Re: The fundamental theorem of set theory is problematic wpihughes@gmail.com - 2018-05-31 11:47 -0700
                Re: The fundamental theorem of set theory is problematic WM <wolfgang.mueckenheim@hs-augsburg.de> - 2018-06-01 03:58 -0700
                Re: The fundamental theorem of set theory is problematic wpihughes@gmail.com - 2018-06-01 05:07 -0700
                Re: The fundamental theorem of set theory is problematic WM <wolfgang.mueckenheim@hs-augsburg.de> - 2018-06-01 05:24 -0700
                Re: The fundamental theorem of set theory is problematic wpihughes@gmail.com - 2018-06-01 06:27 -0700
                Re: The fundamental theorem of set theory is problematic "Ross A. Finlayson" <ross.finlayson@gmail.com> - 2018-06-01 10:21 -0700
                Re: The fundamental theorem of set theory is problematic "Ross A. Finlayson" <ross.finlayson@gmail.com> - 2018-06-02 14:04 -0700
                Re: The fundamental theorem of set theory is problematic "Ross A. Finlayson" <ross.finlayson@gmail.com> - 2018-06-02 16:27 -0700
                Re: The fundamental theorem of set theory is problematic WM <wolfgang.mueckenheim@hs-augsburg.de> - 2018-06-02 07:23 -0700
                Re: The fundamental theorem of set theory is problematic Zelos Malum <zelos.malum@gmail.com> - 2018-06-04 00:11 -0700
                Re: The fundamental theorem of set theory is problematic Zelos Malum <zelos.malum@gmail.com> - 2018-05-27 23:12 -0700
                Re: The fundamental theorem of set theory is problematic bursejan@gmail.com - 2018-05-23 12:49 -0700
                Re: The fundamental theorem of set theory is problematic bursejan@gmail.com - 2018-05-23 12:51 -0700
                Re: The fundamental theorem of set theory is problematic WM <wolfgang.mueckenheim@hs-augsburg.de> - 2018-05-23 13:24 -0700
                Re: The fundamental theorem of set theory is problematic bursejan@gmail.com - 2018-05-24 02:09 -0700
                Re: The fundamental theorem of set theory is problematic Alan Smaill <smaill@SPAMinf.ed.ac.uk> - 2018-05-22 19:09 +0100
                Re: The fundamental theorem of set theory is problematic WM <wolfgang.mueckenheim@hs-augsburg.de> - 2018-05-22 13:29 -0700
                Re: The fundamental theorem of set theory is problematic Zelos Malum <zelos.malum@gmail.com> - 2018-05-23 22:32 -0700
                Re: The fundamental theorem of set theory is problematic WM <wolfgang.mueckenheim@hs-augsburg.de> - 2018-05-24 03:57 -0700
                Re: The fundamental theorem of set theory is problematic Zelos Malum <zelos.malum@gmail.com> - 2018-05-24 04:48 -0700
                Re: The fundamental theorem of set theory is problematic WM <wolfgang.mueckenheim@hs-augsburg.de> - 2018-05-24 07:29 -0700
                Re: The fundamental theorem of set theory is problematic Python <python@python.invalid> - 2018-05-24 16:39 +0200
                Re: The fundamental theorem of set theory is problematic Python <python@python.invalid> - 2018-05-18 01:19 +0200
                Re: The fundamental theorem of set theory is problematic WM <wolfgang.mueckenheim@hs-augsburg.de> - 2018-05-18 08:14 -0700
                Re: The fundamental theorem of set theory is problematic Python <python@python.invalid> - 2018-05-18 17:31 +0200
                Re: The fundamental theorem of set theory is problematic WM <wolfgang.mueckenheim@hs-augsburg.de> - 2018-05-18 10:09 -0700
                Re: The fundamental theorem of set theory is problematic FredJeffries <fredjeffries@gmail.com> - 2018-05-18 10:53 -0700
                Re: The fundamental theorem of set theory is problematic bursejan@gmail.com - 2018-05-18 13:54 -0700
                Re: The fundamental theorem of set theory is problematic bursejan@gmail.com - 2018-05-18 13:55 -0700
                Re: The fundamental theorem of set theory is problematic bursejan@gmail.com - 2018-05-18 14:09 -0700
                Re: The fundamental theorem of set theory is problematic bursejan@gmail.com - 2018-05-18 14:19 -0700
                Re: The fundamental theorem of set theory is problematic bursejan@gmail.com - 2018-05-18 14:23 -0700
                Re: The fundamental theorem of set theory is problematic bursejan@gmail.com - 2018-05-18 14:37 -0700
                Re: The fundamental theorem of set theory is problematic Zeit Geist <Tucsondrew@me.com> - 2018-05-18 14:33 -0700
                Re: The fundamental theorem of set theory is problematic WM <wolfgang.mueckenheim@hs-augsburg.de> - 2018-05-19 04:58 -0700
                Re: The fundamental theorem of set theory is problematic bursejan@gmail.com - 2018-05-19 05:28 -0700
                Re: The fundamental theorem of set theory is problematic bursejan@gmail.com - 2018-05-19 05:34 -0700
                Re: The fundamental theorem of set theory is problematic bursejan@gmail.com - 2018-05-19 05:36 -0700
                Re: The fundamental theorem of set theory is problematic bursejan@gmail.com - 2018-05-19 05:46 -0700
                Re: The fundamental theorem of set theory is problematic Zeit Geist <Tucsondrew@me.com> - 2018-05-19 09:00 -0700
                Re: The fundamental theorem of set theory is problematic WM <wolfgang.mueckenheim@hs-augsburg.de> - 2018-05-20 03:21 -0700
                Re: The fundamental theorem of set theory is problematic Python <python@python.invalid> - 2018-05-19 02:01 +0200
                Re: The fundamental theorem of set theory is problematic Alan Smaill <smaill@SPAMinf.ed.ac.uk> - 2018-05-21 16:40 +0100
                Re: The fundamental theorem of set theory is problematic WM <wolfgang.mueckenheim@hs-augsburg.de> - 2018-05-21 09:06 -0700
                Re: The fundamental theorem of set theory is problematic bursejan@gmail.com - 2018-05-21 13:52 -0700
                Re: The fundamental theorem of set theory is problematic WM <wolfgang.mueckenheim@hs-augsburg.de> - 2018-05-22 05:45 -0700
                Re: The fundamental theorem of set theory is problematic bursejan@gmail.com - 2018-05-22 08:27 -0700
                Re: The fundamental theorem of set theory is problematic WM <wolfgang.mueckenheim@hs-augsburg.de> - 2018-05-22 13:29 -0700
                Re: The fundamental theorem of set theory is problematic bursejan@gmail.com - 2018-05-22 13:43 -0700
                Re: The fundamental theorem of set theory is problematic bursejan@gmail.com - 2018-05-22 13:52 -0700
                Re: The fundamental theorem of set theory is problematic WM <wolfgang.mueckenheim@hs-augsburg.de> - 2018-05-23 06:06 -0700
                Re: The fundamental theorem of set theory is problematic Zeit Geist <Tucsondrew@me.com> - 2018-05-22 17:30 -0700
                Re: The fundamental theorem of set theory is problematic WM <wolfgang.mueckenheim@hs-augsburg.de> - 2018-05-23 06:06 -0700
        Re: The fundamental theorem of set theory is problematic wpihughes@gmail.com - 2018-05-15 17:14 -0700
          Re: The fundamental theorem of set theory is problematic WM <wolfgang.mueckenheim@hs-augsburg.de> - 2018-05-16 11:26 -0700
            Re: The fundamental theorem of set theory is problematic wpihughes@gmail.com - 2018-05-16 16:35 -0700
              Re: The fundamental theorem of set theory is problematic WM <wolfgang.mueckenheim@hs-augsburg.de> - 2018-05-17 05:03 -0700
                Re: The fundamental theorem of set theory is problematic Zelos Malum <zelos.malum@gmail.com> - 2018-05-17 05:33 -0700
                Re: The fundamental theorem of set theory is problematic WM <wolfgang.mueckenheim@hs-augsburg.de> - 2018-05-17 09:31 -0700
  Re: The fundamental theorem of set theory is problematic Sergio <invalid@invalid.com> - 2018-05-13 12:40 -0500
  Re: The fundamental theorem of set theory is problematic Zelos Malum <zelos.malum@gmail.com> - 2018-05-13 22:36 -0700
    Re: The fundamental theorem of set theory is problematic WM <wolfgang.mueckenheim@hs-augsburg.de> - 2018-05-14 04:49 -0700
      Re: The fundamental theorem of set theory is problematic Zelos Malum <zelos.malum@gmail.com> - 2018-05-17 01:34 -0700
        Re: The fundamental theorem of set theory is problematic WM <wolfgang.mueckenheim@hs-augsburg.de> - 2018-05-17 05:08 -0700
          Re: The fundamental theorem of set theory is problematic bursejan@gmail.com - 2018-05-17 10:03 -0700
            Re: The fundamental theorem of set theory is problematic bursejan@gmail.com - 2018-05-17 10:06 -0700
              Re: The fundamental theorem of set theory is problematic bursejan@gmail.com - 2018-05-17 10:19 -0700
                Re: The fundamental theorem of set theory is problematic bursejan@gmail.com - 2018-05-17 10:26 -0700
                Re: The fundamental theorem of set theory is problematic bursejan@gmail.com - 2018-05-17 10:30 -0700
                Re: The fundamental theorem of set theory is problematic FredJeffries <fredjeffries@gmail.com> - 2018-05-17 12:29 -0700

csiph-web