Types directed by constants

Annals of Pure and Applied Logic 161 (7):944-955 (2010)
  Copy   BIBTEX

Abstract

Let T be a complete, countable, first-order theory having infinite models. We introduce types directed by constants, and prove that their presence in a model of T guaranties the maximal number of non-isomorphic countable models : I=2

Categories

Keywords

Reprint years

DOI

10.1016/j.apal.2009.12.002

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,682

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

A probability law for the fundamental constants.B. Roy Frieden - 1986 - Foundations of Physics 16 (9):883-903.
Top 1: Update with Centering.I. I. I. Sem - unknown
Pupils' humour directed at teachers: its types and functions.Klára Šeďová - 2013 - Educational Studies 39 (5):522-534.
Sentential constants in R and r⌝.Robert K. Meyer - 1986 - Studia Logica 45 (3):301 - 327.
Logical constants across varying types.Johan van Benthem - 1989 - Notre Dame Journal of Formal Logic 30 (3):315-342.
Constants of Nature from the Dynamics of Time.Michael A. Sherbon - manuscript
New intuitionistic logical constants and Novikov completeness.Alexander Yashin - 1999 - Studia Logica 63 (2):151-180.
Reduction of arithmetic to logic based on the theory of types without the axiom of infinity and the typical ambiguity of arithmetical constants.Ludwik Borkowski - 1958 - Studia Logica 8 (1):283 - 297.
Logical Constants.K. Warmbrõd - 1999 - Mind 108 (431):503 - 538.
Theories with constants and three countable models.Predrag Tanović - 2007 - Archive for Mathematical Logic 46 (5-6):517-527.
Guarded fragments with constants.Balder ten Cate & Massimo Franceschet - 2005 - Journal of Logic, Language and Information 14 (3):281-288.
Non-isolated types in stable theories.Predrag Tanović - 2007 - Annals of Pure and Applied Logic 145 (1):1-15.
The problem of logical constants.Mario Gómez-Torrente - 2002 - Bulletin of Symbolic Logic 8 (1):1-37.

Analytics

Added to PP
2013-12-18

Downloads
28 (#582,809)

6 months
4 (#843,989)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Minimal first-order structures.Predrag Tanović - 2011 - Annals of Pure and Applied Logic 162 (11):948-957.
On Kueker's conjecture.Predrag Tanović - 2012 - Journal of Symbolic Logic 77 (4):1245-1256.
Simple types in discretely ordered structures.Dejan Ilić - 2014 - Archive for Mathematical Logic 53 (7-8):929-947.

Add more citations

References found in this work

Stable theories, pseudoplanes and the number of countable models.Anand Pillay - 1989 - Annals of Pure and Applied Logic 43 (2):147-160.
End extensions and numbers of countable models.Saharon Shelah - 1978 - Journal of Symbolic Logic 43 (3):550-562.
On constants and the strict order property.Predrag Tanović - 2006 - Archive for Mathematical Logic 45 (4):423-430.
Number of countable models.Anand Pillay - 1978 - Journal of Symbolic Logic 43 (3):492-496.

Add more references