Groups | Search | Server Info | Login | Register

Groups > sci.logic > #254293

Re: Why is model theory needed?

Newsgroups sci.logic
Date 2023-06-12 10:40 -0700
References (48 earlier) <7f02bce3-4162-4744-a574-98886e91eee8n@googlegroups.com> <7615e7d1-17b1-4cc4-9ed3-7dd9004b0f56n@googlegroups.com> <704aa71e-abb9-4a62-9aee-9da98f77d6e8n@googlegroups.com> <d420c08d-e274-4343-89b6-24b7ed767d0cn@googlegroups.com> <87a983a1-1c3f-4251-a8c1-5a3bfde9dd14n@googlegroups.com>
Message-ID <bc691dfa-a8b3-426b-898f-70a4fc346adfn@googlegroups.com> (permalink)
Subject Re: Why is model theory needed?
From Mild Shock <bursejan@gmail.com>

Show all headers | View raw

It even labels the lines of a stanza wrongly:

In his cabin, secluded and grim (A)
Unabomber's mind took a dark trim (B)
His thoughts, twisted and extreme (A)
A danger lurking in his scheme (B)

So there is still room for improvement. 

Mild Shock schrieb am Montag, 12. Juni 2023 um 19:35:12 UTC+2:
> But the thingy cannot do A B A B?

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

