Sign in
On constructive models of theories with linear Rudin-Keisler ordering
Journal article   Peer reviewed

On constructive models of theories with linear Rudin-Keisler ordering

Journal of logic and computation, Vol.22(4), pp.793-805
01/08/2012

Abstract

Computer Science Computer Science, Theory & Methods Logic Science & Technology Science & Technology - Other Topics Technology
It is known that the class of Ehrenfeucht theories admits a syntactical characterization and that a finite (Rudin-Keisler) pre-ordering and a function mapping this pre-ordering to naturals play the role of parameters in this characterization. In the article, we construct for any finite linear ordering L, a hereditary decidable Ehrenfeucht theory T possessing L as its Rudin-Keisler pre-ordering. Also, we discuss decidable and computable models of such theories.

Metrics

1 Record Views

Details

Usage Policy