Matches in SemOpenAlex for { <https://semopenalex.org/work/W4289362511> ?p ?o ?g. }
Showing items 1 to 55 of
55
with 100 items per page.
- W4289362511 abstract "The logic L^1_theta introduced in [Sh:797]; it is the maximal logic below L_theta theta in which a well ordering is not definable. We investigate it for theta a compact cardinal. We prove it satisfies several parallel of classical theorems on first order logic, strengthening the thesis that it is a natural logic. In particular, two models are L^1_theta-equivalent iff for some omega-sequence of theta-complete ultrafilters, the iterated ultra-powers by it of those two models are isomorphic." @default.
- W4289362511 created "2022-08-02" @default.
- W4289362511 creator A5024923217 @default.
- W4289362511 date "2018-10-29" @default.
- W4289362511 modified "2023-09-27" @default.
- W4289362511 title "Isomorphic limit ultrapowers for infinitary logic" @default.
- W4289362511 doi "https://doi.org/10.48550/arxiv.1810.12729" @default.
- W4289362511 hasPublicationYear "2018" @default.
- W4289362511 type Work @default.
- W4289362511 citedByCount "0" @default.
- W4289362511 crossrefType "posted-content" @default.
- W4289362511 hasAuthorship W4289362511A5024923217 @default.
- W4289362511 hasBestOaLocation W42893625111 @default.
- W4289362511 hasConcept C10138342 @default.
- W4289362511 hasConcept C114614502 @default.
- W4289362511 hasConcept C118615104 @default.
- W4289362511 hasConcept C134306372 @default.
- W4289362511 hasConcept C140479938 @default.
- W4289362511 hasConcept C151201525 @default.
- W4289362511 hasConcept C162324750 @default.
- W4289362511 hasConcept C182306322 @default.
- W4289362511 hasConcept C202444582 @default.
- W4289362511 hasConcept C2778112365 @default.
- W4289362511 hasConcept C33923547 @default.
- W4289362511 hasConcept C54355233 @default.
- W4289362511 hasConcept C86803240 @default.
- W4289362511 hasConceptScore W4289362511C10138342 @default.
- W4289362511 hasConceptScore W4289362511C114614502 @default.
- W4289362511 hasConceptScore W4289362511C118615104 @default.
- W4289362511 hasConceptScore W4289362511C134306372 @default.
- W4289362511 hasConceptScore W4289362511C140479938 @default.
- W4289362511 hasConceptScore W4289362511C151201525 @default.
- W4289362511 hasConceptScore W4289362511C162324750 @default.
- W4289362511 hasConceptScore W4289362511C182306322 @default.
- W4289362511 hasConceptScore W4289362511C202444582 @default.
- W4289362511 hasConceptScore W4289362511C2778112365 @default.
- W4289362511 hasConceptScore W4289362511C33923547 @default.
- W4289362511 hasConceptScore W4289362511C54355233 @default.
- W4289362511 hasConceptScore W4289362511C86803240 @default.
- W4289362511 hasLocation W42893625111 @default.
- W4289362511 hasOpenAccess W4289362511 @default.
- W4289362511 hasPrimaryLocation W42893625111 @default.
- W4289362511 hasRelatedWork W1964399277 @default.
- W4289362511 hasRelatedWork W1984723789 @default.
- W4289362511 hasRelatedWork W1989585328 @default.
- W4289362511 hasRelatedWork W1989770277 @default.
- W4289362511 hasRelatedWork W2055355518 @default.
- W4289362511 hasRelatedWork W2165966680 @default.
- W4289362511 hasRelatedWork W2333245644 @default.
- W4289362511 hasRelatedWork W2401318053 @default.
- W4289362511 hasRelatedWork W2963330383 @default.
- W4289362511 hasRelatedWork W2153852820 @default.
- W4289362511 isParatext "false" @default.
- W4289362511 isRetracted "false" @default.
- W4289362511 workType "article" @default.