Matches in SemOpenAlex for { <https://semopenalex.org/work/W2060936152> ?p ?o ?g. }
Showing items 1 to 78 of
78
with 100 items per page.
- W2060936152 endingPage "429" @default.
- W2060936152 startingPage "402" @default.
- W2060936152 abstract "A first-order theory is companionable if it is mutually model-consistent with a model-complete theory. The latter theory is then called a model-companion for the former theory. For example, the theory of formally real fields is a companionable theory; its model-companion is the theory of real closed fields. If a companionable, inductive theory has the amalgamation property, then its model-companion is actually a model-completion. For example, the theory of fields is a companionable, inductive theory with the amalgamation property; its model-completion is the theory of algebraically closed fields. The goal of this paper is the characterization, by “algebraic” or “structural” properties, of the companionable, universal theories which satisfy a certain finiteness condition. A theory is companionable precisely when the theory consisting of its universal consequences is companionable. Both theories have the same model-companion if either has one. Accordingly, nought is lost by the restriction to universal theories. The finiteness condition, finite presentation decompositions, is an analogue for an arbitrary theory of the decomposition of a radical ideal in a Noetherian, commutative ring into a finite intersection of prime ideals for the theory of integral domains. The companionable theories with finite presentation decompositions are characterized by two properties: a coherence property for finitely generated submodels of finitely presented models and a homomorphism lifting property for homomorphisms from submodels of finitely presented models." @default.
- W2060936152 created "2016-06-24" @default.
- W2060936152 creator A5089809115 @default.
- W2060936152 date "1978-09-01" @default.
- W2060936152 modified "2023-09-25" @default.
- W2060936152 title "A characterization of companionable, universal theories" @default.
- W2060936152 cites W1014494474 @default.
- W2060936152 cites W1484200610 @default.
- W2060936152 cites W1542760485 @default.
- W2060936152 cites W1968403092 @default.
- W2060936152 cites W1970551107 @default.
- W2060936152 cites W2032455733 @default.
- W2060936152 cites W2055120326 @default.
- W2060936152 cites W2088927856 @default.
- W2060936152 cites W4213214460 @default.
- W2060936152 doi "https://doi.org/10.2307/2273518" @default.
- W2060936152 hasPublicationYear "1978" @default.
- W2060936152 type Work @default.
- W2060936152 sameAs 2060936152 @default.
- W2060936152 citedByCount "11" @default.
- W2060936152 countsByYear W20609361522018 @default.
- W2060936152 countsByYear W20609361522019 @default.
- W2060936152 countsByYear W20609361522022 @default.
- W2060936152 crossrefType "journal-article" @default.
- W2060936152 hasAuthorship W2060936152A5089809115 @default.
- W2060936152 hasConcept C111472728 @default.
- W2060936152 hasConcept C118615104 @default.
- W2060936152 hasConcept C134306372 @default.
- W2060936152 hasConcept C136119220 @default.
- W2060936152 hasConcept C138885662 @default.
- W2060936152 hasConcept C161491579 @default.
- W2060936152 hasConcept C183778304 @default.
- W2060936152 hasConcept C189950617 @default.
- W2060936152 hasConcept C202444582 @default.
- W2060936152 hasConcept C23573486 @default.
- W2060936152 hasConcept C2779057376 @default.
- W2060936152 hasConcept C2779782106 @default.
- W2060936152 hasConcept C33923547 @default.
- W2060936152 hasConcept C4042151 @default.
- W2060936152 hasConcept C47030870 @default.
- W2060936152 hasConcept C9376300 @default.
- W2060936152 hasConceptScore W2060936152C111472728 @default.
- W2060936152 hasConceptScore W2060936152C118615104 @default.
- W2060936152 hasConceptScore W2060936152C134306372 @default.
- W2060936152 hasConceptScore W2060936152C136119220 @default.
- W2060936152 hasConceptScore W2060936152C138885662 @default.
- W2060936152 hasConceptScore W2060936152C161491579 @default.
- W2060936152 hasConceptScore W2060936152C183778304 @default.
- W2060936152 hasConceptScore W2060936152C189950617 @default.
- W2060936152 hasConceptScore W2060936152C202444582 @default.
- W2060936152 hasConceptScore W2060936152C23573486 @default.
- W2060936152 hasConceptScore W2060936152C2779057376 @default.
- W2060936152 hasConceptScore W2060936152C2779782106 @default.
- W2060936152 hasConceptScore W2060936152C33923547 @default.
- W2060936152 hasConceptScore W2060936152C4042151 @default.
- W2060936152 hasConceptScore W2060936152C47030870 @default.
- W2060936152 hasConceptScore W2060936152C9376300 @default.
- W2060936152 hasIssue "3" @default.
- W2060936152 hasLocation W20609361521 @default.
- W2060936152 hasOpenAccess W2060936152 @default.
- W2060936152 hasPrimaryLocation W20609361521 @default.
- W2060936152 hasRelatedWork W1583847540 @default.
- W2060936152 hasRelatedWork W188617692 @default.
- W2060936152 hasRelatedWork W2060936152 @default.
- W2060936152 hasRelatedWork W2068921767 @default.
- W2060936152 hasRelatedWork W2153346201 @default.
- W2060936152 hasRelatedWork W2797002140 @default.
- W2060936152 hasRelatedWork W2951609410 @default.
- W2060936152 hasRelatedWork W2952230450 @default.
- W2060936152 hasRelatedWork W4212819720 @default.
- W2060936152 hasRelatedWork W593820663 @default.
- W2060936152 hasVolume "43" @default.
- W2060936152 isParatext "false" @default.
- W2060936152 isRetracted "false" @default.
- W2060936152 magId "2060936152" @default.
- W2060936152 workType "article" @default.