Matches in SemOpenAlex for { <https://semopenalex.org/work/W3048064345> ?p ?o ?g. }
Showing items 1 to 90 of
90
with 100 items per page.
- W3048064345 abstract "The notion of a complete type can be generalized in a natural manner to allow assigning a value in an arbitrary Boolean algebra B to each formula. We show some basic results regarding the effect of the properties of B on the behavior of such types, and show they are particularity well behaved in the case of NIP theories. In particular, we generalize the third author's result about counting types, as well as the notion of a smooth type and extending a type to a smooth one. We then show that Keisler measures are tied to certain Boolean types and show that some of the results can thus be transferred to measures - in particular, giving an alternative proof of the fact that every measure in a dependent theory can be extended to a smooth one. We also study the stable case. We consider this paper as an invitation for more research into the topic of Boolean types." @default.
- W3048064345 created "2020-08-13" @default.
- W3048064345 creator A5024923217 @default.
- W3048064345 creator A5074260298 @default.
- W3048064345 creator A5086364920 @default.
- W3048064345 date "2020-08-07" @default.
- W3048064345 modified "2023-09-27" @default.
- W3048064345 title "Boolean Types in Dependent Theories" @default.
- W3048064345 cites W1496446432 @default.
- W3048064345 cites W1990284484 @default.
- W3048064345 cites W2106177549 @default.
- W3048064345 cites W2253359315 @default.
- W3048064345 cites W3019051213 @default.
- W3048064345 hasPublicationYear "2020" @default.
- W3048064345 type Work @default.
- W3048064345 sameAs 3048064345 @default.
- W3048064345 citedByCount "0" @default.
- W3048064345 crossrefType "posted-content" @default.
- W3048064345 hasAuthorship W3048064345A5024923217 @default.
- W3048064345 hasAuthorship W3048064345A5074260298 @default.
- W3048064345 hasAuthorship W3048064345A5086364920 @default.
- W3048064345 hasConcept C10021369 @default.
- W3048064345 hasConcept C105795698 @default.
- W3048064345 hasConcept C118615104 @default.
- W3048064345 hasConcept C124101348 @default.
- W3048064345 hasConcept C136119220 @default.
- W3048064345 hasConcept C14394260 @default.
- W3048064345 hasConcept C158465420 @default.
- W3048064345 hasConcept C187455244 @default.
- W3048064345 hasConcept C188159880 @default.
- W3048064345 hasConcept C18903297 @default.
- W3048064345 hasConcept C202444582 @default.
- W3048064345 hasConcept C207764348 @default.
- W3048064345 hasConcept C2776291640 @default.
- W3048064345 hasConcept C2777299769 @default.
- W3048064345 hasConcept C2780009758 @default.
- W3048064345 hasConcept C33923547 @default.
- W3048064345 hasConcept C39685927 @default.
- W3048064345 hasConcept C41008148 @default.
- W3048064345 hasConcept C45503250 @default.
- W3048064345 hasConcept C81518389 @default.
- W3048064345 hasConcept C86803240 @default.
- W3048064345 hasConceptScore W3048064345C10021369 @default.
- W3048064345 hasConceptScore W3048064345C105795698 @default.
- W3048064345 hasConceptScore W3048064345C118615104 @default.
- W3048064345 hasConceptScore W3048064345C124101348 @default.
- W3048064345 hasConceptScore W3048064345C136119220 @default.
- W3048064345 hasConceptScore W3048064345C14394260 @default.
- W3048064345 hasConceptScore W3048064345C158465420 @default.
- W3048064345 hasConceptScore W3048064345C187455244 @default.
- W3048064345 hasConceptScore W3048064345C188159880 @default.
- W3048064345 hasConceptScore W3048064345C18903297 @default.
- W3048064345 hasConceptScore W3048064345C202444582 @default.
- W3048064345 hasConceptScore W3048064345C207764348 @default.
- W3048064345 hasConceptScore W3048064345C2776291640 @default.
- W3048064345 hasConceptScore W3048064345C2777299769 @default.
- W3048064345 hasConceptScore W3048064345C2780009758 @default.
- W3048064345 hasConceptScore W3048064345C33923547 @default.
- W3048064345 hasConceptScore W3048064345C39685927 @default.
- W3048064345 hasConceptScore W3048064345C41008148 @default.
- W3048064345 hasConceptScore W3048064345C45503250 @default.
- W3048064345 hasConceptScore W3048064345C81518389 @default.
- W3048064345 hasConceptScore W3048064345C86803240 @default.
- W3048064345 hasLocation W30480643451 @default.
- W3048064345 hasOpenAccess W3048064345 @default.
- W3048064345 hasPrimaryLocation W30480643451 @default.
- W3048064345 hasRelatedWork W1417040606 @default.
- W3048064345 hasRelatedWork W1970386958 @default.
- W3048064345 hasRelatedWork W2012829681 @default.
- W3048064345 hasRelatedWork W2117006874 @default.
- W3048064345 hasRelatedWork W2131867629 @default.
- W3048064345 hasRelatedWork W2473161270 @default.
- W3048064345 hasRelatedWork W2554973281 @default.
- W3048064345 hasRelatedWork W2608984412 @default.
- W3048064345 hasRelatedWork W2740399465 @default.
- W3048064345 hasRelatedWork W2798658776 @default.
- W3048064345 hasRelatedWork W2891978536 @default.
- W3048064345 hasRelatedWork W2950374218 @default.
- W3048064345 hasRelatedWork W2950446711 @default.
- W3048064345 hasRelatedWork W2971511150 @default.
- W3048064345 hasRelatedWork W2981781166 @default.
- W3048064345 hasRelatedWork W3040677706 @default.
- W3048064345 hasRelatedWork W3047175761 @default.
- W3048064345 hasRelatedWork W3196914486 @default.
- W3048064345 hasRelatedWork W2184638957 @default.
- W3048064345 hasRelatedWork W2555264133 @default.
- W3048064345 isParatext "false" @default.
- W3048064345 isRetracted "false" @default.
- W3048064345 magId "3048064345" @default.
- W3048064345 workType "article" @default.