Matches in SemOpenAlex for { <https://semopenalex.org/work/W3048462214> ?p ?o ?g. }
Showing items 1 to 88 of
88
with 100 items per page.
- W3048462214 endingPage "102875" @default.
- W3048462214 startingPage "102875" @default.
- W3048462214 abstract "We study probabilistic characterisation of a random model of a finite set of first order axioms. Given a set of first order axioms T and a structure M which we only know is a model of T, we are interested in the probability that M would satisfy a sentence ψ. Answering this question for all sentences in the language will give a probability distribution over the set of sentences which can be regarded as the probabilistic characterisation of the model M. We investigate defining these probabilistic characterisations as the limit of probability functions imposed on the set of finite models of T. We show how a symmetry axiom can uniquely specify the probability function over finite models and will study the existence of the limit in terms of the quantifier complexity of T." @default.
- W3048462214 created "2020-08-18" @default.
- W3048462214 creator A5012596760 @default.
- W3048462214 date "2021-01-01" @default.
- W3048462214 modified "2023-09-24" @default.
- W3048462214 title "Probabilistic characterisation of models of first-order theories" @default.
- W3048462214 cites W1976934354 @default.
- W3048462214 cites W1992373581 @default.
- W3048462214 cites W1999096610 @default.
- W3048462214 cites W2032558547 @default.
- W3048462214 cites W2038827320 @default.
- W3048462214 cites W2044593983 @default.
- W3048462214 cites W2051165274 @default.
- W3048462214 cites W2083716186 @default.
- W3048462214 cites W2094573629 @default.
- W3048462214 cites W2106898966 @default.
- W3048462214 cites W2134644511 @default.
- W3048462214 cites W2138965741 @default.
- W3048462214 cites W2529761800 @default.
- W3048462214 cites W3192018628 @default.
- W3048462214 doi "https://doi.org/10.1016/j.apal.2020.102875" @default.
- W3048462214 hasPublicationYear "2021" @default.
- W3048462214 type Work @default.
- W3048462214 sameAs 3048462214 @default.
- W3048462214 citedByCount "3" @default.
- W3048462214 countsByYear W30484622142022 @default.
- W3048462214 countsByYear W30484622142023 @default.
- W3048462214 crossrefType "journal-article" @default.
- W3048462214 hasAuthorship W3048462214A5012596760 @default.
- W3048462214 hasConcept C105795698 @default.
- W3048462214 hasConcept C114289077 @default.
- W3048462214 hasConcept C118615104 @default.
- W3048462214 hasConcept C134306372 @default.
- W3048462214 hasConcept C14036430 @default.
- W3048462214 hasConcept C149441793 @default.
- W3048462214 hasConcept C151201525 @default.
- W3048462214 hasConcept C154945302 @default.
- W3048462214 hasConcept C162392398 @default.
- W3048462214 hasConcept C167729594 @default.
- W3048462214 hasConcept C177264268 @default.
- W3048462214 hasConcept C199360897 @default.
- W3048462214 hasConcept C2524010 @default.
- W3048462214 hasConcept C2778523021 @default.
- W3048462214 hasConcept C33923547 @default.
- W3048462214 hasConcept C41008148 @default.
- W3048462214 hasConcept C49937458 @default.
- W3048462214 hasConcept C78458016 @default.
- W3048462214 hasConcept C86803240 @default.
- W3048462214 hasConceptScore W3048462214C105795698 @default.
- W3048462214 hasConceptScore W3048462214C114289077 @default.
- W3048462214 hasConceptScore W3048462214C118615104 @default.
- W3048462214 hasConceptScore W3048462214C134306372 @default.
- W3048462214 hasConceptScore W3048462214C14036430 @default.
- W3048462214 hasConceptScore W3048462214C149441793 @default.
- W3048462214 hasConceptScore W3048462214C151201525 @default.
- W3048462214 hasConceptScore W3048462214C154945302 @default.
- W3048462214 hasConceptScore W3048462214C162392398 @default.
- W3048462214 hasConceptScore W3048462214C167729594 @default.
- W3048462214 hasConceptScore W3048462214C177264268 @default.
- W3048462214 hasConceptScore W3048462214C199360897 @default.
- W3048462214 hasConceptScore W3048462214C2524010 @default.
- W3048462214 hasConceptScore W3048462214C2778523021 @default.
- W3048462214 hasConceptScore W3048462214C33923547 @default.
- W3048462214 hasConceptScore W3048462214C41008148 @default.
- W3048462214 hasConceptScore W3048462214C49937458 @default.
- W3048462214 hasConceptScore W3048462214C78458016 @default.
- W3048462214 hasConceptScore W3048462214C86803240 @default.
- W3048462214 hasIssue "1" @default.
- W3048462214 hasLocation W30484622141 @default.
- W3048462214 hasOpenAccess W3048462214 @default.
- W3048462214 hasPrimaryLocation W30484622141 @default.
- W3048462214 hasRelatedWork W1487159777 @default.
- W3048462214 hasRelatedWork W1498582371 @default.
- W3048462214 hasRelatedWork W15017023 @default.
- W3048462214 hasRelatedWork W1593433469 @default.
- W3048462214 hasRelatedWork W2052870669 @default.
- W3048462214 hasRelatedWork W2117163556 @default.
- W3048462214 hasRelatedWork W2582528061 @default.
- W3048462214 hasRelatedWork W2753964177 @default.
- W3048462214 hasRelatedWork W3048462214 @default.
- W3048462214 hasRelatedWork W3126133028 @default.
- W3048462214 hasVolume "172" @default.
- W3048462214 isParatext "false" @default.
- W3048462214 isRetracted "false" @default.
- W3048462214 magId "3048462214" @default.
- W3048462214 workType "article" @default.