Source on types

Thread View: sci.logic

1 messages

[T] Back to Threads [V] Tree View [G] Group Articles

1 total messages Started by Joseph Dzikiewicz Wed, 05 Aug 1992 17:12

#96

Author: Joseph Dzikiewicz
Date: Wed, 05 Aug 1992 17:12

7 lines
573 bytes

Can anyone out there in net-land recommend a good source on types in 
model theory.  (ie, a type is a maximally consistent set of formulas
having a limited set of free variables.)

Thanks,
Joe Dzikiewicz
dzik@access.digex.com

Thread Navigation

This is a paginated view of messages in the thread with full content displayed inline.

Messages are displayed in chronological order, with the original post highlighted in green.

Use pagination controls to navigate through all messages in large threads.

Back to All Threads