Skip to main content
Archive for Mathematical LogicVolume 41, Issue 7, October 2002, Pages 669-671

A note on countable models of 1-based theories(Article)

  Save all to author list
  • Matematicki Institut, SANU, Knez Mihajlova 35, 11001 Beograd, Serbia

Abstract

We prove that the existence of a nonisolated type having a finite domain and which is orthogonal to φ in a 1-based theory implies that it has a continuum nonisomorphic countable models.

  • ISSN: 09335846
  • Source Type: Journal
  • Original language: English
  • DOI: 10.1007/s001530100116
  • Document Type: Article
  • Publisher: Springer New York

  Tanovic, P.; Matematicki Institut, SANU, Knez Mihajlova 35, Serbia;
© Copyright 2019 Elsevier B.V., All rights reserved.

Cited by 0 documents

Inform me when this document is cited in Scopus:
Set citation alert Set citation feed
{"topic":{"name":"Simple Theory; Minimality; Number","id":10389,"uri":"Topic/10389","prominencePercentile":62.182346,"prominencePercentileString":"62.182","overallScholarlyOutput":0},"dig":"6d1305c4be4354b1ded52b8f2f9a5270f66e97270d7687bf5f15317b12463169"}

SciVal Topic Prominence

Topic:
Prominence percentile: