Matches in SemOpenAlex for { <https://semopenalex.org/work/W1698261336> ?p ?o ?g. }
Showing items 1 to 70 of
70
with 100 items per page.
- W1698261336 abstract "We study the basic properties of a dual spectral topology on type spaces of h-inductive theories and its essential connection to infinitary logic. The topology is Hausdorff, has the Baire property, and its compactness characterises model completeness; it also has a basis of clopen sets and is described by the formulas of logic. The geometric types are closed in the type spaces under all the operations of infinitary logic, and we introduce a analogue of existentially universal structures, through which we interpret the full first order logic in type spaces. This shows how positive $omega$-saturation is a fundamental connection between and infinitary logic, and we suggest a analogue of Morleyisation." @default.
- W1698261336 created "2016-06-24" @default.
- W1698261336 creator A5089418235 @default.
- W1698261336 date "2014-03-11" @default.
- W1698261336 modified "2023-09-27" @default.
- W1698261336 title "On a spectral topology in positive model theory" @default.
- W1698261336 cites W1484200610 @default.
- W1698261336 cites W2032936454 @default.
- W1698261336 cites W2152319063 @default.
- W1698261336 hasPublicationYear "2014" @default.
- W1698261336 type Work @default.
- W1698261336 sameAs 1698261336 @default.
- W1698261336 citedByCount "0" @default.
- W1698261336 crossrefType "posted-content" @default.
- W1698261336 hasAuthorship W1698261336A5089418235 @default.
- W1698261336 hasConcept C114614502 @default.
- W1698261336 hasConcept C118615104 @default.
- W1698261336 hasConcept C13355873 @default.
- W1698261336 hasConcept C134306372 @default.
- W1698261336 hasConcept C17231256 @default.
- W1698261336 hasConcept C184720557 @default.
- W1698261336 hasConcept C18648836 @default.
- W1698261336 hasConcept C18903297 @default.
- W1698261336 hasConcept C191399826 @default.
- W1698261336 hasConcept C202444582 @default.
- W1698261336 hasConcept C2524010 @default.
- W1698261336 hasConcept C2777299769 @default.
- W1698261336 hasConcept C33923547 @default.
- W1698261336 hasConcept C86803240 @default.
- W1698261336 hasConceptScore W1698261336C114614502 @default.
- W1698261336 hasConceptScore W1698261336C118615104 @default.
- W1698261336 hasConceptScore W1698261336C13355873 @default.
- W1698261336 hasConceptScore W1698261336C134306372 @default.
- W1698261336 hasConceptScore W1698261336C17231256 @default.
- W1698261336 hasConceptScore W1698261336C184720557 @default.
- W1698261336 hasConceptScore W1698261336C18648836 @default.
- W1698261336 hasConceptScore W1698261336C18903297 @default.
- W1698261336 hasConceptScore W1698261336C191399826 @default.
- W1698261336 hasConceptScore W1698261336C202444582 @default.
- W1698261336 hasConceptScore W1698261336C2524010 @default.
- W1698261336 hasConceptScore W1698261336C2777299769 @default.
- W1698261336 hasConceptScore W1698261336C33923547 @default.
- W1698261336 hasConceptScore W1698261336C86803240 @default.
- W1698261336 hasLocation W16982613361 @default.
- W1698261336 hasOpenAccess W1698261336 @default.
- W1698261336 hasPrimaryLocation W16982613361 @default.
- W1698261336 hasRelatedWork W1531228811 @default.
- W1698261336 hasRelatedWork W1534848766 @default.
- W1698261336 hasRelatedWork W1963775277 @default.
- W1698261336 hasRelatedWork W2012818292 @default.
- W1698261336 hasRelatedWork W2062083196 @default.
- W1698261336 hasRelatedWork W2068520516 @default.
- W1698261336 hasRelatedWork W2083134633 @default.
- W1698261336 hasRelatedWork W2096931278 @default.
- W1698261336 hasRelatedWork W2111056284 @default.
- W1698261336 hasRelatedWork W2197520178 @default.
- W1698261336 hasRelatedWork W2223120106 @default.
- W1698261336 hasRelatedWork W2563823429 @default.
- W1698261336 hasRelatedWork W2587092656 @default.
- W1698261336 hasRelatedWork W2597056772 @default.
- W1698261336 hasRelatedWork W2947401218 @default.
- W1698261336 hasRelatedWork W2952567904 @default.
- W1698261336 hasRelatedWork W2986863241 @default.
- W1698261336 hasRelatedWork W3100936774 @default.
- W1698261336 hasRelatedWork W3124057456 @default.
- W1698261336 hasRelatedWork W597708701 @default.
- W1698261336 isParatext "false" @default.
- W1698261336 isRetracted "false" @default.
- W1698261336 magId "1698261336" @default.
- W1698261336 workType "article" @default.