Thread Links			Date Links
Thread Prev	Thread Next	Thread Index	Date Prev	Date Next	Date Index

SUO: *Date 11 Apr 2002 -- Model Theory

To: SUO <standard-upper-ontology@ieee.org>, SemioCom <gdsemiocom@univ-perp.fr>, CG <cg@cs.uah.edu>
Subject: SUO: *Date 11 Apr 2002 -- Model Theory
From: Jon Awbrey <jawbrey@oakland.edu>
Date: Thu, 11 Apr 2002 21:56:14 -0400
References: <3CA8CA82.AF56B042@oakland.edu> <3CA93AD0.D3703B12@oakland.edu> <3CAB0AE4.EDED635A@oakland.edu> <3CAC623A.E8A9CD6F@oakland.edu> <3CADA935.AB62B0E3@oakland.edu> <3CAE810B.9091E1EF@oakland.edu> <3CAFDBBF.D494204D@oakland.edu> <3CB1982A.F18F2681@oakland.edu> <3CB26740.3C22919F@oakland.edu> <3CB3CC36.7839842D@oakland.edu>
Reply-To: Jon Awbrey <jawbrey@oakland.edu>
Sender: owner-standard-upper-ontology@majordomo.ieee.org


¤~~~~~~~~~¤~~~~~~~~~¤~~~~~~~~~¤~~~~~~~~~¤~~~~~~~~~¤

SUO WG Members,

I am laying out the standard elements of model theory,
as presented in the classic text of Chang and Keisler,
on the Ontology Sublist.  Here is the synopsis so far:

¤~~~~~~~~~¤~~~~~~~~~¤~~~~~~~~~¤~~~~~~~~~¤~~~~~~~~~¤

Model Theory

1.  Introduction

1.1.  What Is Model Theory?

01.  http://suo.ieee.org/ontology/msg03985.html
02.  http://suo.ieee.org/ontology/msg03986.html
03.  http://suo.ieee.org/ontology/msg03987.html

1.2.  Model Theory for Sentential Logic

04.  http://suo.ieee.org/ontology/msg03988.html
05.  http://suo.ieee.org/ontology/msg03989.html
06.  http://suo.ieee.org/ontology/msg03991.html
07.  http://suo.ieee.org/ontology/msg03992.html
08.  http://suo.ieee.org/ontology/msg03993.html
09.  http://suo.ieee.org/ontology/msg03994.html
10.  http://suo.ieee.org/ontology/msg03995.html

All of the above material is excerpted from:

| C.C. Chang and H.J. Keisler, 'Model Theory',
| North-Holland, Amsterdam, Netherlands, 1973.

¤~~~~~~~~~¤~~~~~~~~~¤~~~~~~~~~¤~~~~~~~~~¤~~~~~~~~~¤

Follow-Ups:
- SUO: *Date 12 Apr 2002 -- Sunset At Hawk's Nest
  - From: Jon Awbrey <jawbrey@oakland.edu>

References:
- SUO: *Date 01 Apr 2002 -- Survey
  - From: Jon Awbrey <jawbrey@oakland.edu>
- SUO: *Date 02 Apr 2002 -- Survey
  - From: Jon Awbrey <jawbrey@oakland.edu>
- SUO: *Date 03 Apr 2002 -- Logical Confoundations
  - From: Jon Awbrey <jawbrey@oakland.edu>
- SUO: *Date 04 Apr 2002 -- Program Semantics & Category Theory
  - From: Jon Awbrey <jawbrey@oakland.edu>
- SUO: *Date 05 Apr 2002 -- Formalism Engineering
  - From: Jon Awbrey <jawbrey@oakland.edu>
- SUO: *Date 06 Apr 2002 -- Formalism Engineering
  - From: Jon Awbrey <jawbrey@oakland.edu>
- SUO: *Date 07 Apr 2002 -- Common Logic & Common Sense
  - From: Jon Awbrey <jawbrey@oakland.edu>
- SUO: *Date 08 Apr 2002 -- Logical Languages, Auld, Bony, Braw, Dory, Eith, Hyte, & Unco
  - From: Jon Awbrey <jawbrey@oakland.edu>
- SUO: *Date 09 Apr 2002 -- Dispossessed Logic
  - From: Jon Awbrey <jawbrey@oakland.edu>
- SUO: *Date 10 Apr 2002 -- Dispossessed Logic
  - From: Jon Awbrey <jawbrey@oakland.edu>

Prev by Date: Re: SUO: Sowa's comments about CNN article about Cyc
Next by Date: SUO: Re: CNN article about Cyc
Prev by thread: SUO: *Date 10 Apr 2002 -- Dispossessed Logic
Next by thread: SUO: *Date 12 Apr 2002 -- Sunset At Hawk's Nest
Index(es):
- Date
- Thread