Groups | Search | Server Info | Login | Register

Re: What is the simplest way to learn model theory?

Newsgroups	sci.logic
Date	2023-04-09 03:52 -0700
References	(10 earlier) <aa5140a5-eacb-4850-81bc-7f667edf779bn@googlegroups.com> <u0s6hd$1b3m5$1@dont-email.me> <u0s89u$32lnv$1@solani.org> <u0s9h6$32me1$1@solani.org> <d13abcae-2c16-4dfe-a913-5f094c5bf4aen@googlegroups.com>
Message-ID	<a9d4e182-ba3e-43b0-87f0-eae872645c01n@googlegroups.com> (permalink)
Subject	Re: What is the simplest way to learn model theory?
From	Julio Di Egidio <julio@diegidio.name>

Show all headers | View raw

On Sunday, 9 April 2023 at 12:48:24 UTC+2, Julio Di Egidio wrote:

> Then, on a side, by Curry-Howard, (P->True) <-> ~P, 

Error: that should be (P->False) <-> ~P.

Julio

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

Thread

What is the simplest way to learn model theory? olcott <polcott2@gmail.com> - 2023-04-07 00:50 -0500
  Re: What is the simplest way to learn model theory? Python <python@invalid.org> - 2023-04-07 10:40 +0200
    Re: What is the simplest way to learn model theory? Ross Finlayson <ross.a.finlayson@gmail.com> - 2023-04-07 09:32 -0700
      Re: What is the simplest way to learn model theory? Jeffrey Rubard <jeffreydanielrubard@gmail.com> - 2023-04-07 13:10 -0700
      Re: What is the simplest way to learn model theory? Ben Bacarisse <ben.usenet@bsb.me.uk> - 2023-04-07 21:56 +0100
        Re: What is the simplest way to learn model theory? Ross Finlayson <ross.a.finlayson@gmail.com> - 2023-04-07 18:06 -0700
          Re: What is the simplest way to learn model theory? olcott <polcott2@gmail.com> - 2023-04-07 20:30 -0500
          Re: What is the simplest way to learn model theory? Ross Finlayson <ross.a.finlayson@gmail.com> - 2023-04-08 11:20 -0700
            Re: What is the simplest way to learn model theory? Ross Finlayson <ross.a.finlayson@gmail.com> - 2023-04-08 12:57 -0700
              Re: What is the simplest way to learn model theory? Ross Finlayson <ross.a.finlayson@gmail.com> - 2023-04-08 13:03 -0700
        Re: What is the simplest way to learn model theory? olcott <polcott2@gmail.com> - 2023-04-07 23:25 -0500
          Re: What is the simplest way to learn model theory? Mostowski Collapse <bursejan@gmail.com> - 2023-04-08 00:59 -0700
            Re: What is the simplest way to learn model theory? Mostowski Collapse <bursejan@gmail.com> - 2023-04-08 01:07 -0700
              Re: What is the simplest way to learn model theory? Julio Di Egidio <julio@diegidio.name> - 2023-04-08 06:02 -0700
                Re: What is the simplest way to learn model theory? Julio Di Egidio <julio@diegidio.name> - 2023-04-08 16:36 +0200
                Re: What is the simplest way to learn model theory? Julio Di Egidio <julio@diegidio.name> - 2023-04-08 17:23 +0200
                Re: What is the simplest way to learn model theory? Mostowski Collapse <bursejan@gmail.com> - 2023-04-08 09:01 -0700
                Re: What is the simplest way to learn model theory? Mostowski Collapse <bursejan@gmail.com> - 2023-04-08 09:09 -0700
                Re: What is the simplest way to learn model theory? Julio Di Egidio <julio@diegidio.name> - 2023-04-08 09:21 -0700
                Re: What is the simplest way to learn model theory? Julio Di Egidio <julio@diegidio.name> - 2023-04-08 09:24 -0700
                Re: What is the simplest way to learn model theory? Mostowski Collapse <bursejan@gmail.com> - 2023-04-08 09:31 -0700
                Re: What is the simplest way to learn model theory? Mostowski Collapse <bursejan@gmail.com> - 2023-04-08 09:36 -0700
                Re: What is the simplest way to learn model theory? Julio Di Egidio <julio@diegidio.name> - 2023-04-08 18:59 +0200
                Re: What is the simplest way to learn model theory? Mostowski Collapse <janburse@fastmail.fm> - 2023-04-08 19:29 +0200
                Re: What is the simplest way to learn model theory? Mostowski Collapse <janburse@fastmail.fm> - 2023-04-08 19:50 +0200
                Re: What is the simplest way to learn model theory? Dan Christensen <Dan_Christensen@sympatico.ca> - 2023-04-08 12:13 -0700
                Re: What is the simplest way to learn model theory? Mostowski Collapse <bursejan@gmail.com> - 2023-04-09 02:42 -0700
                Re: What is the simplest way to learn model theory? Mostowski Collapse <bursejan@gmail.com> - 2023-04-09 02:44 -0700
                Re: What is the simplest way to learn model theory? Mostowski Collapse <bursejan@gmail.com> - 2023-04-09 03:47 -0700
                Re: What is the simplest way to learn model theory? Ross Finlayson <ross.a.finlayson@gmail.com> - 2023-04-09 10:08 -0700
                Re: What is the simplest way to learn model theory? Dan Christensen <Dan_Christensen@sympatico.ca> - 2023-04-10 08:19 -0700
                Re: What is the simplest way to learn model theory? Mostowski Collapse <bursejan@gmail.com> - 2023-04-10 08:27 -0700
                Re: What is the simplest way to learn model theory? Dan Christensen <Dan_Christensen@sympatico.ca> - 2023-04-10 10:53 -0700
                Re: What is the simplest way to learn model theory? Mostowski Collapse <bursejan@gmail.com> - 2023-04-10 12:42 -0700
                Re: What is the simplest way to learn model theory? Mostowski Collapse <bursejan@gmail.com> - 2023-04-10 12:59 -0700
                Re: What is the simplest way to learn model theory? Dan Christensen <Dan_Christensen@sympatico.ca> - 2023-04-10 21:48 -0700
                Re: What is the simplest way to learn model theory? Mostowski Collapse <bursejan@gmail.com> - 2023-04-10 23:44 -0700
                Re: What is the simplest way to learn model theory? Mostowski Collapse <bursejan@gmail.com> - 2023-04-11 01:18 -0700
                Re: What is the simplest way to learn model theory? Dan Christensen <Dan_Christensen@sympatico.ca> - 2023-04-11 08:55 -0700
                Re: What is the simplest way to learn model theory? Julio Di Egidio <julio@diegidio.name> - 2023-04-09 03:48 -0700
                Re: What is the simplest way to learn model theory? Julio Di Egidio <julio@diegidio.name> - 2023-04-09 03:52 -0700
                Re: What is the simplest way to learn model theory? Julio Di Egidio <julio@diegidio.name> - 2023-04-09 16:57 +0200
                Re: What is the simplest way to learn model theory? Julio Di Egidio <julio@diegidio.name> - 2023-04-09 17:24 +0200
                Re: What is the simplest way to learn model theory? Mostowski Collapse <bursejan@gmail.com> - 2023-04-09 10:44 -0700
                Re: What is the simplest way to learn model theory? Julio Di Egidio <julio@diegidio.name> - 2023-04-09 11:23 -0700
                Re: What is the simplest way to learn model theory? Julio Di Egidio <julio@diegidio.name> - 2023-04-09 13:52 -0700
                Re: What is the simplest way to learn model theory? Mostowski Collapse <bursejan@gmail.com> - 2023-04-09 14:04 -0700
                Re: What is the simplest way to learn model theory? Julio Di Egidio <julio@diegidio.name> - 2023-04-09 14:12 -0700
                Re: What is the simplest way to learn model theory? Mostowski Collapse <bursejan@gmail.com> - 2023-04-09 14:14 -0700
                Re: What is the simplest way to learn model theory? Julio Di Egidio <julio@diegidio.name> - 2023-04-09 14:25 -0700
                Re: What is the simplest way to learn model theory? Mostowski Collapse <bursejan@gmail.com> - 2023-04-09 14:26 -0700
                Re: What is the simplest way to learn model theory? Mostowski Collapse <bursejan@gmail.com> - 2023-04-09 14:29 -0700
                Re: What is the simplest way to learn model theory? Julio Di Egidio <julio@diegidio.name> - 2023-04-09 14:43 -0700
                Re: What is the simplest way to learn model theory? Mostowski Collapse <bursejan@gmail.com> - 2023-04-09 14:59 -0700
                Re: What is the simplest way to learn model theory? Julio Di Egidio <julio@diegidio.name> - 2023-04-09 15:20 -0700
                Re: What is the simplest way to learn model theory? Mostowski Collapse <bursejan@gmail.com> - 2023-04-09 15:46 -0700
                Re: What is the simplest way to learn model theory? Mostowski Collapse <bursejan@gmail.com> - 2023-04-09 15:50 -0700
                Re: What is the simplest way to learn model theory? Mostowski Collapse <bursejan@gmail.com> - 2023-04-09 15:59 -0700
                Re: What is the simplest way to learn model theory? Julio Di Egidio <julio@diegidio.name> - 2023-04-09 16:12 -0700
                Re: What is the simplest way to learn model theory? Mostowski Collapse <bursejan@gmail.com> - 2023-04-09 16:23 -0700
                Re: What is the simplest way to learn model theory? Mostowski Collapse <bursejan@gmail.com> - 2023-04-09 16:29 -0700
                Re: What is the simplest way to learn model theory? Julio Di Egidio <julio@diegidio.name> - 2023-04-09 16:40 -0700
                Re: What is the simplest way to learn model theory? Julio Di Egidio <julio@diegidio.name> - 2023-04-09 16:41 -0700
                Re: What is the simplest way to learn model theory? Mostowski Collapse <bursejan@gmail.com> - 2023-04-10 08:32 -0700
                Re: What is the simplest way to learn model theory? Mostowski Collapse <bursejan@gmail.com> - 2023-04-10 08:48 -0700
                Re: What is the simplest way to learn model theory? Mostowski Collapse <bursejan@gmail.com> - 2023-04-10 09:48 -0700
                Re: What is the simplest way to learn model theory? Julio Di Egidio <julio@diegidio.name> - 2023-04-11 06:35 -0700
                Re: What is the simplest way to learn model theory? Mostowski Collapse <bursejan@gmail.com> - 2023-04-11 16:22 -0700
                Re: What is the simplest way to learn model theory? Julio Di Egidio <julio@diegidio.name> - 2023-04-09 15:57 -0700
                Re: What is the simplest way to learn model theory? Ross Finlayson <ross.a.finlayson@gmail.com> - 2023-04-09 14:41 -0700
                Re: What is the simplest way to learn model theory? Ben Bacarisse <ben.usenet@bsb.me.uk> - 2023-04-09 23:12 +0100
            Re: What is the simplest way to learn model theory? Julio Di Egidio <julio@diegidio.name> - 2023-04-08 06:09 -0700
        Re: What is the simplest way to learn model theory? [function defined] olcott <polcott2@gmail.com> - 2023-04-08 11:47 -0500
        Re: What is the simplest way to learn model theory? [Ben Bacarisse] olcott <polcott2@gmail.com> - 2023-04-11 16:16 -0500
  Re: What is the simplest way to learn model theory? olcott <polcott2@gmail.com> - 2023-04-07 16:16 -0500
    Re: What is the simplest way to learn model theory? Mostowski Collapse <bursejan@gmail.com> - 2023-04-07 14:24 -0700
      Re: What is the simplest way to learn model theory? Mostowski Collapse <bursejan@gmail.com> - 2023-04-07 14:27 -0700
    Re: What is the simplest way to learn model theory? olcott <polcott2@gmail.com> - 2023-04-07 16:33 -0500
      Re: What is the simplest way to learn model theory? Julio Di Egidio <julio@diegidio.name> - 2023-04-07 14:52 -0700
        Re: What is the simplest way to learn model theory? olcott <polcott2@gmail.com> - 2023-04-07 16:55 -0500
          Re: What is the simplest way to learn model theory? Julio Di Egidio <julio@diegidio.name> - 2023-04-07 15:03 -0700
            Re: What is the simplest way to learn model theory? olcott <polcott2@gmail.com> - 2023-04-07 17:15 -0500
              Re: What is the simplest way to learn model theory? Julio Di Egidio <julio@diegidio.name> - 2023-04-07 15:21 -0700
            Re: What is the simplest way to learn model theory? olcott <polcott2@gmail.com> - 2023-04-07 17:29 -0500

csiph-web