From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.4.2 (2018-09-13) on inbox.vuxu.org X-Spam-Level: X-Spam-Status: No, score=-0.9 required=5.0 tests=DKIM_SIGNED,DKIM_VALID, DKIM_VALID_AU,DKIM_VALID_EF,FREEMAIL_FORGED_FROMDOMAIN,FREEMAIL_FROM, HEADER_FROM_DIFFERENT_DOMAINS,HTML_MESSAGE,MAILING_LIST_MULTI, RCVD_IN_DNSWL_NONE autolearn=ham autolearn_force=no version=3.4.2 Received: from mail-ot1-x33e.google.com (mail-ot1-x33e.google.com [IPv6:2607:f8b0:4864:20::33e]) by inbox.vuxu.org (OpenSMTPD) with ESMTP id 956ae1cf for ; Tue, 4 Dec 2018 19:59:15 +0000 (UTC) Received: by mail-ot1-x33e.google.com with SMTP id a19sf8145760otq.1 for ; Tue, 04 Dec 2018 11:59:15 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlegroups.com; s=20161025; h=sender:date:from:to:message-id:subject:mime-version :x-original-sender:precedence:mailing-list:list-id:list-post :list-help:list-archive:list-unsubscribe; bh=IeKGF18q7sLeO16tczFTYs2fFHO8A8BFGBzPJjTCuhU=; b=pqc575yTYcq5cMTPiZ6OHrUci41DNvB9DHSDdlSs2I2hOXAZfOfsaNafTImoPDmOUv X9FvS1j7V24nRklnTQKXjiyYJ1lTRhmaxeqODUPKwgQMaBWh3YnpkJs9cX/FzC4fQewn SLdMQUhyw4vkl1zXwySKogQx1L6yT0rvWnGvFyGy+DW/i+JctvFWARyqI+GS7RTlufr5 EM1PvrI0Kwpzlw/hDQTW2GeDTAUXF5ETvI39LZvgScJVza3MgQf3hhRtlhPqo3RwvLSf GYoXdeLT825I+FtEnIrYSp8O3//bCLqAO/x8g8q2BHkoeiRUZdL8oRYvTJdnsbajx6I0 J6Ow== DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=date:from:to:message-id:subject:mime-version:x-original-sender :precedence:mailing-list:list-id:list-post:list-help:list-archive :list-unsubscribe; bh=IeKGF18q7sLeO16tczFTYs2fFHO8A8BFGBzPJjTCuhU=; b=SvFPyJJBLLDUp3B7AH0WygUypmqCkXAJbI0PH2UKszp29UPEPyxYylSL1hE67nGe+u Ry5CWHyszR2BnAZxzSUFDJUAMjra1nJOJGL1YoQSEpC0OwZFVcUlMOUyv1XLTh7iAsu5 8psCdSPHjWliGAh0YutGIMd2hK8wWQPumIGefA5V8/QEVqaJKJ5lh5b8rcfolZqHvVD8 Y+4ZyHcVa+KXk06UQelbduZHeeltqzIt6s7WKjRX7JtmW/u+b9cROxSZDh+ly3cvQiYJ Prlr5z+RF1DkDnhJtUfN779qOCQVN9Hi005wklFgc9mOM3+u+QRaFfsG1ZNtWF8xdaHk LGlA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=sender:x-gm-message-state:date:from:to:message-id:subject :mime-version:x-original-sender:precedence:mailing-list:list-id :x-spam-checked-in-group:list-post:list-help:list-archive :list-unsubscribe; bh=IeKGF18q7sLeO16tczFTYs2fFHO8A8BFGBzPJjTCuhU=; b=P5E8V8J/gXfqyptLMM/h58o1BJt93kIH+XzFiRONH98sBmm9AvBAVAQqfjVPCPX8EL H2+mmo/Tl0hDZtl/nrdTuXWLQ6Zq2KpiUK1+NmjFwZQM1xBGnpB2riGb016UjlMY03Gw VUJ4SY+Am446hjxb1W/fBKJrX6MxagQe3Cg+22f4sq6vcOhNri0HDb8lcqOjWMiKiuma XNgUXy/vTxMC4/1X7Rs+BAPTUCzvmB19A/MURszaPrWRw5ml6xyGc4+FFkKE8ZBS+Gb1 wYr7BoU17WingvmG8F/zU5isp3LwGGZIfkWB1EFSDyJPHuDLfbd43BfGbl0jfZz82GfD XqAQ== Sender: homotopytypetheory@googlegroups.com X-Gm-Message-State: AA+aEWbiwNO0IeuyfZWSeOPb+XgM7bZrkYg2zVrS3qW9kmkjMjz7MGJx o34K6NvlYJpx0498QB1R5Dc= X-Google-Smtp-Source: AFSGD/WvAB7n90k9kgQpl4vHYB0bguv2cLrnlBCTEev6PG+7ay2S7yTbgDUrhpT1XeE7idNCTxHNlw== X-Received: by 2002:a9d:24c3:: with SMTP id z61mr361051ota.1.1543953553567; Tue, 04 Dec 2018 11:59:13 -0800 (PST) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 2002:aca:ac0a:: with SMTP id v10ls102674oie.0.gmail; Tue, 04 Dec 2018 11:59:13 -0800 (PST) X-Received: by 2002:aca:d607:: with SMTP id n7mr375827oig.1.1543953553210; Tue, 04 Dec 2018 11:59:13 -0800 (PST) Date: Tue, 4 Dec 2018 11:59:12 -0800 (PST) From: Jean Joseph To: Homotopy Type Theory Message-Id: Subject: [HoTT] A multiplication on the surreal numbers MIME-Version: 1.0 Content-Type: multipart/mixed; boundary="----=_Part_4938_1603513017.1543953552668" X-Original-Sender: jsjean00@gmail.com Precedence: list Mailing-list: list HomotopyTypeTheory@googlegroups.com; contact HomotopyTypeTheory+owners@googlegroups.com List-ID: X-Google-Group-Id: 1041266174716 List-Post: , List-Help: , List-Archive: , ------=_Part_4938_1603513017.1543953552668 Content-Type: multipart/alternative; boundary="----=_Part_4939_477853340.1543953552668" ------=_Part_4939_477853340.1543953552668 Content-Type: text/plain; charset="UTF-8" There has been a problem on https://ncatlab.org/homotopytypetheory/show/open+problems#coquands_five_open_problems about defining a multiplication on the surreal numbers as defined in the HoTT book. For a solution, see https://arxiv.org/pdf/1812.00051.pdf. Comments are welcome. I can be reached at jsjean00@gmail.com. -- You received this message because you are subscribed to the Google Groups "Homotopy Type Theory" group. To unsubscribe from this group and stop receiving emails from it, send an email to HomotopyTypeTheory+unsubscribe@googlegroups.com. For more options, visit https://groups.google.com/d/optout. ------=_Part_4939_477853340.1543953552668 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
There has been a problem on=C2=A0https://ncatlab.org/= homotopytypetheory/show/open+problems#coquands_five_open_problems about def= ining a multiplication on the surreal numbers as defined in the HoTT book. = For a solution, see=C2=A0https://arxiv.org/pdf/1812.00051.pdf.=C2=A0
<= div>
Comments are welcome.=C2=A0

I c= an be reached at jsjean00@gmail.com.

--
You received this message because you are subscribed to the Google Groups &= quot;Homotopy Type Theory" group.
To unsubscribe from this group and stop receiving emails from it, send an e= mail to = HomotopyTypeTheory+unsubscribe@googlegroups.com.
For more options, visit http= s://groups.google.com/d/optout.
------=_Part_4939_477853340.1543953552668-- ------=_Part_4938_1603513017.1543953552668--