Categoricity theory for lattice-valued model theory

A proof is presented of a version of the Morley categoricity theorem in lattice-valued model theory. Some useful notions, such as stable theory, indiscernible set, etc., are introduced into the lattice-valued model theory. The strong downward L-S-T theorem is proved to be true for the infinite value...

Full description

Saved in:
Bibliographic Details
Main Author: Shen Yun Fu
Format: Conference Proceeding
Language:English
Subjects:
Educational institutions
Lattices
Logic
Tellurium
Online Access:Request full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:A proof is presented of a version of the Morley categoricity theorem in lattice-valued model theory. Some useful notions, such as stable theory, indiscernible set, etc., are introduced into the lattice-valued model theory. The strong downward L-S-T theorem is proved to be true for the infinite value lattice L, although the compactness theorem does not hold in that case.< >
DOI:10.1109/ISMVL.1989.37775