Groups | Search | Server Info | Login | Register

Groups > sci.logic > #253777

Re: Why is model theory needed?

Newsgroups sci.logic
Date 2023-05-31 08:21 -0700
References (9 earlier) <bc185d98-d4b7-4a52-b966-434b9d57f07fn@googlegroups.com> <2f3a7acc-2f96-4d37-a99c-63c390155fdfn@googlegroups.com> <f1cf106a-6b10-4c4d-aae4-f392df1d86a9n@googlegroups.com> <9350b1db-77b3-4f08-8321-7737242387f7n@googlegroups.com> <ab1f8028-11d0-4442-bb83-fe620289a551n@googlegroups.com>
Message-ID <7d2ce2bb-efb1-4bbe-abe0-9e92a0b32dcfn@googlegroups.com> (permalink)
Subject Re: Why is model theory needed?
From Dan Christensen <Dan_Christensen@sympatico.ca>

Show all headers | View raw

On Wednesday, May 31, 2023 at 5:09:14 AM UTC-4, Mild Shock wrote:

> Dan Christensens proof still uses a lot of double negation 
> removal, is not constructive as it is presented currently: 
> http://www.dcproof.com/UniversalSet.htm

Double negation removal is a legitimate method of proof accepted by the vast majority of mathematicians. Must be frustrating as hell for you, Mr. Collapse. (Hee, hee!)

Dan

Download my DC Proof 2.0 freeware at http://www.dcproof.com
Visit my Math Blog at http://www.dcproof.wordpress.com

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

Thread

