Matches in SemOpenAlex for { <https://semopenalex.org/work/W2068961663> ?p ?o ?g. }
Showing items 1 to 65 of
65
with 100 items per page.
- W2068961663 endingPage "28" @default.
- W2068961663 startingPage "19" @default.
- W2068961663 abstract "A method for constructing Boolean-valued models of some fragments of arithmetic was developed in Krajíček (Forcing with Random Variables and Proof Complexity, London Mathematical Society Lecture Notes Series, Cambridge University Press, Cambridge, 2011), with the intended applications in bounded arithmetic and proof complexity. Such a model is formed by a family of random variables defined on a pseudo-finite sample space. We show that under a fairly natural condition on the family [called compactness in Krajíček (Forcing with Random Variables and Proof Complexity, London Mathematical Society Lecture Notes Series, Cambridge University Press, Cambridge, 2011)] the resulting structure has a property that is naturally interpreted as saturation for existential types. We also give an example showing that this cannot be extended to universal types." @default.
- W2068961663 created "2016-06-24" @default.
- W2068961663 creator A5069803587 @default.
- W2068961663 date "2012-09-13" @default.
- W2068961663 modified "2023-10-14" @default.
- W2068961663 title "A saturation property of structures obtained by forcing with a compact family of random variables" @default.
- W2068961663 cites W4248733413 @default.
- W2068961663 cites W889431080 @default.
- W2068961663 doi "https://doi.org/10.1007/s00153-012-0304-9" @default.
- W2068961663 hasPublicationYear "2012" @default.
- W2068961663 type Work @default.
- W2068961663 sameAs 2068961663 @default.
- W2068961663 citedByCount "29" @default.
- W2068961663 countsByYear W20689616632012 @default.
- W2068961663 countsByYear W20689616632015 @default.
- W2068961663 countsByYear W20689616632019 @default.
- W2068961663 crossrefType "journal-article" @default.
- W2068961663 hasAuthorship W2068961663A5069803587 @default.
- W2068961663 hasBestOaLocation W20689616632 @default.
- W2068961663 hasConcept C100279318 @default.
- W2068961663 hasConcept C105795698 @default.
- W2068961663 hasConcept C114614502 @default.
- W2068961663 hasConcept C118615104 @default.
- W2068961663 hasConcept C122123141 @default.
- W2068961663 hasConcept C134306372 @default.
- W2068961663 hasConcept C136119220 @default.
- W2068961663 hasConcept C18648836 @default.
- W2068961663 hasConcept C197115733 @default.
- W2068961663 hasConcept C202444582 @default.
- W2068961663 hasConcept C33923547 @default.
- W2068961663 hasConcept C34388435 @default.
- W2068961663 hasConceptScore W2068961663C100279318 @default.
- W2068961663 hasConceptScore W2068961663C105795698 @default.
- W2068961663 hasConceptScore W2068961663C114614502 @default.
- W2068961663 hasConceptScore W2068961663C118615104 @default.
- W2068961663 hasConceptScore W2068961663C122123141 @default.
- W2068961663 hasConceptScore W2068961663C134306372 @default.
- W2068961663 hasConceptScore W2068961663C136119220 @default.
- W2068961663 hasConceptScore W2068961663C18648836 @default.
- W2068961663 hasConceptScore W2068961663C197115733 @default.
- W2068961663 hasConceptScore W2068961663C202444582 @default.
- W2068961663 hasConceptScore W2068961663C33923547 @default.
- W2068961663 hasConceptScore W2068961663C34388435 @default.
- W2068961663 hasIssue "1-2" @default.
- W2068961663 hasLocation W20689616631 @default.
- W2068961663 hasLocation W20689616632 @default.
- W2068961663 hasOpenAccess W2068961663 @default.
- W2068961663 hasPrimaryLocation W20689616631 @default.
- W2068961663 hasRelatedWork W1871156538 @default.
- W2068961663 hasRelatedWork W1992619075 @default.
- W2068961663 hasRelatedWork W2068961663 @default.
- W2068961663 hasRelatedWork W2080562280 @default.
- W2068961663 hasRelatedWork W2090425123 @default.
- W2068961663 hasRelatedWork W2801512501 @default.
- W2068961663 hasRelatedWork W2949153122 @default.
- W2068961663 hasRelatedWork W2980075598 @default.
- W2068961663 hasRelatedWork W4301303970 @default.
- W2068961663 hasRelatedWork W2010910009 @default.
- W2068961663 hasVolume "52" @default.
- W2068961663 isParatext "false" @default.
- W2068961663 isRetracted "false" @default.
- W2068961663 magId "2068961663" @default.
- W2068961663 workType "article" @default.