Matches in SemOpenAlex for { <https://semopenalex.org/work/W2918455166> ?p ?o ?g. }
Showing items 1 to 58 of
58
with 100 items per page.
- W2918455166 endingPage "235" @default.
- W2918455166 startingPage "214" @default.
- W2918455166 abstract "A well-known result from the 1960 paper of Erdős and Rényi (1960) [2] tells us that the almost sure theory for first order language on the random graph sequence G(n,cn−1) is not complete. Our paper proposes and proves what the complete set of completions of the almost sure theory for G(n,cn−1) should be. The almost sure theory T consists of two sentence groups: the first states that all the components are trees or unicyclic components, and the second states that, given any k∈N and any finite tree t, there are at least k components isomorphic to t. We define a k-completion of T to be a first order property A, such that if T∪A holds for a graph (which indicates that the property described in sentence A is satisfied by the graph, and for every sentence B in the theory T, the property described by B is also satisfied by the graph), we can fully describe the first order sentences of quantifier depth ≤k that hold for that graph. We show that a k-completion A specifies the numbers, up to “cutoff” k, of the (finitely many) unicyclic component types of given parameters (that only depend on k) that the graph contains. A complete set of k-completions is then the finite collection of all possible k-completions." @default.
- W2918455166 created "2019-03-11" @default.
- W2918455166 creator A5035017803 @default.
- W2918455166 date "2019-05-01" @default.
- W2918455166 modified "2023-09-30" @default.
- W2918455166 title "The first order theory of G(n,c∕n)" @default.
- W2918455166 cites W1987966006 @default.
- W2918455166 cites W2091969666 @default.
- W2918455166 cites W2331346174 @default.
- W2918455166 doi "https://doi.org/10.1016/j.ejc.2019.01.008" @default.
- W2918455166 hasPublicationYear "2019" @default.
- W2918455166 type Work @default.
- W2918455166 sameAs 2918455166 @default.
- W2918455166 citedByCount "0" @default.
- W2918455166 crossrefType "journal-article" @default.
- W2918455166 hasAuthorship W2918455166A5035017803 @default.
- W2918455166 hasBestOaLocation W29184551661 @default.
- W2918455166 hasConcept C10138342 @default.
- W2918455166 hasConcept C114614502 @default.
- W2918455166 hasConcept C118615104 @default.
- W2918455166 hasConcept C123482549 @default.
- W2918455166 hasConcept C132525143 @default.
- W2918455166 hasConcept C162324750 @default.
- W2918455166 hasConcept C182306322 @default.
- W2918455166 hasConcept C203776342 @default.
- W2918455166 hasConcept C22149727 @default.
- W2918455166 hasConcept C33923547 @default.
- W2918455166 hasConceptScore W2918455166C10138342 @default.
- W2918455166 hasConceptScore W2918455166C114614502 @default.
- W2918455166 hasConceptScore W2918455166C118615104 @default.
- W2918455166 hasConceptScore W2918455166C123482549 @default.
- W2918455166 hasConceptScore W2918455166C132525143 @default.
- W2918455166 hasConceptScore W2918455166C162324750 @default.
- W2918455166 hasConceptScore W2918455166C182306322 @default.
- W2918455166 hasConceptScore W2918455166C203776342 @default.
- W2918455166 hasConceptScore W2918455166C22149727 @default.
- W2918455166 hasConceptScore W2918455166C33923547 @default.
- W2918455166 hasFunder F4320306076 @default.
- W2918455166 hasLocation W29184551661 @default.
- W2918455166 hasOpenAccess W2918455166 @default.
- W2918455166 hasPrimaryLocation W29184551661 @default.
- W2918455166 hasRelatedWork W1975886103 @default.
- W2918455166 hasRelatedWork W1978699240 @default.
- W2918455166 hasRelatedWork W2000144448 @default.
- W2918455166 hasRelatedWork W2018216722 @default.
- W2918455166 hasRelatedWork W2043951294 @default.
- W2918455166 hasRelatedWork W2067133893 @default.
- W2918455166 hasRelatedWork W2071261821 @default.
- W2918455166 hasRelatedWork W2287003313 @default.
- W2918455166 hasRelatedWork W3003396734 @default.
- W2918455166 hasRelatedWork W4312618201 @default.
- W2918455166 hasVolume "78" @default.
- W2918455166 isParatext "false" @default.
- W2918455166 isRetracted "false" @default.
- W2918455166 magId "2918455166" @default.
- W2918455166 workType "article" @default.