Matches in SemOpenAlex for { <https://semopenalex.org/work/W1991083015> ?p ?o ?g. }
Showing items 1 to 95 of
95
with 100 items per page.
- W1991083015 endingPage "691" @default.
- W1991083015 startingPage "683" @default.
- W1991083015 abstract "The use of elementary submodels has become a standard tool in set-theoretic topology and infinitary combinatorics. Thus, in studying some combinatorial objects, one embeds them in a set, M , which is an elementary submodel of the universe, V (that is, ( M ; Є) ≺ ( V ; Є)). Applying the downward Löwenheim-Skolem Theorem, one can bound the cardinality of M . This tool enables one to capture various complicated closure arguments within the simple “≺”. However, in this paper, as in the paper [JT], we study the tool for its own sake. [JT] discussed various general properties of topological spaces in elementary submodels. In this paper, we specialize this consideration to the space of real numbers, ℝ. Our models M are not in general transitive. We will always have ℝ Є M , but not usually ℝ ⊆ M . We plan to study properties of the ℝ ⋂ M 's. In particular, as M varies, we wish to study whether any two of these ℝ ⋂ M 's are isomorphic as topological spaces, linear orders, or fields. As usual, it takes some sleight-of-hand to formalize these notions within the standard axioms of set theory (ZFC), since within ZFC, one cannot actually define the notion ( M ;Є) ≺ ( V ;Є). Instead, one proves theorems about M such that ( M ;Є) ≺ ( H (θ);Є), where θ is a “large enough” cardinal; here, H (θ) is the collection of all sets whose transitive closure has size less than θ." @default.
- W1991083015 created "2016-06-24" @default.
- W1991083015 creator A5022605683 @default.
- W1991083015 creator A5050771177 @default.
- W1991083015 date "2000-06-01" @default.
- W1991083015 modified "2023-09-27" @default.
- W1991083015 title "The real line in elementary submodels of set theory " @default.
- W1991083015 cites W135764390 @default.
- W1991083015 cites W1969705332 @default.
- W1991083015 cites W1979018557 @default.
- W1991083015 cites W2025774568 @default.
- W1991083015 cites W2049432673 @default.
- W1991083015 cites W4253381813 @default.
- W1991083015 doi "https://doi.org/10.2307/2586561" @default.
- W1991083015 hasPublicationYear "2000" @default.
- W1991083015 type Work @default.
- W1991083015 sameAs 1991083015 @default.
- W1991083015 citedByCount "8" @default.
- W1991083015 countsByYear W19910830152012 @default.
- W1991083015 crossrefType "journal-article" @default.
- W1991083015 hasAuthorship W1991083015A5022605683 @default.
- W1991083015 hasAuthorship W1991083015A5050771177 @default.
- W1991083015 hasConcept C111472728 @default.
- W1991083015 hasConcept C111919701 @default.
- W1991083015 hasConcept C114614502 @default.
- W1991083015 hasConcept C118615104 @default.
- W1991083015 hasConcept C124101348 @default.
- W1991083015 hasConcept C128896722 @default.
- W1991083015 hasConcept C136643341 @default.
- W1991083015 hasConcept C138885662 @default.
- W1991083015 hasConcept C146834321 @default.
- W1991083015 hasConcept C162324750 @default.
- W1991083015 hasConcept C167729594 @default.
- W1991083015 hasConcept C177264268 @default.
- W1991083015 hasConcept C191399111 @default.
- W1991083015 hasConcept C199360897 @default.
- W1991083015 hasConcept C2524010 @default.
- W1991083015 hasConcept C2778408900 @default.
- W1991083015 hasConcept C2778572836 @default.
- W1991083015 hasConcept C2779851814 @default.
- W1991083015 hasConcept C2780586882 @default.
- W1991083015 hasConcept C33923547 @default.
- W1991083015 hasConcept C34447519 @default.
- W1991083015 hasConcept C41008148 @default.
- W1991083015 hasConcept C41895202 @default.
- W1991083015 hasConcept C75432250 @default.
- W1991083015 hasConcept C81332173 @default.
- W1991083015 hasConcept C87117476 @default.
- W1991083015 hasConceptScore W1991083015C111472728 @default.
- W1991083015 hasConceptScore W1991083015C111919701 @default.
- W1991083015 hasConceptScore W1991083015C114614502 @default.
- W1991083015 hasConceptScore W1991083015C118615104 @default.
- W1991083015 hasConceptScore W1991083015C124101348 @default.
- W1991083015 hasConceptScore W1991083015C128896722 @default.
- W1991083015 hasConceptScore W1991083015C136643341 @default.
- W1991083015 hasConceptScore W1991083015C138885662 @default.
- W1991083015 hasConceptScore W1991083015C146834321 @default.
- W1991083015 hasConceptScore W1991083015C162324750 @default.
- W1991083015 hasConceptScore W1991083015C167729594 @default.
- W1991083015 hasConceptScore W1991083015C177264268 @default.
- W1991083015 hasConceptScore W1991083015C191399111 @default.
- W1991083015 hasConceptScore W1991083015C199360897 @default.
- W1991083015 hasConceptScore W1991083015C2524010 @default.
- W1991083015 hasConceptScore W1991083015C2778408900 @default.
- W1991083015 hasConceptScore W1991083015C2778572836 @default.
- W1991083015 hasConceptScore W1991083015C2779851814 @default.
- W1991083015 hasConceptScore W1991083015C2780586882 @default.
- W1991083015 hasConceptScore W1991083015C33923547 @default.
- W1991083015 hasConceptScore W1991083015C34447519 @default.
- W1991083015 hasConceptScore W1991083015C41008148 @default.
- W1991083015 hasConceptScore W1991083015C41895202 @default.
- W1991083015 hasConceptScore W1991083015C75432250 @default.
- W1991083015 hasConceptScore W1991083015C81332173 @default.
- W1991083015 hasConceptScore W1991083015C87117476 @default.
- W1991083015 hasIssue "02" @default.
- W1991083015 hasLocation W19910830151 @default.
- W1991083015 hasOpenAccess W1991083015 @default.
- W1991083015 hasPrimaryLocation W19910830151 @default.
- W1991083015 hasRelatedWork W145390965 @default.
- W1991083015 hasRelatedWork W1991083015 @default.
- W1991083015 hasRelatedWork W2356702416 @default.
- W1991083015 hasRelatedWork W2370531848 @default.
- W1991083015 hasRelatedWork W2394135826 @default.
- W1991083015 hasRelatedWork W24519920 @default.
- W1991083015 hasRelatedWork W3013412531 @default.
- W1991083015 hasRelatedWork W3124843723 @default.
- W1991083015 hasRelatedWork W66176321 @default.
- W1991083015 hasRelatedWork W754203602 @default.
- W1991083015 hasVolume "65" @default.
- W1991083015 isParatext "false" @default.
- W1991083015 isRetracted "false" @default.
- W1991083015 magId "1991083015" @default.
- W1991083015 workType "article" @default.