Matches in SemOpenAlex for { <https://semopenalex.org/work/W2152256008> ?p ?o ?g. }
Showing items 1 to 90 of
90
with 100 items per page.
- W2152256008 abstract "In this series of two papers we wish to discuss two new methods of constructing models for an arbitrary theory T of stationary logic, L (aa). The original work in constructing models for this logic appears in Barwise-Kaufmann-Makkai [BKM] (which we shall refer to as BKM for brevity). In that paper the authors prove completeness, compactness, and omitting types theorems for L (aa) by a technique similar to that used by Keisler [1970] in constructing models of L(Q 1 ) , logic with the generalized quantifier “there exist uncountably many”. In this paper we give an alternative method of constructing models using a method of model-theoretic forcing similar to that of Bruce [1978]. In a succeeding paper we will give yet another method of constructing models using definable ultrapowers. As applications of this new forcing construction we give new proofs of the completeness and omitting types theorems for L B (aa), where L B (aa) is any countable fragment of L ω1ω (aa). We also give new proofs of versions of the Barwise completeness and compactness theorems for L A (aa) where A is a countable admissible set. In proofs of these theorems the model constructions via forcing are used in a way very similar to that of consistency properties in L ω1ω . Aside from the ease in handling the model theory of L ω1ω (aa) we see two other advantages in this sort of model construction. The first is in the ability to prove versions of theorems relativized to formulas of low complexity (e.g. relativized omitting types theorems). The second is that we have a high degree of control over the construction of standard models and hence have a better knowledge of the structure of the model (see the remarks following the proof of Lemma 3.3), something that should prove useful in constructing more complicated models." @default.
- W2152256008 created "2016-06-24" @default.
- W2152256008 creator A5025911481 @default.
- W2152256008 date "1980-09-01" @default.
- W2152256008 modified "2023-09-26" @default.
- W2152256008 title "Model constructions in stationary logic. Part I. Forcing" @default.
- W2152256008 cites W2045722654 @default.
- W2152256008 cites W2066633462 @default.
- W2152256008 cites W2074199159 @default.
- W2152256008 cites W2080309222 @default.
- W2152256008 cites W2094084820 @default.
- W2152256008 cites W4210589687 @default.
- W2152256008 doi "https://doi.org/10.2307/2273413" @default.
- W2152256008 hasPublicationYear "1980" @default.
- W2152256008 type Work @default.
- W2152256008 sameAs 2152256008 @default.
- W2152256008 citedByCount "0" @default.
- W2152256008 crossrefType "journal-article" @default.
- W2152256008 hasAuthorship W2152256008A5025911481 @default.
- W2152256008 hasConcept C108710211 @default.
- W2152256008 hasConcept C110729354 @default.
- W2152256008 hasConcept C11413529 @default.
- W2152256008 hasConcept C118615104 @default.
- W2152256008 hasConcept C134306372 @default.
- W2152256008 hasConcept C17231256 @default.
- W2152256008 hasConcept C178421362 @default.
- W2152256008 hasConcept C18648836 @default.
- W2152256008 hasConcept C197115733 @default.
- W2152256008 hasConcept C199343813 @default.
- W2152256008 hasConcept C200116569 @default.
- W2152256008 hasConcept C202444582 @default.
- W2152256008 hasConcept C2524010 @default.
- W2152256008 hasConcept C2776436953 @default.
- W2152256008 hasConcept C2777686260 @default.
- W2152256008 hasConcept C28077239 @default.
- W2152256008 hasConcept C32278780 @default.
- W2152256008 hasConcept C33923547 @default.
- W2152256008 hasConcept C47030870 @default.
- W2152256008 hasConcept C47884741 @default.
- W2152256008 hasConcept C71924100 @default.
- W2152256008 hasConcept C89507440 @default.
- W2152256008 hasConceptScore W2152256008C108710211 @default.
- W2152256008 hasConceptScore W2152256008C110729354 @default.
- W2152256008 hasConceptScore W2152256008C11413529 @default.
- W2152256008 hasConceptScore W2152256008C118615104 @default.
- W2152256008 hasConceptScore W2152256008C134306372 @default.
- W2152256008 hasConceptScore W2152256008C17231256 @default.
- W2152256008 hasConceptScore W2152256008C178421362 @default.
- W2152256008 hasConceptScore W2152256008C18648836 @default.
- W2152256008 hasConceptScore W2152256008C197115733 @default.
- W2152256008 hasConceptScore W2152256008C199343813 @default.
- W2152256008 hasConceptScore W2152256008C200116569 @default.
- W2152256008 hasConceptScore W2152256008C202444582 @default.
- W2152256008 hasConceptScore W2152256008C2524010 @default.
- W2152256008 hasConceptScore W2152256008C2776436953 @default.
- W2152256008 hasConceptScore W2152256008C2777686260 @default.
- W2152256008 hasConceptScore W2152256008C28077239 @default.
- W2152256008 hasConceptScore W2152256008C32278780 @default.
- W2152256008 hasConceptScore W2152256008C33923547 @default.
- W2152256008 hasConceptScore W2152256008C47030870 @default.
- W2152256008 hasConceptScore W2152256008C47884741 @default.
- W2152256008 hasConceptScore W2152256008C71924100 @default.
- W2152256008 hasConceptScore W2152256008C89507440 @default.
- W2152256008 hasLocation W21522560081 @default.
- W2152256008 hasOpenAccess W2152256008 @default.
- W2152256008 hasPrimaryLocation W21522560081 @default.
- W2152256008 hasRelatedWork W162053361 @default.
- W2152256008 hasRelatedWork W1802555523 @default.
- W2152256008 hasRelatedWork W1829815351 @default.
- W2152256008 hasRelatedWork W1981184771 @default.
- W2152256008 hasRelatedWork W1987686945 @default.
- W2152256008 hasRelatedWork W1994999396 @default.
- W2152256008 hasRelatedWork W2066572550 @default.
- W2152256008 hasRelatedWork W2127246914 @default.
- W2152256008 hasRelatedWork W2130353901 @default.
- W2152256008 hasRelatedWork W2145163492 @default.
- W2152256008 hasRelatedWork W2482204790 @default.
- W2152256008 hasRelatedWork W2766762831 @default.
- W2152256008 hasRelatedWork W2774031738 @default.
- W2152256008 hasRelatedWork W2951533746 @default.
- W2152256008 hasRelatedWork W2952799563 @default.
- W2152256008 hasRelatedWork W3090093830 @default.
- W2152256008 hasRelatedWork W3105905549 @default.
- W2152256008 hasRelatedWork W3120125315 @default.
- W2152256008 hasRelatedWork W959662634 @default.
- W2152256008 hasRelatedWork W2429136598 @default.
- W2152256008 isParatext "false" @default.
- W2152256008 isRetracted "false" @default.
- W2152256008 magId "2152256008" @default.
- W2152256008 workType "article" @default.