Matches in SemOpenAlex for { <https://semopenalex.org/work/W2159221465> ?p ?o ?g. }
Showing items 1 to 53 of
53
with 100 items per page.
- W2159221465 endingPage "32" @default.
- W2159221465 startingPage "21" @default.
- W2159221465 abstract "Ehrenfeucht and Mostowski [3] introduced the notion of indiscernibles and proved that every first order theory has a model with an infinite set of order indiscernibles. Since their work, techniques involving indiscernibles have proved to be extremely useful for constructing models with various specialized properties. In this paper and in a sequel [5], we investigate the effective content of Ehrenfeucht's and Mostowski's result. In this paper we consider the question of which decidable theories have decidable models with infinite recursive sets of indiscernibles. In §1, using some basic facts from stability theory, we show that certain large classes of decidable theories have decidable models with infinite recursive sets of indiscernibles. For example, we show that every ω -stable decidable theory and every stable theory which possesses a certain strong decidability property called ∃ Q -decidability have such models. In §2 we construct several examples of decidable theories which have no decidable models with infinite recursive sets of indiscernibles. These examples show that our hypothesis for our positive results in §1 are necessary. Finally in §3 we give two applications of our results. First as an easy application of our results in §1, we show that every ω -stable decidable theory has uncountable models which realize only recursive types. Also our counterexamples in §2 allow us to answer negatively two questions of Baldwin and Kueker [1] concerning the effectiveness of their elimination of Ramsey quantifiers for certain theories. In [5], we show that in general the problem of finding an infinite set of indiscernibles in a decidable model is recursively equivalent to finding a path through a recursive infinite branching tree. Similarly, we show that the problem of finding an co-type of a set of indiscernibles in a decidable ω-categorical theory is recursively equivalent to finding a path through a highly recursive finitely branching tree." @default.
- W2159221465 created "2016-06-24" @default.
- W2159221465 creator A5062304670 @default.
- W2159221465 creator A5090907219 @default.
- W2159221465 date "1983-03-01" @default.
- W2159221465 modified "2023-10-16" @default.
- W2159221465 title "Indiscernibles and decidable models " @default.
- W2159221465 cites W2005659848 @default.
- W2159221465 cites W2028791022 @default.
- W2159221465 cites W2530695705 @default.
- W2159221465 cites W2799061192 @default.
- W2159221465 doi "https://doi.org/10.2307/2273316" @default.
- W2159221465 hasPublicationYear "1983" @default.
- W2159221465 type Work @default.
- W2159221465 sameAs 2159221465 @default.
- W2159221465 citedByCount "10" @default.
- W2159221465 countsByYear W21592214652012 @default.
- W2159221465 countsByYear W21592214652013 @default.
- W2159221465 countsByYear W21592214652015 @default.
- W2159221465 crossrefType "journal-article" @default.
- W2159221465 hasAuthorship W2159221465A5062304670 @default.
- W2159221465 hasAuthorship W2159221465A5090907219 @default.
- W2159221465 hasConcept C118615104 @default.
- W2159221465 hasConcept C153269930 @default.
- W2159221465 hasConcept C162838799 @default.
- W2159221465 hasConcept C33923547 @default.
- W2159221465 hasConcept C47030870 @default.
- W2159221465 hasConceptScore W2159221465C118615104 @default.
- W2159221465 hasConceptScore W2159221465C153269930 @default.
- W2159221465 hasConceptScore W2159221465C162838799 @default.
- W2159221465 hasConceptScore W2159221465C33923547 @default.
- W2159221465 hasConceptScore W2159221465C47030870 @default.
- W2159221465 hasIssue "01" @default.
- W2159221465 hasLocation W21592214651 @default.
- W2159221465 hasOpenAccess W2159221465 @default.
- W2159221465 hasPrimaryLocation W21592214651 @default.
- W2159221465 hasRelatedWork W1548332750 @default.
- W2159221465 hasRelatedWork W2049591942 @default.
- W2159221465 hasRelatedWork W2067699663 @default.
- W2159221465 hasRelatedWork W2108448248 @default.
- W2159221465 hasRelatedWork W2125305054 @default.
- W2159221465 hasRelatedWork W2919828861 @default.
- W2159221465 hasRelatedWork W2950459720 @default.
- W2159221465 hasRelatedWork W321640458 @default.
- W2159221465 hasRelatedWork W4288482050 @default.
- W2159221465 hasRelatedWork W4301007723 @default.
- W2159221465 hasVolume "48" @default.
- W2159221465 isParatext "false" @default.
- W2159221465 isRetracted "false" @default.
- W2159221465 magId "2159221465" @default.
- W2159221465 workType "article" @default.