Thread

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 <theleasthappyfella@gmail.com> - 2023-06-12 08:56 -0700
                Re: Why is model theory needed? Ross Finlayson <ross.a.finlayson@gmail.com> - 2023-06-12 09:00 -0700
                Re: Why is model theory needed? Jeffrey Rubard <theleasthappyfella@gmail.com> - 2023-06-12 09:07 -0700
                Re: Why is model theory needed? Mild Shock <bursejan@gmail.com> - 2023-06-12 09:22 -0700
                Re: Why is model theory needed? Jeffrey Rubard <theleasthappyfella@gmail.com> - 2023-06-12 13:30 -0700
                Re: Why is model theory needed? Ross Finlayson <ross.a.finlayson@gmail.com> - 2023-06-12 09:37 -0700
                Re: Why is model theory needed? Mild Shock <bursejan@gmail.com> - 2023-06-12 09:50 -0700
                Re: Why is model theory needed? Ross Finlayson <ross.a.finlayson@gmail.com> - 2023-06-12 10:13 -0700
                Re: Why is model theory needed? Mild Shock <bursejan@gmail.com> - 2023-06-12 10:27 -0700
                Re: Why is model theory needed? Mild Shock <bursejan@gmail.com> - 2023-06-12 10:35 -0700
                Re: Why is model theory needed? Mild Shock <bursejan@gmail.com> - 2023-06-12 10:40 -0700
                Re: Why is model theory needed? Mild Shock <bursejan@gmail.com> - 2023-06-12 10:48 -0700
                Re: Why is model theory needed? Jeffrey Rubard <theleasthappyfella@gmail.com> - 2023-06-12 13:29 -0700
                Re: Why is model theory needed? Mild Shock <bursejan@gmail.com> - 2023-06-12 16:07 -0700
                Re: Why is model theory needed? Jeffrey Rubard <theleasthappyfella@gmail.com> - 2023-06-13 08:31 -0700
                Re: Why is model theory needed? Jeffrey Rubard <theleasthappyfella@gmail.com> - 2023-06-13 13:07 -0700
                Re: Why is model theory needed? Mild Shock <bursejan@gmail.com> - 2023-06-14 03:19 -0700
                Re: Why is model theory needed? Mild Shock <bursejan@gmail.com> - 2023-06-14 03:21 -0700
                Re: Why is model theory needed? Jeffrey Rubard <theleasthappyfella@gmail.com> - 2023-06-14 12:42 -0700
                Re: Why is model theory needed? Jeffrey Rubard <rehashedrubard@gmail.com> - 2023-06-14 13:50 -0700
                Re: Why is model theory needed? Mild Shock <bursejan@gmail.com> - 2023-06-15 08:22 -0700
                Re: Why is model theory needed? Mild Shock <bursejan@gmail.com> - 2023-06-15 08:32 -0700
                Re: Why is model theory needed? Mild Shock <bursejan@gmail.com> - 2023-06-15 08:35 -0700
                Re: Why is model theory needed? Jeffrey Rubard <rehashedrubard@gmail.com> - 2023-06-15 08:37 -0700
                Re: Why is model theory needed? Mild Shock <bursejan@gmail.com> - 2023-06-15 08:46 -0700
                Re: Why is model theory needed? Jeffrey Rubard <jeffreydanielrubard@gmail.com> - 2023-06-15 14:27 -0700
                Re: Why is model theory needed? Mild Shock <bursejan@gmail.com> - 2023-06-15 14:42 -0700
                Re: Why is model theory needed? Jeffrey Rubard <jeffreydanielrubard@gmail.com> - 2023-06-15 14:56 -0700
                Re: Why is model theory needed? Mild Shock <bursejan@gmail.com> - 2023-06-16 02:31 -0700
                Re: Why is model theory needed? Jeffrey Rubard <theleasthappyfella@gmail.com> - 2023-06-16 08:24 -0700
                Re: Why is model theory needed? Jeffrey Rubard <jeffreydanielrubard@gmail.com> - 2023-06-16 10:54 -0700
                Re: Why is model theory needed? Jeffrey Rubard <theleasthappyfella@gmail.com> - 2023-06-17 08:19 -0700
                Re: Why is model theory needed? Mild Shock <bursejan@gmail.com> - 2023-06-17 08:23 -0700
                Re: Why is model theory needed? Jeffrey Rubard <jeffreydanielrubard@gmail.com> - 2023-06-17 13:44 -0700
                Re: Why is model theory needed? Jeffrey Rubard <jeffreydanielrubard@gmail.com> - 2023-06-17 13:45 -0700
                Re: Why is model theory needed? Jeffrey Rubard <rehashedrubard@gmail.com> - 2023-06-18 08:23 -0700
                Re: Why is model theory needed? Jeffrey Rubard <rehashedrubard@gmail.com> - 2023-06-18 08:41 -0700
                Re: Why is model theory needed? Jeffrey Rubard <jeffreydanielrubard@gmail.com> - 2023-06-18 15:49 -0700
                Re: Why is model theory needed? Jeffrey Rubard <theleasthappyfella@gmail.com> - 2023-06-19 08:36 -0700
                Re: Why is model theory needed? Jeffrey Rubard <theleasthappyfella@gmail.com> - 2023-06-19 08:38 -0700
                Re: Why is model theory needed? Jeffrey Rubard <jeffreydanielrubard@gmail.com> - 2023-06-20 12:50 -0700
                Re: Why is model theory needed? Jeffrey Rubard <rehashedrubard@gmail.com> - 2023-06-21 08:35 -0700
                Re: Why is model theory needed? Ross Finlayson <ross.a.finlayson@gmail.com> - 2023-06-19 13:58 -0700
                Re: Why is model theory needed? Jeffrey Rubard <theleasthappyfella@gmail.com> - 2023-06-20 12:15 -0700
                Re: Why is model theory needed? Jeffrey Rubard <rehashedrubard@gmail.com> - 2023-06-15 08:36 -0700
                Re: Why is model theory needed? Jeffrey Rubard <theleasthappyfella@gmail.com> - 2023-06-12 13:30 -0700
                Re: Why is model theory needed? Jeffrey Rubard <theleasthappyfella@gmail.com> - 2023-06-12 13:31 -0700
                Re: Why is model theory needed? Ross Finlayson <ross.a.finlayson@gmail.com> - 2023-06-12 14:27 -0700
                Re: Why is model theory needed? Jeffrey Rubard <jeffreydanielrubard@gmail.com> - 2023-06-12 14:31 -0700
                Re: Why is model theory needed? Jeffrey Rubard <jeffreydanielrubard@gmail.com> - 2023-06-12 14:33 -0700
                Re: Why is model theory needed? Ross Finlayson <ross.a.finlayson@gmail.com> - 2023-06-12 18:46 -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

csiph-web