Matches in SemOpenAlex for { <https://semopenalex.org/work/W2907607941> ?p ?o ?g. }
Showing items 1 to 59 of
59
with 100 items per page.
- W2907607941 abstract "Let (A) and (B) be two first order structures of the same vocabulary. We shall consider the Ehrenfeucht-Fra{i}sse-game of length omega_1 of A and B which we denote by G_{omega_1}(A,B). This game is like the ordinary Ehrenfeucht-Fraisse-game of L_{omega omega} except that there are omega_1 moves. It is clear that G_{omega_1}(A,B) is determined if A and B are of cardinality <= aleph_1. We prove the following results: Theorem A: If V=L, then there are models A and B of cardinality aleph_2 such that the game G_{omega_1}(A,B) is non-determined. Theorem B: If it is consistent that there is a measurable cardinal, then it is consistent that G_{omega_1}(A,B) is determined for all A and B of cardinality <= aleph_2. Theorem C: For any kappa >= aleph_3 there are A and B of cardinality kappa such that the game G_{omega_1}(A,B) is non-determined." @default.
- W2907607941 created "2019-01-11" @default.
- W2907607941 creator A5020049513 @default.
- W2907607941 creator A5024923217 @default.
- W2907607941 creator A5067128079 @default.
- W2907607941 date "1993-05-14" @default.
- W2907607941 modified "2023-10-17" @default.
- W2907607941 title "The Ehrenfeucht-Fraisse-game of length omega_1" @default.
- W2907607941 doi "https://doi.org/10.48550/arxiv.math/9305204" @default.
- W2907607941 hasPublicationYear "1993" @default.
- W2907607941 type Work @default.
- W2907607941 sameAs 2907607941 @default.
- W2907607941 citedByCount "0" @default.
- W2907607941 crossrefType "posted-content" @default.
- W2907607941 hasAuthorship W2907607941A5020049513 @default.
- W2907607941 hasAuthorship W2907607941A5024923217 @default.
- W2907607941 hasAuthorship W2907607941A5067128079 @default.
- W2907607941 hasBestOaLocation W29076079411 @default.
- W2907607941 hasConcept C10138342 @default.
- W2907607941 hasConcept C114614502 @default.
- W2907607941 hasConcept C118615104 @default.
- W2907607941 hasConcept C121332964 @default.
- W2907607941 hasConcept C124101348 @default.
- W2907607941 hasConcept C162324750 @default.
- W2907607941 hasConcept C182306322 @default.
- W2907607941 hasConcept C2779557605 @default.
- W2907607941 hasConcept C33923547 @default.
- W2907607941 hasConcept C41008148 @default.
- W2907607941 hasConcept C62520636 @default.
- W2907607941 hasConcept C87117476 @default.
- W2907607941 hasConceptScore W2907607941C10138342 @default.
- W2907607941 hasConceptScore W2907607941C114614502 @default.
- W2907607941 hasConceptScore W2907607941C118615104 @default.
- W2907607941 hasConceptScore W2907607941C121332964 @default.
- W2907607941 hasConceptScore W2907607941C124101348 @default.
- W2907607941 hasConceptScore W2907607941C162324750 @default.
- W2907607941 hasConceptScore W2907607941C182306322 @default.
- W2907607941 hasConceptScore W2907607941C2779557605 @default.
- W2907607941 hasConceptScore W2907607941C33923547 @default.
- W2907607941 hasConceptScore W2907607941C41008148 @default.
- W2907607941 hasConceptScore W2907607941C62520636 @default.
- W2907607941 hasConceptScore W2907607941C87117476 @default.
- W2907607941 hasLocation W29076079411 @default.
- W2907607941 hasOpenAccess W2907607941 @default.
- W2907607941 hasPrimaryLocation W29076079411 @default.
- W2907607941 hasRelatedWork W1928275009 @default.
- W2907607941 hasRelatedWork W2020567882 @default.
- W2907607941 hasRelatedWork W2088559241 @default.
- W2907607941 hasRelatedWork W2169084983 @default.
- W2907607941 hasRelatedWork W2528333032 @default.
- W2907607941 hasRelatedWork W2903973362 @default.
- W2907607941 hasRelatedWork W2921972394 @default.
- W2907607941 hasRelatedWork W2997862231 @default.
- W2907607941 hasRelatedWork W3204102964 @default.
- W2907607941 hasRelatedWork W4286824753 @default.
- W2907607941 isParatext "false" @default.
- W2907607941 isRetracted "false" @default.
- W2907607941 magId "2907607941" @default.
- W2907607941 workType "article" @default.