Matches in SemOpenAlex for { <https://semopenalex.org/work/W2067360092> ?p ?o ?g. }
Showing items 1 to 97 of
97
with 100 items per page.
- W2067360092 endingPage "212" @default.
- W2067360092 startingPage "183" @default.
- W2067360092 abstract "We show how to build various models of first-order theories, which also have properties like: tree with only definable branches, atomic Boolean algebras or ordered fields with only definable automorphisms. For this we use a set-theoretic assertion, which may be interesting by itself on the existence of quite generic subsets of suitable partial orders of power λ+, which follows from ♦λ and even weaker hypotheses (e.g., λ=ℵ0, or λ strongly inaccessible). For a related assertion, which is equivalent to the morass see Shelah and Stanley [16]. The various specific constructions serve also as examples of how to use this set-theoretic lemma. We apply the method to construct rigid ordered fields, rigid atomic Boolean algebras, trees with only definable branches; all in successors of regular cardinals under appropriate set- theoretic assumptions. So we are able to answer (under suitable set-theoretic assumptions) the following algebraic question. Saltzman's Question. Is there a rigid real closed field, which is not a subfield of the reals?" @default.
- W2067360092 created "2016-06-24" @default.
- W2067360092 creator A5024923217 @default.
- W2067360092 date "1983-11-01" @default.
- W2067360092 modified "2023-10-16" @default.
- W2067360092 title "Models with second order properties IV. A general method and eliminating diamonds" @default.
- W2067360092 cites W128909481 @default.
- W2067360092 cites W1964163576 @default.
- W2067360092 cites W1977994335 @default.
- W2067360092 cites W1986446858 @default.
- W2067360092 cites W2003575709 @default.
- W2067360092 cites W2020750566 @default.
- W2067360092 cites W2023844735 @default.
- W2067360092 cites W2080309222 @default.
- W2067360092 cites W2094084820 @default.
- W2067360092 cites W2108294528 @default.
- W2067360092 doi "https://doi.org/10.1016/0168-0072(83)90013-1" @default.
- W2067360092 hasPublicationYear "1983" @default.
- W2067360092 type Work @default.
- W2067360092 sameAs 2067360092 @default.
- W2067360092 citedByCount "22" @default.
- W2067360092 countsByYear W20673600922013 @default.
- W2067360092 countsByYear W20673600922016 @default.
- W2067360092 countsByYear W20673600922019 @default.
- W2067360092 countsByYear W20673600922020 @default.
- W2067360092 countsByYear W20673600922021 @default.
- W2067360092 countsByYear W20673600922022 @default.
- W2067360092 countsByYear W20673600922023 @default.
- W2067360092 crossrefType "journal-article" @default.
- W2067360092 hasAuthorship W2067360092A5024923217 @default.
- W2067360092 hasConcept C100643331 @default.
- W2067360092 hasConcept C10138342 @default.
- W2067360092 hasConcept C113174947 @default.
- W2067360092 hasConcept C114614502 @default.
- W2067360092 hasConcept C118615104 @default.
- W2067360092 hasConcept C118712358 @default.
- W2067360092 hasConcept C134306372 @default.
- W2067360092 hasConcept C13851312 @default.
- W2067360092 hasConcept C162324750 @default.
- W2067360092 hasConcept C177264268 @default.
- W2067360092 hasConcept C182306322 @default.
- W2067360092 hasConcept C18903297 @default.
- W2067360092 hasConcept C199360897 @default.
- W2067360092 hasConcept C202444582 @default.
- W2067360092 hasConcept C2777759810 @default.
- W2067360092 hasConcept C33923547 @default.
- W2067360092 hasConcept C39685927 @default.
- W2067360092 hasConcept C40422974 @default.
- W2067360092 hasConcept C41008148 @default.
- W2067360092 hasConcept C46757340 @default.
- W2067360092 hasConcept C86803240 @default.
- W2067360092 hasConcept C9376300 @default.
- W2067360092 hasConcept C9652623 @default.
- W2067360092 hasConceptScore W2067360092C100643331 @default.
- W2067360092 hasConceptScore W2067360092C10138342 @default.
- W2067360092 hasConceptScore W2067360092C113174947 @default.
- W2067360092 hasConceptScore W2067360092C114614502 @default.
- W2067360092 hasConceptScore W2067360092C118615104 @default.
- W2067360092 hasConceptScore W2067360092C118712358 @default.
- W2067360092 hasConceptScore W2067360092C134306372 @default.
- W2067360092 hasConceptScore W2067360092C13851312 @default.
- W2067360092 hasConceptScore W2067360092C162324750 @default.
- W2067360092 hasConceptScore W2067360092C177264268 @default.
- W2067360092 hasConceptScore W2067360092C182306322 @default.
- W2067360092 hasConceptScore W2067360092C18903297 @default.
- W2067360092 hasConceptScore W2067360092C199360897 @default.
- W2067360092 hasConceptScore W2067360092C202444582 @default.
- W2067360092 hasConceptScore W2067360092C2777759810 @default.
- W2067360092 hasConceptScore W2067360092C33923547 @default.
- W2067360092 hasConceptScore W2067360092C39685927 @default.
- W2067360092 hasConceptScore W2067360092C40422974 @default.
- W2067360092 hasConceptScore W2067360092C41008148 @default.
- W2067360092 hasConceptScore W2067360092C46757340 @default.
- W2067360092 hasConceptScore W2067360092C86803240 @default.
- W2067360092 hasConceptScore W2067360092C9376300 @default.
- W2067360092 hasConceptScore W2067360092C9652623 @default.
- W2067360092 hasIssue "2" @default.
- W2067360092 hasLocation W20673600921 @default.
- W2067360092 hasOpenAccess W2067360092 @default.
- W2067360092 hasPrimaryLocation W20673600921 @default.
- W2067360092 hasRelatedWork W1985218657 @default.
- W2067360092 hasRelatedWork W2032611290 @default.
- W2067360092 hasRelatedWork W2067360092 @default.
- W2067360092 hasRelatedWork W2095110286 @default.
- W2067360092 hasRelatedWork W2136357364 @default.
- W2067360092 hasRelatedWork W2742285599 @default.
- W2067360092 hasRelatedWork W3126773016 @default.
- W2067360092 hasRelatedWork W4226371494 @default.
- W2067360092 hasRelatedWork W4244465134 @default.
- W2067360092 hasRelatedWork W4251326583 @default.
- W2067360092 hasVolume "25" @default.
- W2067360092 isParatext "false" @default.
- W2067360092 isRetracted "false" @default.
- W2067360092 magId "2067360092" @default.
- W2067360092 workType "article" @default.