Matches in SemOpenAlex for { <https://semopenalex.org/work/W2906407656> ?p ?o ?g. }
Showing items 1 to 69 of
69
with 100 items per page.
- W2906407656 abstract "In this paper we continue the exploration of the classes of positively closed and h-maximal model of an h-inductive theory in the context of positive logic. In the section 2 we give a concrete description of the class of h-maximal models of an h-inductive theory and theirs companion theories. The section 3 is concerned to the study of the positive Robinson and locally positive Robinson theories and their connexion with the properties of the class of h-maximal models of the companion theories, and their connexion with the property of elimination of quantifiers. Before dealing with the topics mentioned above we give in section 1 a brief introduction to the positive model theory." @default.
- W2906407656 created "2019-01-01" @default.
- W2906407656 creator A5069385281 @default.
- W2906407656 date "2018-12-23" @default.
- W2906407656 modified "2023-09-27" @default.
- W2906407656 title "Positive Robinson theories and h-maximal models" @default.
- W2906407656 cites W1993641137 @default.
- W2906407656 cites W2029031961 @default.
- W2906407656 cites W2032936454 @default.
- W2906407656 cites W2162923490 @default.
- W2906407656 hasPublicationYear "2018" @default.
- W2906407656 type Work @default.
- W2906407656 sameAs 2906407656 @default.
- W2906407656 citedByCount "0" @default.
- W2906407656 crossrefType "posted-content" @default.
- W2906407656 hasAuthorship W2906407656A5069385281 @default.
- W2906407656 hasConcept C111472728 @default.
- W2906407656 hasConcept C111919701 @default.
- W2906407656 hasConcept C118615104 @default.
- W2906407656 hasConcept C138885662 @default.
- W2906407656 hasConcept C144237770 @default.
- W2906407656 hasConcept C166957645 @default.
- W2906407656 hasConcept C189950617 @default.
- W2906407656 hasConcept C202444582 @default.
- W2906407656 hasConcept C205649164 @default.
- W2906407656 hasConcept C2777212361 @default.
- W2906407656 hasConcept C2779343474 @default.
- W2906407656 hasConcept C2780129039 @default.
- W2906407656 hasConcept C33923547 @default.
- W2906407656 hasConcept C41008148 @default.
- W2906407656 hasConcept C47030870 @default.
- W2906407656 hasConceptScore W2906407656C111472728 @default.
- W2906407656 hasConceptScore W2906407656C111919701 @default.
- W2906407656 hasConceptScore W2906407656C118615104 @default.
- W2906407656 hasConceptScore W2906407656C138885662 @default.
- W2906407656 hasConceptScore W2906407656C144237770 @default.
- W2906407656 hasConceptScore W2906407656C166957645 @default.
- W2906407656 hasConceptScore W2906407656C189950617 @default.
- W2906407656 hasConceptScore W2906407656C202444582 @default.
- W2906407656 hasConceptScore W2906407656C205649164 @default.
- W2906407656 hasConceptScore W2906407656C2777212361 @default.
- W2906407656 hasConceptScore W2906407656C2779343474 @default.
- W2906407656 hasConceptScore W2906407656C2780129039 @default.
- W2906407656 hasConceptScore W2906407656C33923547 @default.
- W2906407656 hasConceptScore W2906407656C41008148 @default.
- W2906407656 hasConceptScore W2906407656C47030870 @default.
- W2906407656 hasLocation W29064076561 @default.
- W2906407656 hasOpenAccess W2906407656 @default.
- W2906407656 hasPrimaryLocation W29064076561 @default.
- W2906407656 hasRelatedWork W1038888834 @default.
- W2906407656 hasRelatedWork W1508779001 @default.
- W2906407656 hasRelatedWork W2018042872 @default.
- W2906407656 hasRelatedWork W2028791022 @default.
- W2906407656 hasRelatedWork W2043814424 @default.
- W2906407656 hasRelatedWork W2070706877 @default.
- W2906407656 hasRelatedWork W234804402 @default.
- W2906407656 hasRelatedWork W2408581570 @default.
- W2906407656 hasRelatedWork W2495709359 @default.
- W2906407656 hasRelatedWork W2884195213 @default.
- W2906407656 hasRelatedWork W2892887483 @default.
- W2906407656 hasRelatedWork W2921692138 @default.
- W2906407656 hasRelatedWork W2996020629 @default.
- W2906407656 hasRelatedWork W33270391 @default.
- W2906407656 hasRelatedWork W52712519 @default.
- W2906407656 hasRelatedWork W2620287036 @default.
- W2906407656 isParatext "false" @default.
- W2906407656 isRetracted "false" @default.
- W2906407656 magId "2906407656" @default.
- W2906407656 workType "article" @default.