Matches in SemOpenAlex for { <https://semopenalex.org/work/W2095639742> ?p ?o ?g. }
Showing items 1 to 61 of
61
with 100 items per page.
- W2095639742 abstract "A theory T of a language L is 1-model complete (nearly model complete) iff for every formula ρ of L there is a formula ϕ (χ) of L which is a ∀∃-formula (a Boolean combination of universal formulas) such that T ⊨ ∀x[ϕθ]. The main results of the paper give characterizations of nearly model complete theories and of 1-model complete theories. As a consequence we obtain that a theory T is nearly model complete iff whenever 𝔅 is a model of T and 𝔄⊆1𝔅, then T ∪ Δ1𝔄 is a complete L(A)-theory, where Δ1𝔄 is the 1-diagram of 𝔄. We also point out that our main results extend to (n + l)-model complete and nearly ra-model complete theories for all n > 0." @default.
- W2095639742 created "2016-06-24" @default.
- W2095639742 creator A5038044386 @default.
- W2095639742 creator A5080849993 @default.
- W2095639742 date "1999-01-01" @default.
- W2095639742 modified "2023-10-18" @default.
- W2095639742 title "Nearly Model Complete Theories" @default.
- W2095639742 cites W1026721552 @default.
- W2095639742 cites W1971005364 @default.
- W2095639742 cites W2046731118 @default.
- W2095639742 doi "https://doi.org/10.1002/malq.19990450302" @default.
- W2095639742 hasPublicationYear "1999" @default.
- W2095639742 type Work @default.
- W2095639742 sameAs 2095639742 @default.
- W2095639742 citedByCount "0" @default.
- W2095639742 crossrefType "journal-article" @default.
- W2095639742 hasAuthorship W2095639742A5038044386 @default.
- W2095639742 hasAuthorship W2095639742A5080849993 @default.
- W2095639742 hasConcept C105795698 @default.
- W2095639742 hasConcept C114614502 @default.
- W2095639742 hasConcept C118615104 @default.
- W2095639742 hasConcept C186399060 @default.
- W2095639742 hasConcept C2524010 @default.
- W2095639742 hasConcept C28719098 @default.
- W2095639742 hasConcept C33923547 @default.
- W2095639742 hasConcept C47030870 @default.
- W2095639742 hasConceptScore W2095639742C105795698 @default.
- W2095639742 hasConceptScore W2095639742C114614502 @default.
- W2095639742 hasConceptScore W2095639742C118615104 @default.
- W2095639742 hasConceptScore W2095639742C186399060 @default.
- W2095639742 hasConceptScore W2095639742C2524010 @default.
- W2095639742 hasConceptScore W2095639742C28719098 @default.
- W2095639742 hasConceptScore W2095639742C33923547 @default.
- W2095639742 hasConceptScore W2095639742C47030870 @default.
- W2095639742 hasLocation W20956397421 @default.
- W2095639742 hasOpenAccess W2095639742 @default.
- W2095639742 hasPrimaryLocation W20956397421 @default.
- W2095639742 hasRelatedWork W1950272908 @default.
- W2095639742 hasRelatedWork W1966731015 @default.
- W2095639742 hasRelatedWork W1970731134 @default.
- W2095639742 hasRelatedWork W1995317845 @default.
- W2095639742 hasRelatedWork W2000335901 @default.
- W2095639742 hasRelatedWork W2025017728 @default.
- W2095639742 hasRelatedWork W2038294104 @default.
- W2095639742 hasRelatedWork W2048167699 @default.
- W2095639742 hasRelatedWork W2058471766 @default.
- W2095639742 hasRelatedWork W2075159388 @default.
- W2095639742 hasRelatedWork W2086604462 @default.
- W2095639742 hasRelatedWork W2098563247 @default.
- W2095639742 hasRelatedWork W2102662667 @default.
- W2095639742 hasRelatedWork W2125305054 @default.
- W2095639742 hasRelatedWork W2330906237 @default.
- W2095639742 hasRelatedWork W2901326050 @default.
- W2095639742 hasRelatedWork W3101178155 @default.
- W2095639742 hasRelatedWork W3148236663 @default.
- W2095639742 hasRelatedWork W189279264 @default.
- W2095639742 hasRelatedWork W2114548469 @default.
- W2095639742 isParatext "false" @default.
- W2095639742 isRetracted "false" @default.
- W2095639742 magId "2095639742" @default.
- W2095639742 workType "article" @default.