Matches in SemOpenAlex for { <https://semopenalex.org/work/W68314263> ?p ?o ?g. }
Showing items 1 to 82 of
82
with 100 items per page.
- W68314263 abstract "This essay is an attempt to create some model theory specific for the context of a type being omitted. Inspiration is sought mainly from three classical model theoretic theorems and from the infinitary logic Lω1ω. The classical theorems are the compactness theorem, the joint consistency theorem and the theorem of interpolation. Each theorem is transformed, mainly through the substitution of consistency with p↑-consistency (pronounciated p-consistency), into one or several properties applicable on types. The scope of these properties is then being examined to some extent. The project is mainly inspired by the work of Fredrik Engstrom in [1] and especially [2]. The theorems 2, 3, 6, 11 and 13 can all be considered classical results, that have only been more or less redrafted to fit the present setting and notation. Theorems 5, 8, 10 and 12 are, to the authors knowledge, new. None of the definitions are to be understood in any way as conventional notation. With the exeption of p↑-consistency (definition 1), which is borrowed from Engstrom, all explicit, enumerated definitions are made up specifically for this essay." @default.
- W68314263 created "2016-06-24" @default.
- W68314263 creator A5027578503 @default.
- W68314263 date "2011-05-10" @default.
- W68314263 modified "2023-09-27" @default.
- W68314263 title "Omitting Types and Model Theory" @default.
- W68314263 cites W1485277748 @default.
- W68314263 hasPublicationYear "2011" @default.
- W68314263 type Work @default.
- W68314263 sameAs 68314263 @default.
- W68314263 citedByCount "0" @default.
- W68314263 crossrefType "journal-article" @default.
- W68314263 hasAuthorship W68314263A5027578503 @default.
- W68314263 hasConcept C118615104 @default.
- W68314263 hasConcept C136119220 @default.
- W68314263 hasConcept C144237770 @default.
- W68314263 hasConcept C151730666 @default.
- W68314263 hasConcept C18648836 @default.
- W68314263 hasConcept C18903297 @default.
- W68314263 hasConcept C199343813 @default.
- W68314263 hasConcept C199360897 @default.
- W68314263 hasConcept C202444582 @default.
- W68314263 hasConcept C2776436953 @default.
- W68314263 hasConcept C2777299769 @default.
- W68314263 hasConcept C2777686260 @default.
- W68314263 hasConcept C2778012447 @default.
- W68314263 hasConcept C2779343474 @default.
- W68314263 hasConcept C33923547 @default.
- W68314263 hasConcept C41008148 @default.
- W68314263 hasConcept C45357846 @default.
- W68314263 hasConcept C47030870 @default.
- W68314263 hasConcept C71924100 @default.
- W68314263 hasConcept C86803240 @default.
- W68314263 hasConcept C94375191 @default.
- W68314263 hasConceptScore W68314263C118615104 @default.
- W68314263 hasConceptScore W68314263C136119220 @default.
- W68314263 hasConceptScore W68314263C144237770 @default.
- W68314263 hasConceptScore W68314263C151730666 @default.
- W68314263 hasConceptScore W68314263C18648836 @default.
- W68314263 hasConceptScore W68314263C18903297 @default.
- W68314263 hasConceptScore W68314263C199343813 @default.
- W68314263 hasConceptScore W68314263C199360897 @default.
- W68314263 hasConceptScore W68314263C202444582 @default.
- W68314263 hasConceptScore W68314263C2776436953 @default.
- W68314263 hasConceptScore W68314263C2777299769 @default.
- W68314263 hasConceptScore W68314263C2777686260 @default.
- W68314263 hasConceptScore W68314263C2778012447 @default.
- W68314263 hasConceptScore W68314263C2779343474 @default.
- W68314263 hasConceptScore W68314263C33923547 @default.
- W68314263 hasConceptScore W68314263C41008148 @default.
- W68314263 hasConceptScore W68314263C45357846 @default.
- W68314263 hasConceptScore W68314263C47030870 @default.
- W68314263 hasConceptScore W68314263C71924100 @default.
- W68314263 hasConceptScore W68314263C86803240 @default.
- W68314263 hasConceptScore W68314263C94375191 @default.
- W68314263 hasLocation W683142631 @default.
- W68314263 hasOpenAccess W68314263 @default.
- W68314263 hasPrimaryLocation W683142631 @default.
- W68314263 hasRelatedWork W1041371342 @default.
- W68314263 hasRelatedWork W1220155927 @default.
- W68314263 hasRelatedWork W1473763092 @default.
- W68314263 hasRelatedWork W156143863 @default.
- W68314263 hasRelatedWork W1989490550 @default.
- W68314263 hasRelatedWork W2037819832 @default.
- W68314263 hasRelatedWork W2089960623 @default.
- W68314263 hasRelatedWork W2097407030 @default.
- W68314263 hasRelatedWork W2100820159 @default.
- W68314263 hasRelatedWork W218854924 @default.
- W68314263 hasRelatedWork W2272316392 @default.
- W68314263 hasRelatedWork W2295797734 @default.
- W68314263 hasRelatedWork W2497338484 @default.
- W68314263 hasRelatedWork W2562854264 @default.
- W68314263 hasRelatedWork W2810993315 @default.
- W68314263 hasRelatedWork W3022662020 @default.
- W68314263 hasRelatedWork W3102554601 @default.
- W68314263 hasRelatedWork W3199300907 @default.
- W68314263 hasRelatedWork W354202743 @default.
- W68314263 hasRelatedWork W954176898 @default.
- W68314263 isParatext "false" @default.
- W68314263 isRetracted "false" @default.
- W68314263 magId "68314263" @default.
- W68314263 workType "article" @default.