Matches in SemOpenAlex for { <https://semopenalex.org/work/W2279499033> ?p ?o ?g. }
Showing items 1 to 97 of
97
with 100 items per page.
- W2279499033 abstract "We would like to develop model theory for T, a complete theory in L_{theta,theta}(tau) when theta is a compact cardinal. We already have bare bones stability theory and it seemed we can go no further. Dealing with ultrapowers (and ultraproducts) naturally we restrict ourselves to D a theta-complete ultrafilter on I, probably (I,theta)-regular. The basic theorems of model theory work and can be generalized (like Los theorem), but can we generalize deeper parts of model theory? The first section tries to sort out what occurs to the notion of stable T for complete L_{theta,theta}-theories T. We generalize several properties of complete first order T, equivalent to being stable (see [Sh:c]) and find out which implications hold and which fail. In particular, can we generalize stability enough to generalize [Sh:c, Ch. VI]? Let us concentrate on saturation in the local sense (types consisting of instances of one formula). We prove that at least we can characterize the T's (of cardinality 2^kappa +|T| in each of the following two senses. One is generalizing Keisler order which measures how saturated are ultrapowers. Another asks: Is there an L_{theta,theta}-theory T_1 supseteq T of cardinality |T| + 2^theta such that for every model M_1 of T_1 of cardinality > lambda, the tau(T)-reduct M of M_1 is lambda^+-saturated. Moreover, the two versions of stable used in the characterization are different." @default.
- W2279499033 created "2016-06-24" @default.
- W2279499033 creator A5024923217 @default.
- W2279499033 date "2013-03-21" @default.
- W2279499033 modified "2023-09-27" @default.
- W2279499033 title "Model Theory for a Compact Cardinal" @default.
- W2279499033 cites W161574771 @default.
- W2279499033 cites W1732934906 @default.
- W2279499033 cites W1809048060 @default.
- W2279499033 cites W1968810634 @default.
- W2279499033 cites W2007160927 @default.
- W2279499033 cites W2056503567 @default.
- W2279499033 cites W2088386286 @default.
- W2279499033 cites W2095026520 @default.
- W2279499033 cites W2106876176 @default.
- W2279499033 cites W2136001726 @default.
- W2279499033 cites W2316932045 @default.
- W2279499033 cites W2333748530 @default.
- W2279499033 cites W2799061192 @default.
- W2279499033 hasPublicationYear "2013" @default.
- W2279499033 type Work @default.
- W2279499033 sameAs 2279499033 @default.
- W2279499033 citedByCount "3" @default.
- W2279499033 countsByYear W22794990332013 @default.
- W2279499033 countsByYear W22794990332016 @default.
- W2279499033 countsByYear W22794990332018 @default.
- W2279499033 crossrefType "posted-content" @default.
- W2279499033 hasAuthorship W2279499033A5024923217 @default.
- W2279499033 hasConcept C10138342 @default.
- W2279499033 hasConcept C114614502 @default.
- W2279499033 hasConcept C118615104 @default.
- W2279499033 hasConcept C124101348 @default.
- W2279499033 hasConcept C134306372 @default.
- W2279499033 hasConcept C138885662 @default.
- W2279499033 hasConcept C162324750 @default.
- W2279499033 hasConcept C167930466 @default.
- W2279499033 hasConcept C182306322 @default.
- W2279499033 hasConcept C18903297 @default.
- W2279499033 hasConcept C2777299769 @default.
- W2279499033 hasConcept C2778408900 @default.
- W2279499033 hasConcept C33923547 @default.
- W2279499033 hasConcept C41008148 @default.
- W2279499033 hasConcept C41895202 @default.
- W2279499033 hasConcept C47030870 @default.
- W2279499033 hasConcept C86803240 @default.
- W2279499033 hasConcept C87117476 @default.
- W2279499033 hasConcept C87598191 @default.
- W2279499033 hasConcept C89507440 @default.
- W2279499033 hasConcept C96488702 @default.
- W2279499033 hasConceptScore W2279499033C10138342 @default.
- W2279499033 hasConceptScore W2279499033C114614502 @default.
- W2279499033 hasConceptScore W2279499033C118615104 @default.
- W2279499033 hasConceptScore W2279499033C124101348 @default.
- W2279499033 hasConceptScore W2279499033C134306372 @default.
- W2279499033 hasConceptScore W2279499033C138885662 @default.
- W2279499033 hasConceptScore W2279499033C162324750 @default.
- W2279499033 hasConceptScore W2279499033C167930466 @default.
- W2279499033 hasConceptScore W2279499033C182306322 @default.
- W2279499033 hasConceptScore W2279499033C18903297 @default.
- W2279499033 hasConceptScore W2279499033C2777299769 @default.
- W2279499033 hasConceptScore W2279499033C2778408900 @default.
- W2279499033 hasConceptScore W2279499033C33923547 @default.
- W2279499033 hasConceptScore W2279499033C41008148 @default.
- W2279499033 hasConceptScore W2279499033C41895202 @default.
- W2279499033 hasConceptScore W2279499033C47030870 @default.
- W2279499033 hasConceptScore W2279499033C86803240 @default.
- W2279499033 hasConceptScore W2279499033C87117476 @default.
- W2279499033 hasConceptScore W2279499033C87598191 @default.
- W2279499033 hasConceptScore W2279499033C89507440 @default.
- W2279499033 hasConceptScore W2279499033C96488702 @default.
- W2279499033 hasLocation W22794990331 @default.
- W2279499033 hasOpenAccess W2279499033 @default.
- W2279499033 hasPrimaryLocation W22794990331 @default.
- W2279499033 hasRelatedWork W1530861922 @default.
- W2279499033 hasRelatedWork W1621953021 @default.
- W2279499033 hasRelatedWork W1901026612 @default.
- W2279499033 hasRelatedWork W1998072591 @default.
- W2279499033 hasRelatedWork W2001752461 @default.
- W2279499033 hasRelatedWork W2019237208 @default.
- W2279499033 hasRelatedWork W2020563202 @default.
- W2279499033 hasRelatedWork W2042415135 @default.
- W2279499033 hasRelatedWork W2044107340 @default.
- W2279499033 hasRelatedWork W2130593600 @default.
- W2279499033 hasRelatedWork W2169702497 @default.
- W2279499033 hasRelatedWork W2232955493 @default.
- W2279499033 hasRelatedWork W2253359315 @default.
- W2279499033 hasRelatedWork W2319305328 @default.
- W2279499033 hasRelatedWork W2767137852 @default.
- W2279499033 hasRelatedWork W2901826564 @default.
- W2279499033 hasRelatedWork W2902274923 @default.
- W2279499033 hasRelatedWork W2949686543 @default.
- W2279499033 hasRelatedWork W299198827 @default.
- W2279499033 hasRelatedWork W3125800196 @default.
- W2279499033 isParatext "false" @default.
- W2279499033 isRetracted "false" @default.
- W2279499033 magId "2279499033" @default.
- W2279499033 workType "article" @default.