Matches in SemOpenAlex for { <https://semopenalex.org/work/W4310415081> ?p ?o ?g. }
Showing items 1 to 56 of
56
with 100 items per page.
- W4310415081 abstract "We prove analogues of model theory results for $mathcal{C}to mathcal{D}$ coherent functors, including variants of the omitting types theorem and some results on ultraproduct constructions. We introduce a distributive lattice valued invariant of $mathcal{C}to mathbf{Set}$ coherent functors that vanishes precisely on positively closed models, then we study its functorial properties." @default.
- W4310415081 created "2022-12-10" @default.
- W4310415081 creator A5024788421 @default.
- W4310415081 date "2022-11-26" @default.
- W4310415081 modified "2023-10-16" @default.
- W4310415081 title "Positive model theory of interpretations" @default.
- W4310415081 doi "https://doi.org/10.48550/arxiv.2211.14600" @default.
- W4310415081 hasPublicationYear "2022" @default.
- W4310415081 type Work @default.
- W4310415081 citedByCount "0" @default.
- W4310415081 crossrefType "posted-content" @default.
- W4310415081 hasAuthorship W4310415081A5024788421 @default.
- W4310415081 hasBestOaLocation W43104150811 @default.
- W4310415081 hasConcept C11821877 @default.
- W4310415081 hasConcept C118615104 @default.
- W4310415081 hasConcept C121332964 @default.
- W4310415081 hasConcept C156772000 @default.
- W4310415081 hasConcept C167930466 @default.
- W4310415081 hasConcept C190470478 @default.
- W4310415081 hasConcept C192606457 @default.
- W4310415081 hasConcept C202444582 @default.
- W4310415081 hasConcept C24890656 @default.
- W4310415081 hasConcept C2781204021 @default.
- W4310415081 hasConcept C33923547 @default.
- W4310415081 hasConcept C37914503 @default.
- W4310415081 hasConcept C47030870 @default.
- W4310415081 hasConceptScore W4310415081C11821877 @default.
- W4310415081 hasConceptScore W4310415081C118615104 @default.
- W4310415081 hasConceptScore W4310415081C121332964 @default.
- W4310415081 hasConceptScore W4310415081C156772000 @default.
- W4310415081 hasConceptScore W4310415081C167930466 @default.
- W4310415081 hasConceptScore W4310415081C190470478 @default.
- W4310415081 hasConceptScore W4310415081C192606457 @default.
- W4310415081 hasConceptScore W4310415081C202444582 @default.
- W4310415081 hasConceptScore W4310415081C24890656 @default.
- W4310415081 hasConceptScore W4310415081C2781204021 @default.
- W4310415081 hasConceptScore W4310415081C33923547 @default.
- W4310415081 hasConceptScore W4310415081C37914503 @default.
- W4310415081 hasConceptScore W4310415081C47030870 @default.
- W4310415081 hasLocation W43104150811 @default.
- W4310415081 hasLocation W43104150812 @default.
- W4310415081 hasOpenAccess W4310415081 @default.
- W4310415081 hasPrimaryLocation W43104150811 @default.
- W4310415081 hasRelatedWork W2012231710 @default.
- W4310415081 hasRelatedWork W2054929508 @default.
- W4310415081 hasRelatedWork W2145263719 @default.
- W4310415081 hasRelatedWork W2270313316 @default.
- W4310415081 hasRelatedWork W2280679128 @default.
- W4310415081 hasRelatedWork W2349761759 @default.
- W4310415081 hasRelatedWork W2374172218 @default.
- W4310415081 hasRelatedWork W3209669944 @default.
- W4310415081 hasRelatedWork W4226392115 @default.
- W4310415081 hasRelatedWork W4310415081 @default.
- W4310415081 isParatext "false" @default.
- W4310415081 isRetracted "false" @default.
- W4310415081 workType "article" @default.