Matches in SemOpenAlex for { <https://semopenalex.org/work/W3022662020> ?p ?o ?g. }
Showing items 1 to 87 of
87
with 100 items per page.
- W3022662020 abstract "Publisher Summary This chapter proves a theorem stating that β -models for the second-order arithmetic cannot be distinguished from ω- models by elementary sentences. It determines a similar result for models of the Zermelo–Fraenke1 set theory and gives a solution of a problem concerning the existence of models which are א τ -standard but are not א τ+1 -standard. The chapter presents abbreviations and definitions and formulates a few theorems that can be proved in the basis of defined axioms. It defines semantical notions of satisfaction, model, elementary extension, reduct, and diagram. It describes the pigeon-hole principle, which states that if many objects are put into a small number of drawers, then at least one drawer contains many objects. A new family of non-standard models is constructed for set theory in the chapter." @default.
- W3022662020 created "2020-05-13" @default.
- W3022662020 creator A5057353297 @default.
- W3022662020 creator A5079238023 @default.
- W3022662020 date "1969-01-01" @default.
- W3022662020 modified "2023-09-25" @default.
- W3022662020 title "On ω-models which are not β-models" @default.
- W3022662020 doi "https://doi.org/10.4064/fm-65-1-83-93" @default.
- W3022662020 hasPublicationYear "1969" @default.
- W3022662020 type Work @default.
- W3022662020 sameAs 3022662020 @default.
- W3022662020 citedByCount "14" @default.
- W3022662020 crossrefType "journal-article" @default.
- W3022662020 hasAuthorship W3022662020A5057353297 @default.
- W3022662020 hasAuthorship W3022662020A5079238023 @default.
- W3022662020 hasBestOaLocation W30226620201 @default.
- W3022662020 hasConcept C105795698 @default.
- W3022662020 hasConcept C111012933 @default.
- W3022662020 hasConcept C118615104 @default.
- W3022662020 hasConcept C12426560 @default.
- W3022662020 hasConcept C136119220 @default.
- W3022662020 hasConcept C144237770 @default.
- W3022662020 hasConcept C153046414 @default.
- W3022662020 hasConcept C154945302 @default.
- W3022662020 hasConcept C167729594 @default.
- W3022662020 hasConcept C177264268 @default.
- W3022662020 hasConcept C186399060 @default.
- W3022662020 hasConcept C199343813 @default.
- W3022662020 hasConcept C199360897 @default.
- W3022662020 hasConcept C202444582 @default.
- W3022662020 hasConcept C2524010 @default.
- W3022662020 hasConcept C2777686260 @default.
- W3022662020 hasConcept C2778029271 @default.
- W3022662020 hasConcept C33923547 @default.
- W3022662020 hasConcept C41008148 @default.
- W3022662020 hasConcept C47030870 @default.
- W3022662020 hasConcept C69177213 @default.
- W3022662020 hasConcept C71924100 @default.
- W3022662020 hasConceptScore W3022662020C105795698 @default.
- W3022662020 hasConceptScore W3022662020C111012933 @default.
- W3022662020 hasConceptScore W3022662020C118615104 @default.
- W3022662020 hasConceptScore W3022662020C12426560 @default.
- W3022662020 hasConceptScore W3022662020C136119220 @default.
- W3022662020 hasConceptScore W3022662020C144237770 @default.
- W3022662020 hasConceptScore W3022662020C153046414 @default.
- W3022662020 hasConceptScore W3022662020C154945302 @default.
- W3022662020 hasConceptScore W3022662020C167729594 @default.
- W3022662020 hasConceptScore W3022662020C177264268 @default.
- W3022662020 hasConceptScore W3022662020C186399060 @default.
- W3022662020 hasConceptScore W3022662020C199343813 @default.
- W3022662020 hasConceptScore W3022662020C199360897 @default.
- W3022662020 hasConceptScore W3022662020C202444582 @default.
- W3022662020 hasConceptScore W3022662020C2524010 @default.
- W3022662020 hasConceptScore W3022662020C2777686260 @default.
- W3022662020 hasConceptScore W3022662020C2778029271 @default.
- W3022662020 hasConceptScore W3022662020C33923547 @default.
- W3022662020 hasConceptScore W3022662020C41008148 @default.
- W3022662020 hasConceptScore W3022662020C47030870 @default.
- W3022662020 hasConceptScore W3022662020C69177213 @default.
- W3022662020 hasConceptScore W3022662020C71924100 @default.
- W3022662020 hasLocation W30226620201 @default.
- W3022662020 hasOpenAccess W3022662020 @default.
- W3022662020 hasPrimaryLocation W30226620201 @default.
- W3022662020 hasRelatedWork W1036157593 @default.
- W3022662020 hasRelatedWork W1184531547 @default.
- W3022662020 hasRelatedWork W1220155927 @default.
- W3022662020 hasRelatedWork W138853701 @default.
- W3022662020 hasRelatedWork W1426725867 @default.
- W3022662020 hasRelatedWork W1446478209 @default.
- W3022662020 hasRelatedWork W1577927442 @default.
- W3022662020 hasRelatedWork W169573933 @default.
- W3022662020 hasRelatedWork W1786644787 @default.
- W3022662020 hasRelatedWork W178776957 @default.
- W3022662020 hasRelatedWork W1980847044 @default.
- W3022662020 hasRelatedWork W1992818631 @default.
- W3022662020 hasRelatedWork W2033445864 @default.
- W3022662020 hasRelatedWork W2270530880 @default.
- W3022662020 hasRelatedWork W2963598346 @default.
- W3022662020 hasRelatedWork W3203652527 @default.
- W3022662020 hasRelatedWork W354202743 @default.
- W3022662020 hasRelatedWork W954176898 @default.
- W3022662020 hasRelatedWork W954710942 @default.
- W3022662020 hasRelatedWork W963613587 @default.
- W3022662020 isParatext "false" @default.
- W3022662020 isRetracted "false" @default.
- W3022662020 magId "3022662020" @default.
- W3022662020 workType "article" @default.