Matches in SemOpenAlex for { <https://semopenalex.org/work/W1036157593> ?p ?o ?g. }
Showing items 1 to 62 of
62
with 100 items per page.
- W1036157593 endingPage "138" @default.
- W1036157593 startingPage "129" @default.
- W1036157593 abstract "Publisher Summary This chapter focuses on set theory, model theory, recursion theory and their foundation. The chapter investigates the equivalents of continuum hypothesis and presents a general method of independence proofs in set theory with atoms. This method, which is currently called the Fraenkel–Mostowski method, is based on a set of individuals—that is, objects that are not sets. The chapter presents the results of the investigations in the foundations of set theory. A result with far-reaching consequences is a collection of facts on seemingly paradoxical properties of the Godel–Bernays theory of classes. One of the basic tools for modern investigations in the foundations of set theory is “Mostowski's contraction lemma.” This lemma is a generalization of the fact that every well-ordering is similar to some von Neumann ordinal. The chapter further discusses the formulation of the so-called Kelley–Morse theory of classes. The set-theoretical objects are of two possible kinds: the “small” ones, which belong to another object (these are sets), and “large” ones, which do not belong to any object (these are proper classes)." @default.
- W1036157593 created "2016-06-24" @default.
- W1036157593 creator A5026342076 @default.
- W1036157593 date "1977-01-01" @default.
- W1036157593 modified "2023-09-26" @default.
- W1036157593 title "The Foundations of Mathematics in Poland After World War II" @default.
- W1036157593 cites W1154792232 @default.
- W1036157593 cites W1497386084 @default.
- W1036157593 cites W1506418919 @default.
- W1036157593 cites W1508262719 @default.
- W1036157593 cites W1555138513 @default.
- W1036157593 cites W1965817401 @default.
- W1036157593 cites W2048854384 @default.
- W1036157593 cites W2508270892 @default.
- W1036157593 cites W2782474770 @default.
- W1036157593 cites W2954301182 @default.
- W1036157593 cites W296038034 @default.
- W1036157593 cites W3022662020 @default.
- W1036157593 cites W4239495391 @default.
- W1036157593 cites W4239497877 @default.
- W1036157593 cites W4240955247 @default.
- W1036157593 cites W4242117922 @default.
- W1036157593 cites W4242289817 @default.
- W1036157593 cites W4247248535 @default.
- W1036157593 cites W767530356 @default.
- W1036157593 cites W796849068 @default.
- W1036157593 cites W843796355 @default.
- W1036157593 cites W848766025 @default.
- W1036157593 cites W918671874 @default.
- W1036157593 doi "https://doi.org/10.1016/s0049-237x(09)70423-9" @default.
- W1036157593 hasPublicationYear "1977" @default.
- W1036157593 type Work @default.
- W1036157593 sameAs 1036157593 @default.
- W1036157593 citedByCount "3" @default.
- W1036157593 countsByYear W10361575932022 @default.
- W1036157593 crossrefType "book-chapter" @default.
- W1036157593 hasAuthorship W1036157593A5026342076 @default.
- W1036157593 hasConcept C145420912 @default.
- W1036157593 hasConcept C17744445 @default.
- W1036157593 hasConcept C33923547 @default.
- W1036157593 hasConceptScore W1036157593C145420912 @default.
- W1036157593 hasConceptScore W1036157593C17744445 @default.
- W1036157593 hasConceptScore W1036157593C33923547 @default.
- W1036157593 hasLocation W10361575931 @default.
- W1036157593 hasOpenAccess W1036157593 @default.
- W1036157593 hasPrimaryLocation W10361575931 @default.
- W1036157593 hasRelatedWork W102012514 @default.
- W1036157593 hasRelatedWork W1638085082 @default.
- W1036157593 hasRelatedWork W2409872836 @default.
- W1036157593 hasRelatedWork W2743539335 @default.
- W1036157593 hasRelatedWork W2748952813 @default.
- W1036157593 hasRelatedWork W2890326160 @default.
- W1036157593 hasRelatedWork W2899084033 @default.
- W1036157593 hasRelatedWork W2949263084 @default.
- W1036157593 hasRelatedWork W2955725829 @default.
- W1036157593 hasRelatedWork W594353338 @default.
- W1036157593 isParatext "false" @default.
- W1036157593 isRetracted "false" @default.
- W1036157593 magId "1036157593" @default.
- W1036157593 workType "book-chapter" @default.