Matches in SemOpenAlex for { <https://semopenalex.org/work/W2020926759> ?p ?o ?g. }
Showing items 1 to 81 of
81
with 100 items per page.
- W2020926759 endingPage "1358" @default.
- W2020926759 startingPage "1346" @default.
- W2020926759 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.
- W2020926759 created "2016-06-24" @default.
- W2020926759 creator A5021510208 @default.
- W2020926759 date "1989-12-01" @default.
- W2020926759 modified "2023-09-23" @default.
- W2020926759 title "A proof of morley's conjecture" @default.
- W2020926759 cites W1994734519 @default.
- W2020926759 cites W2017599420 @default.
- W2020926759 cites W2061701929 @default.
- W2020926759 cites W2069110520 @default.
- W2020926759 cites W4298194724 @default.
- W2020926759 cites W45491602 @default.
- W2020926759 doi "https://doi.org/10.1017/s0022481200041128" @default.
- W2020926759 hasPublicationYear "1989" @default.
- W2020926759 type Work @default.
- W2020926759 sameAs 2020926759 @default.
- W2020926759 citedByCount "3" @default.
- W2020926759 countsByYear W20209267592021 @default.
- W2020926759 crossrefType "journal-article" @default.
- W2020926759 hasAuthorship W2020926759A5021510208 @default.
- W2020926759 hasConcept C10138342 @default.
- W2020926759 hasConcept C110729354 @default.
- W2020926759 hasConcept C111472728 @default.
- W2020926759 hasConcept C114614502 @default.
- W2020926759 hasConcept C118615104 @default.
- W2020926759 hasConcept C121332964 @default.
- W2020926759 hasConcept C124101348 @default.
- W2020926759 hasConcept C138885662 @default.
- W2020926759 hasConcept C142399903 @default.
- W2020926759 hasConcept C156778621 @default.
- W2020926759 hasConcept C162324750 @default.
- W2020926759 hasConcept C182306322 @default.
- W2020926759 hasConcept C189950617 @default.
- W2020926759 hasConcept C2780012671 @default.
- W2020926759 hasConcept C2780990831 @default.
- W2020926759 hasConcept C33923547 @default.
- W2020926759 hasConcept C41008148 @default.
- W2020926759 hasConcept C47030870 @default.
- W2020926759 hasConcept C62520636 @default.
- W2020926759 hasConcept C87117476 @default.
- W2020926759 hasConceptScore W2020926759C10138342 @default.
- W2020926759 hasConceptScore W2020926759C110729354 @default.
- W2020926759 hasConceptScore W2020926759C111472728 @default.
- W2020926759 hasConceptScore W2020926759C114614502 @default.
- W2020926759 hasConceptScore W2020926759C118615104 @default.
- W2020926759 hasConceptScore W2020926759C121332964 @default.
- W2020926759 hasConceptScore W2020926759C124101348 @default.
- W2020926759 hasConceptScore W2020926759C138885662 @default.
- W2020926759 hasConceptScore W2020926759C142399903 @default.
- W2020926759 hasConceptScore W2020926759C156778621 @default.
- W2020926759 hasConceptScore W2020926759C162324750 @default.
- W2020926759 hasConceptScore W2020926759C182306322 @default.
- W2020926759 hasConceptScore W2020926759C189950617 @default.
- W2020926759 hasConceptScore W2020926759C2780012671 @default.
- W2020926759 hasConceptScore W2020926759C2780990831 @default.
- W2020926759 hasConceptScore W2020926759C33923547 @default.
- W2020926759 hasConceptScore W2020926759C41008148 @default.
- W2020926759 hasConceptScore W2020926759C47030870 @default.
- W2020926759 hasConceptScore W2020926759C62520636 @default.
- W2020926759 hasConceptScore W2020926759C87117476 @default.
- W2020926759 hasIssue "4" @default.
- W2020926759 hasLocation W20209267591 @default.
- W2020926759 hasOpenAccess W2020926759 @default.
- W2020926759 hasPrimaryLocation W20209267591 @default.
- W2020926759 hasRelatedWork W1988752145 @default.
- W2020926759 hasRelatedWork W2015696538 @default.
- W2020926759 hasRelatedWork W2020926759 @default.
- W2020926759 hasRelatedWork W2065640874 @default.
- W2020926759 hasRelatedWork W2077127157 @default.
- W2020926759 hasRelatedWork W24519920 @default.
- W2020926759 hasRelatedWork W3100813075 @default.
- W2020926759 hasRelatedWork W4239271273 @default.
- W2020926759 hasRelatedWork W4251891078 @default.
- W2020926759 hasRelatedWork W803785140 @default.
- W2020926759 hasVolume "54" @default.
- W2020926759 isParatext "false" @default.
- W2020926759 isRetracted "false" @default.
- W2020926759 magId "2020926759" @default.
- W2020926759 workType "article" @default.