Matches in SemOpenAlex for { <https://semopenalex.org/work/W4251891078> ?p ?o ?g. }
Showing items 1 to 72 of
72
with 100 items per page.
- W4251891078 endingPage "1358" @default.
- W4251891078 startingPage "1346" @default.
- W4251891078 abstract "In the 1960's, it was conjectured that a complete first order theory in a countable language would have a nondecreasing spectrum on uncountable cardinals. This conjecture became known as Morley's conjecture. Shelah has proved this in [10]. The intent of this paper is to give a different proof which resembles a more naive way of approaching this theorem. Let I(T, λ) = the number of nonisomorphic models of T in cardinality λ . We prove: Theorem 0.1. If T is a complete countable first order theory then for ℵ 0 < κ < λ , I(T,K) ≤ I(T, λ ) . In some sense, one can view Shelah's work on the classification of first order theories as an attack on Morley's conjecture. Over the years, he has shown that certain assumptions on a first order theory would lead to its having maximal spectrum in powers larger than the cardinality of its language (see §6 for precise references). At some point it must have seemed that Morley's conjecture would be a corollary to an exact calculation of all possible spectrums. In the end, this did not occur and, in fact, the exact spectrum functions are still not known (see [10]). Let us consider a naive approach to the proof. If we have two nonisomorphic models of the same cardinality and their cardinality is “large enough” then there should be some reason, irrespective of their cardinalities, which causes this nonisomorphism. If we could isolate this property and extend these models to a larger cardinality preserving this property, then the larger models would also be nonisomorphic. The notion of extendibility introduced in §2 is such a property which allows a version of this naive proof to work. Let us preview the sections." @default.
- W4251891078 created "2022-05-12" @default.
- W4251891078 creator A5021510208 @default.
- W4251891078 date "1989-12-01" @default.
- W4251891078 modified "2023-09-27" @default.
- W4251891078 title "A proof of morley's conjecture" @default.
- W4251891078 doi "https://doi.org/10.2307/2274818" @default.
- W4251891078 hasPublicationYear "1989" @default.
- W4251891078 type Work @default.
- W4251891078 citedByCount "0" @default.
- W4251891078 crossrefType "journal-article" @default.
- W4251891078 hasAuthorship W4251891078A5021510208 @default.
- W4251891078 hasConcept C10138342 @default.
- W4251891078 hasConcept C110729354 @default.
- W4251891078 hasConcept C111472728 @default.
- W4251891078 hasConcept C114614502 @default.
- W4251891078 hasConcept C118615104 @default.
- W4251891078 hasConcept C121332964 @default.
- W4251891078 hasConcept C124101348 @default.
- W4251891078 hasConcept C138885662 @default.
- W4251891078 hasConcept C142399903 @default.
- W4251891078 hasConcept C156778621 @default.
- W4251891078 hasConcept C162324750 @default.
- W4251891078 hasConcept C182306322 @default.
- W4251891078 hasConcept C189950617 @default.
- W4251891078 hasConcept C2780012671 @default.
- W4251891078 hasConcept C2780990831 @default.
- W4251891078 hasConcept C33923547 @default.
- W4251891078 hasConcept C41008148 @default.
- W4251891078 hasConcept C47030870 @default.
- W4251891078 hasConcept C62520636 @default.
- W4251891078 hasConcept C87117476 @default.
- W4251891078 hasConceptScore W4251891078C10138342 @default.
- W4251891078 hasConceptScore W4251891078C110729354 @default.
- W4251891078 hasConceptScore W4251891078C111472728 @default.
- W4251891078 hasConceptScore W4251891078C114614502 @default.
- W4251891078 hasConceptScore W4251891078C118615104 @default.
- W4251891078 hasConceptScore W4251891078C121332964 @default.
- W4251891078 hasConceptScore W4251891078C124101348 @default.
- W4251891078 hasConceptScore W4251891078C138885662 @default.
- W4251891078 hasConceptScore W4251891078C142399903 @default.
- W4251891078 hasConceptScore W4251891078C156778621 @default.
- W4251891078 hasConceptScore W4251891078C162324750 @default.
- W4251891078 hasConceptScore W4251891078C182306322 @default.
- W4251891078 hasConceptScore W4251891078C189950617 @default.
- W4251891078 hasConceptScore W4251891078C2780012671 @default.
- W4251891078 hasConceptScore W4251891078C2780990831 @default.
- W4251891078 hasConceptScore W4251891078C33923547 @default.
- W4251891078 hasConceptScore W4251891078C41008148 @default.
- W4251891078 hasConceptScore W4251891078C47030870 @default.
- W4251891078 hasConceptScore W4251891078C62520636 @default.
- W4251891078 hasConceptScore W4251891078C87117476 @default.
- W4251891078 hasIssue "4" @default.
- W4251891078 hasLocation W42518910781 @default.
- W4251891078 hasOpenAccess W4251891078 @default.
- W4251891078 hasPrimaryLocation W42518910781 @default.
- W4251891078 hasRelatedWork W1967385200 @default.
- W4251891078 hasRelatedWork W2020926759 @default.
- W4251891078 hasRelatedWork W2034208453 @default.
- W4251891078 hasRelatedWork W2065640874 @default.
- W4251891078 hasRelatedWork W2065676868 @default.
- W4251891078 hasRelatedWork W2077127157 @default.
- W4251891078 hasRelatedWork W24519920 @default.
- W4251891078 hasRelatedWork W2962679058 @default.
- W4251891078 hasRelatedWork W3100813075 @default.
- W4251891078 hasRelatedWork W3210060265 @default.
- W4251891078 hasVolume "54" @default.
- W4251891078 isParatext "false" @default.
- W4251891078 isRetracted "false" @default.
- W4251891078 workType "article" @default.