Re: Why is model theory needed? Mild Shock <bursejan@gmail.com> - 2023-05-30 15:05 -0700
  Re: Why is model theory needed? Mild Shock <bursejan@gmail.com> - 2023-05-30 15:14 -0700
    Re: Why is model theory needed? Mild Shock <bursejan@gmail.com> - 2023-05-30 15:57 -0700
    Re: Why is model theory needed? Dan Christensen <Dan_Christensen@sympatico.ca> - 2023-05-30 18:45 -0700
      Re: Why is model theory needed? Mild Shock <bursejan@gmail.com> - 2023-05-31 01:42 -0700
        Re: Why is model theory needed? Mild Shock <bursejan@gmail.com> - 2023-05-31 01:55 -0700
          Re: Why is model theory needed? Mild Shock <bursejan@gmail.com> - 2023-05-31 02:09 -0700
            Re: Why is model theory needed? Dan Christensen <Dan_Christensen@sympatico.ca> - 2023-05-31 08:21 -0700
              Re: Why is model theory needed? Ross Finlayson <ross.a.finlayson@gmail.com> - 2023-05-31 08:28 -0700
                Re: Why is model theory needed? Dan Christensen <Dan_Christensen@sympatico.ca> - 2023-05-31 08:39 -0700
                Re: Why is model theory needed? Ross Finlayson <ross.a.finlayson@gmail.com> - 2023-05-31 11:50 -0700
                Re: Why is model theory needed? Mild Shock <bursejan@gmail.com> - 2023-05-31 11:58 -0700
                Re: Why is model theory needed? Dan Christensen <Dan_Christensen@sympatico.ca> - 2023-05-31 13:10 -0700
                Re: Why is model theory needed? Ross Finlayson <ross.a.finlayson@gmail.com> - 2023-05-31 21:12 -0700
                Re: Why is model theory needed? Ross Finlayson <ross.a.finlayson@gmail.com> - 2023-05-31 21:35 -0700
                Re: Why is model theory needed? Ross Finlayson <ross.a.finlayson@gmail.com> - 2023-06-01 11:43 -0700
                Re: Why is model theory needed? Mild Shock <bursejan@gmail.com> - 2023-06-01 12:40 -0700
                Re: Why is model theory needed? Mild Shock <bursejan@gmail.com> - 2023-06-01 12:54 -0700
                Re: Why is model theory needed? Jeffrey Rubard <jeffreydanielrubard@gmail.com> - 2023-06-01 14:24 -0700
                Re: Why is model theory needed? Mild Shock <bursejan@gmail.com> - 2023-06-01 14:55 -0700
                Re: Why is model theory needed? Mild Shock <bursejan@gmail.com> - 2023-06-01 15:18 -0700
                Re: Why is model theory needed? Mild Shock <bursejan@gmail.com> - 2023-06-03 08:31 -0700
                Re: Why is model theory needed? Mild Shock <bursejan@gmail.com> - 2023-06-03 09:10 -0700
                Re: Why is model theory needed? Jeffrey Rubard <rehashedrubard@gmail.com> - 2023-06-02 08:19 -0700
                Re: Why is model theory needed? Mild Shock <bursejan@gmail.com> - 2023-06-02 11:20 -0700
                Re: Why is model theory needed? Jeffrey Rubard <rehashedrubard@gmail.com> - 2023-06-03 08:27 -0700
                Re: Why is model theory needed? Mild Shock <bursejan@gmail.com> - 2023-06-03 08:31 -0700
                Re: Why is model theory needed? Jeffrey Rubard <rehashedrubard@gmail.com> - 2023-06-03 13:53 -0700
                Re: Why is model theory needed? Mild Shock <bursejan@gmail.com> - 2023-06-03 13:57 -0700
                Re: Why is model theory needed? Jeffrey Rubard <rehashedrubard@gmail.com> - 2023-06-03 14:04 -0700
                Re: Why is model theory needed? Mild Shock <bursejan@gmail.com> - 2023-06-03 14:13 -0700
                Re: Why is model theory needed? Mild Shock <bursejan@gmail.com> - 2023-06-04 07:47 -0700
                Re: Why is model theory needed? Jeffrey Rubard <rehashedrubard@gmail.com> - 2023-06-04 08:26 -0700
                Re: Why is model theory needed? Mild Shock <janburse@fastmail.fm> - 2023-06-04 17:53 +0200
                Re: Why is model theory needed? Jeffrey Rubard <rehashedrubard@gmail.com> - 2023-06-04 15:31 -0700
                Re: Why is model theory needed? Mild Shock <bursejan@gmail.com> - 2023-06-04 17:21 -0700
                Re: Why is model theory needed? Mild Shock <bursejan@gmail.com> - 2023-06-04 17:30 -0700
                Re: Why is model theory needed? Mild Shock <bursejan@gmail.com> - 2023-06-04 17:39 -0700
                Re: Why is model theory needed? Mild Shock <bursejan@gmail.com> - 2023-06-04 17:49 -0700
                Re: Why is model theory needed? Jeffrey Rubard <rehashedrubard@gmail.com> - 2023-06-05 08:20 -0700
                Re: Why is model theory needed? Mild Shock <bursejan@gmail.com> - 2023-06-05 10:56 -0700
                Re: Why is model theory needed? Jeffrey Rubard <jeffreydanielrubard@gmail.com> - 2023-06-05 13:16 -0700
                Re: Why is model theory needed? Jeffrey Rubard <jeffreydanielrubard@gmail.com> - 2023-06-05 13:17 -0700
                Re: Why is model theory needed? Mild Shock <bursejan@gmail.com> - 2023-06-05 15:10 -0700
                Re: Why is model theory needed? Ross Finlayson <ross.a.finlayson@gmail.com> - 2023-06-05 14:07 -0700
                Re: Why is model theory needed? Mild Shock <bursejan@gmail.com> - 2023-06-05 15:09 -0700
                Re: Why is model theory needed? Ross Finlayson <ross.a.finlayson@gmail.com> - 2023-06-05 17:51 -0700
                Re: Why is model theory needed? Mild Shock <bursejan@gmail.com> - 2023-06-05 22:54 -0700
                Re: Why is model theory needed? Jeffrey Rubard <jeffreydanielrubard@gmail.com> - 2023-06-06 18:44 -0700
                Re: Why is model theory needed? Ross Finlayson <ross.a.finlayson@gmail.com> - 2023-06-06 21:02 -0700
                Re: Why is model theory needed? Jeffrey Rubard <jeffreydanielrubard@gmail.com> - 2023-06-07 11:42 -0700
                Re: Why is model theory needed? Mild Shock <bursejan@gmail.com> - 2023-06-07 13:48 -0700
                Re: Why is model theory needed? Mild Shock <janburse@fastmail.fm> - 2023-06-07 23:43 +0200
                Re: Why is model theory needed? Jeffrey Rubard <jeffreydanielrubard@gmail.com> - 2023-06-08 12:14 -0700
                Re: Why is model theory needed? Mild Shock <bursejan@gmail.com> - 2023-06-08 12:19 -0700
                Re: Why is model theory needed? Jeffrey Rubard <jeffreydanielrubard@gmail.com> - 2023-06-09 10:54 -0700
                Re: Why is model theory needed? Jeffrey Rubard <jeffreydanielrubard@gmail.com> - 2023-06-09 10:54 -0700
                Re: Why is model theory needed? Mild Shock <bursejan@gmail.com> - 2023-06-09 11:35 -0700
                Re: Why is model theory needed? Jeffrey Rubard <rehashedrubard@gmail.com> - 2023-06-09 11:53 -0700
                Re: Why is model theory needed? Mild Shock <bursejan@gmail.com> - 2023-06-09 11:58 -0700
                Re: Why is model theory needed? Jeffrey Rubard <jeffreydanielrubard@gmail.com> - 2023-06-09 15:27 -0700
                Re: Why is model theory needed? Jeffrey Rubard <rehashedrubard@gmail.com> - 2023-06-09 11:59 -0700
                Re: Why is model theory needed? Jeffrey Rubard <jeffreydanielrubard@gmail.com> - 2023-06-09 15:27 -0700
                Re: Why is model theory needed? Jeffrey Rubard <jeffreydanielrubard@gmail.com> - 2023-06-06 18:43 -0700
                Re: Why is model theory needed? Mild Shock <bursejan@gmail.com> - 2023-06-09 05:18 -0700
                Re: Why is model theory needed? Mild Shock <bursejan@gmail.com> - 2023-06-09 05:20 -0700
                Re: Why is model theory needed? Jeffrey Rubard <jeffreydanielrubard@gmail.com> - 2023-06-09 10:53 -0700
                Re: Why is model theory needed? Mild Shock <janburse@fastmail.fm> - 2023-06-09 21:28 +0200
                Re: Why is model theory needed? Jeffrey Rubard <jeffreydanielrubard@gmail.com> - 2023-06-09 15:27 -0700
                Re: Why is model theory needed? Jeffrey Rubard <jeffreydanielrubard@gmail.com> - 2023-06-09 15:28 -0700
                Re: Why is model theory needed? Mild Shock <bursejan@gmail.com> - 2023-06-09 15:45 -0700
                Re: Why is model theory needed? Jeffrey Rubard <jeffreydanielrubard@gmail.com> - 2023-06-09 15:51 -0700
                Re: Why is model theory needed? Jeffrey Rubard <jeffreydanielrubard@gmail.com> - 2023-06-09 15:51 -0700
                Re: Why is model theory needed? Jeffrey Rubard <rehashedrubard@gmail.com> - 2023-06-09 15:57 -0700
                Re: Why is model theory needed? Mild Shock <bursejan@gmail.com> - 2023-06-09 16:03 -0700
                Re: Why is model theory needed? Mild Shock <bursejan@gmail.com> - 2023-06-09 16:09 -0700
                Re: Why is model theory needed? Jeffrey Rubard <rehashedrubard@gmail.com> - 2023-06-09 16:19 -0700
                Re: Why is model theory needed? Jeffrey Rubard <rehashedrubard@gmail.com> - 2023-06-09 16:20 -0700
                Re: Why is model theory needed? Mild Shock <bursejan@gmail.com> - 2023-06-09 16:21 -0700
                Re: Why is model theory needed? Mild Shock <bursejan@gmail.com> - 2023-06-09 16:28 -0700
                Re: Why is model theory needed? Mild Shock <bursejan@gmail.com> - 2023-06-09 16:28 -0700
                Re: Why is model theory needed? Jeffrey Rubard <rehashedrubard@gmail.com> - 2023-06-10 08:25 -0700
                Re: Why is model theory needed? Mild Shock <bursejan@gmail.com> - 2023-06-10 09:08 -0700
                Re: Why is model theory needed? Mild Shock <bursejan@gmail.com> - 2023-06-10 09:13 -0700
                Re: Why is model theory needed? Jeffrey Rubard <jeffreydanielrubard@gmail.com> - 2023-06-10 12:52 -0700
                Re: Why is model theory needed? Jeffrey Rubard <jeffreydanielrubard@gmail.com> - 2023-06-10 13:21 -0700
                Re: Why is model theory needed? Jeffrey Rubard <rehashedrubard@gmail.com> - 2023-06-11 08:25 -0700
                Re: Why is model theory needed? Jeffrey Rubard <rehashedrubard@gmail.com> - 2023-06-11 08:44 -0700
                Re: Why is model theory needed? Jeffrey Rubard <rehashedrubard@gmail.com> - 2023-06-11 09:06 -0700
                Re: Why is model theory needed? Mild Shock <bursejan@gmail.com> - 2023-06-11 10:55 -0700
                Re: Why is model theory needed? Ross Finlayson <ross.a.finlayson@gmail.com> - 2023-06-11 11:54 -0700
                Re: Why is model theory needed? Mild Shock <bursejan@gmail.com> - 2023-06-11 13:12 -0700
                Re: Why is model theory needed? Ross Finlayson <ross.a.finlayson@gmail.com> - 2023-06-11 13:59 -0700
                Re: Why is model theory needed? Mild Shock <bursejan@gmail.com> - 2023-06-11 15:26 -0700
                Re: Why is model theory needed? Mild Shock <bursejan@gmail.com> - 2023-06-11 15:31 -0700
                Re: Why is model theory needed? Mild Shock <bursejan@gmail.com> - 2023-06-11 15:34 -0700
                Re: Why is model theory needed? Jeffrey Rubard <rehashedrubard@gmail.com> - 2023-06-12 08:31 -0700
                Re: Why is model theory needed? Mild Shock <bursejan@gmail.com> - 2023-06-12 08:39 -0700
                Re: Why is model theory needed? Jeffrey Rubard <rehashedrubard@gmail.com> - 2023-06-12 08:31 -0700
                Re: Why is model theory needed? Jeffrey Rubard <rehashedrubard@gmail.com> - 2023-06-12 08:30 -0700
                Re: Why is model theory needed? Jeffrey Rubard <jeffreydanielrubard@gmail.com> - 2023-06-10 12:51 -0700
                Re: Why is model theory needed? Mild Shock <bursejan@gmail.com> - 2023-06-10 15:13 -0700
                Re: Why is model theory needed? Mild Shock <bursejan@gmail.com> - 2023-06-10 15:19 -0700
                Re: Why is model theory needed? Jeffrey Rubard <rehashedrubard@gmail.com> - 2023-06-11 08:25 -0700
                Re: Why is model theory needed? Jeffrey Rubard <rehashedrubard@gmail.com> - 2023-06-10 08:24 -0700
              Re: Why is model theory needed? Ross Finlayson <ross.a.finlayson@gmail.com> - 2023-05-31 13:05 -0700
        Re: Why is model theory needed? Dan Christensen <Dan_Christensen@sympatico.ca> - 2023-05-31 08:15 -0700
          Re: Why is model theory needed? Mild Shock <bursejan@gmail.com> - 2023-05-31 11:41 -0700
            Re: Why is model theory needed? Ross Finlayson <ross.a.finlayson@gmail.com> - 2023-05-31 11:48 -0700
            Re: Why is model theory needed? Dan Christensen <Dan_Christensen@sympatico.ca> - 2023-05-31 12:52 -0700
              Re: Why is model theory needed? Ross Finlayson <ross.a.finlayson@gmail.com> - 2023-05-31 13:06 -0700
                Re: Why is model theory needed? Dan Christensen <Dan_Christensen@sympatico.ca> - 2023-05-31 13:28 -0700
                Re: Why is model theory needed? Ross Finlayson <ross.a.finlayson@gmail.com> - 2023-05-31 18:53 -0700
              Re: Why is model theory needed? Mild Shock <bursejan@gmail.com> - 2023-05-31 13:18 -0700
                Re: Why is model theory needed? Dan Christensen <Dan_Christensen@sympatico.ca> - 2023-05-31 13:53 -0700
                Re: Why is model theory needed? Mild Shock <bursejan@gmail.com> - 2023-05-31 13:58 -0700
                Re: Why is model theory needed? Mild Shock <bursejan@gmail.com> - 2023-05-31 14:06 -0700
                Re: Why is model theory needed? Jeffrey Rubard <jeffreydanielrubard@gmail.com> - 2023-05-31 14:08 -0700
                Re: Why is model theory needed? Dan Christensen <Dan_Christensen@sympatico.ca> - 2023-05-31 15:57 -0700
                Re: Why is model theory needed? Mild Shock <bursejan@gmail.com> - 2023-05-31 16:46 -0700
                Re: Why is model theory needed? Dan Christensen <Dan_Christensen@sympatico.ca> - 2023-05-31 17:31 -0700
                Re: Why is model theory needed? Mild Shock <bursejan@gmail.com> - 2023-06-01 02:48 -0700
                Re: Why is model theory needed? Mild Shock <bursejan@gmail.com> - 2023-06-01 03:02 -0700
                Re: Why is model theory needed? Ross Finlayson <ross.a.finlayson@gmail.com> - 2023-06-01 08:19 -0700
                Re: Why is model theory needed? Jeffrey Rubard <rehashedrubard@gmail.com> - 2023-06-01 08:42 -0700
                Re: Why is model theory needed? Dan Christensen <Dan_Christensen@sympatico.ca> - 2023-06-01 07:07 -0700
                Re: Why is model theory needed? Dan Christensen <Dan_Christensen@sympatico.ca> - 2023-06-01 11:03 -0700
                Re: Why is model theory needed? Mild Shock <bursejan@gmail.com> - 2023-06-01 11:08 -0700
                Re: Why is model theory needed? Mild Shock <bursejan@gmail.com> - 2023-06-01 11:14 -0700

csiph-web