Matches in SemOpenAlex for { <https://semopenalex.org/work/W3210060265> ?p ?o ?g. }
Showing items 1 to 86 of
86
with 100 items per page.
- W3210060265 abstract "The logic $${mathbb{L}}_theta ^1$$ was introduced in [She12]; it is the maximal logic below $${{mathbb{L}}_{theta, theta}}$$ in which a well ordering is not definable. We investigate it for θ a compact cardinal. We prove that it satisfies several parallels of classical theorems on first order logic, strengthening the thesis that it is a natural logic. In particular, two models are $${mathbb{L}}_theta ^1$$ -equivalent iff for some ω-sequence of θ-complete ultrafilters, the iterated ultrapowers by it of those two models are isomorphic. Also for strong limit λ>θ of cofinality $${aleph _0}$$ , every complete $${mathbb{L}}_theta ^1$$ -theory has a so-called special model of cardinality λ, a parallel of saturated. For first order theory T and singular strong limit cardinal λ, T has a so-called special model of cardinality λ. Using “special” in our context is justified by: it is unique (fixing T and λ), all reducts of a special model are special too, so we have another proof of interpolation in this case." @default.
- W3210060265 created "2021-11-08" @default.
- W3210060265 creator A5024923217 @default.
- W3210060265 date "2021-10-30" @default.
- W3210060265 modified "2023-09-27" @default.
- W3210060265 title "Isomorphic limit ultrapowers for infinitary logic" @default.
- W3210060265 cites W1968810634 @default.
- W3210060265 cites W2072087802 @default.
- W3210060265 cites W2325012204 @default.
- W3210060265 cites W2333748530 @default.
- W3210060265 cites W4213381177 @default.
- W3210060265 cites W4230936490 @default.
- W3210060265 cites W4247248535 @default.
- W3210060265 cites W1979392595 @default.
- W3210060265 doi "https://doi.org/10.1007/s11856-021-2226-x" @default.
- W3210060265 hasPublicationYear "2021" @default.
- W3210060265 type Work @default.
- W3210060265 sameAs 3210060265 @default.
- W3210060265 citedByCount "0" @default.
- W3210060265 crossrefType "journal-article" @default.
- W3210060265 hasAuthorship W3210060265A5024923217 @default.
- W3210060265 hasBestOaLocation W32100602652 @default.
- W3210060265 hasConcept C10138342 @default.
- W3210060265 hasConcept C110729354 @default.
- W3210060265 hasConcept C114614502 @default.
- W3210060265 hasConcept C118615104 @default.
- W3210060265 hasConcept C124101348 @default.
- W3210060265 hasConcept C134306372 @default.
- W3210060265 hasConcept C138885662 @default.
- W3210060265 hasConcept C142399903 @default.
- W3210060265 hasConcept C148070024 @default.
- W3210060265 hasConcept C151201525 @default.
- W3210060265 hasConcept C151730666 @default.
- W3210060265 hasConcept C162324750 @default.
- W3210060265 hasConcept C167930466 @default.
- W3210060265 hasConcept C182306322 @default.
- W3210060265 hasConcept C2778408900 @default.
- W3210060265 hasConcept C2779343474 @default.
- W3210060265 hasConcept C33923547 @default.
- W3210060265 hasConcept C41008148 @default.
- W3210060265 hasConcept C41895202 @default.
- W3210060265 hasConcept C47030870 @default.
- W3210060265 hasConcept C86803240 @default.
- W3210060265 hasConcept C87117476 @default.
- W3210060265 hasConcept C89507440 @default.
- W3210060265 hasConceptScore W3210060265C10138342 @default.
- W3210060265 hasConceptScore W3210060265C110729354 @default.
- W3210060265 hasConceptScore W3210060265C114614502 @default.
- W3210060265 hasConceptScore W3210060265C118615104 @default.
- W3210060265 hasConceptScore W3210060265C124101348 @default.
- W3210060265 hasConceptScore W3210060265C134306372 @default.
- W3210060265 hasConceptScore W3210060265C138885662 @default.
- W3210060265 hasConceptScore W3210060265C142399903 @default.
- W3210060265 hasConceptScore W3210060265C148070024 @default.
- W3210060265 hasConceptScore W3210060265C151201525 @default.
- W3210060265 hasConceptScore W3210060265C151730666 @default.
- W3210060265 hasConceptScore W3210060265C162324750 @default.
- W3210060265 hasConceptScore W3210060265C167930466 @default.
- W3210060265 hasConceptScore W3210060265C182306322 @default.
- W3210060265 hasConceptScore W3210060265C2778408900 @default.
- W3210060265 hasConceptScore W3210060265C2779343474 @default.
- W3210060265 hasConceptScore W3210060265C33923547 @default.
- W3210060265 hasConceptScore W3210060265C41008148 @default.
- W3210060265 hasConceptScore W3210060265C41895202 @default.
- W3210060265 hasConceptScore W3210060265C47030870 @default.
- W3210060265 hasConceptScore W3210060265C86803240 @default.
- W3210060265 hasConceptScore W3210060265C87117476 @default.
- W3210060265 hasConceptScore W3210060265C89507440 @default.
- W3210060265 hasLocation W32100602651 @default.
- W3210060265 hasLocation W32100602652 @default.
- W3210060265 hasOpenAccess W3210060265 @default.
- W3210060265 hasPrimaryLocation W32100602651 @default.
- W3210060265 hasRelatedWork W1901026612 @default.
- W3210060265 hasRelatedWork W1973737783 @default.
- W3210060265 hasRelatedWork W2014568148 @default.
- W3210060265 hasRelatedWork W2147918975 @default.
- W3210060265 hasRelatedWork W2157535554 @default.
- W3210060265 hasRelatedWork W2279499033 @default.
- W3210060265 hasRelatedWork W240702981 @default.
- W3210060265 hasRelatedWork W2962679058 @default.
- W3210060265 hasRelatedWork W3210060265 @default.
- W3210060265 hasRelatedWork W4299801131 @default.
- W3210060265 isParatext "false" @default.
- W3210060265 isRetracted "false" @default.
- W3210060265 magId "3210060265" @default.
- W3210060265 workType "article" @default.