Matches in SemOpenAlex for { <https://semopenalex.org/work/W952778812> ?p ?o ?g. }
Showing items 1 to 88 of
88
with 100 items per page.
- W952778812 abstract "Publisher Summary This chapter discusses the principles of reflection of axiomatic set theory. The chapter describes the set theory that is formalized in the first-order to predicate calculus with equality and with the binary predicate symbol ɛ, as its only non logical constant. The chapter also indicates S as the set theory consisting of the axioms of extensionality, pairing, union-set, power-set, and the axiom schemata of subsets and foundation. It also includes the Zermelo–Fraenkel set theory (ZF) as the set theory obtained from S by addition of the axiom of infinity and the axiom schema of replacement. All the theorems in this chapter are theorems in respective axiomatic set theories. The theory in which the theorem is proved can be explicitly indicated for each numbered theorem. The chapter uses the theorem schema of S on definitions by recursion that asserts that a term F(α) can be defined by recursion so that F(α) satisfies the recursive condition, if α is such that there is a set containing all ordered pairs for β , and F(α) is 0 otherwise." @default.
- W952778812 created "2016-06-24" @default.
- W952778812 creator A5078224627 @default.
- W952778812 date "1966-01-01" @default.
- W952778812 modified "2023-09-27" @default.
- W952778812 title "On the Principles of Reflection in Axiomatic Set Theory" @default.
- W952778812 cites W1017774957 @default.
- W952778812 cites W1898322248 @default.
- W952778812 cites W1981696673 @default.
- W952778812 cites W2053454736 @default.
- W952778812 cites W2147586618 @default.
- W952778812 doi "https://doi.org/10.1016/s0049-237x(09)70573-7" @default.
- W952778812 hasPublicationYear "1966" @default.
- W952778812 type Work @default.
- W952778812 sameAs 952778812 @default.
- W952778812 citedByCount "1" @default.
- W952778812 countsByYear W9527788122023 @default.
- W952778812 crossrefType "book-chapter" @default.
- W952778812 hasAuthorship W952778812A5078224627 @default.
- W952778812 hasConcept C100481476 @default.
- W952778812 hasConcept C100643331 @default.
- W952778812 hasConcept C102565666 @default.
- W952778812 hasConcept C118615104 @default.
- W952778812 hasConcept C136119220 @default.
- W952778812 hasConcept C140146324 @default.
- W952778812 hasConcept C150355047 @default.
- W952778812 hasConcept C151797676 @default.
- W952778812 hasConcept C153046414 @default.
- W952778812 hasConcept C167729594 @default.
- W952778812 hasConcept C177264268 @default.
- W952778812 hasConcept C199360897 @default.
- W952778812 hasConcept C202444582 @default.
- W952778812 hasConcept C2524010 @default.
- W952778812 hasConcept C33923547 @default.
- W952778812 hasConcept C41008148 @default.
- W952778812 hasConcept C51460 @default.
- W952778812 hasConcept C556429856 @default.
- W952778812 hasConcept C65180967 @default.
- W952778812 hasConcept C78550038 @default.
- W952778812 hasConcept C97489613 @default.
- W952778812 hasConceptScore W952778812C100481476 @default.
- W952778812 hasConceptScore W952778812C100643331 @default.
- W952778812 hasConceptScore W952778812C102565666 @default.
- W952778812 hasConceptScore W952778812C118615104 @default.
- W952778812 hasConceptScore W952778812C136119220 @default.
- W952778812 hasConceptScore W952778812C140146324 @default.
- W952778812 hasConceptScore W952778812C150355047 @default.
- W952778812 hasConceptScore W952778812C151797676 @default.
- W952778812 hasConceptScore W952778812C153046414 @default.
- W952778812 hasConceptScore W952778812C167729594 @default.
- W952778812 hasConceptScore W952778812C177264268 @default.
- W952778812 hasConceptScore W952778812C199360897 @default.
- W952778812 hasConceptScore W952778812C202444582 @default.
- W952778812 hasConceptScore W952778812C2524010 @default.
- W952778812 hasConceptScore W952778812C33923547 @default.
- W952778812 hasConceptScore W952778812C41008148 @default.
- W952778812 hasConceptScore W952778812C51460 @default.
- W952778812 hasConceptScore W952778812C556429856 @default.
- W952778812 hasConceptScore W952778812C65180967 @default.
- W952778812 hasConceptScore W952778812C78550038 @default.
- W952778812 hasConceptScore W952778812C97489613 @default.
- W952778812 hasLocation W9527788121 @default.
- W952778812 hasOpenAccess W952778812 @default.
- W952778812 hasPrimaryLocation W9527788121 @default.
- W952778812 hasRelatedWork W1011728001 @default.
- W952778812 hasRelatedWork W1415587708 @default.
- W952778812 hasRelatedWork W1430998266 @default.
- W952778812 hasRelatedWork W1457353343 @default.
- W952778812 hasRelatedWork W1508262719 @default.
- W952778812 hasRelatedWork W1513795967 @default.
- W952778812 hasRelatedWork W1558325643 @default.
- W952778812 hasRelatedWork W1965946010 @default.
- W952778812 hasRelatedWork W2017481539 @default.
- W952778812 hasRelatedWork W2024753957 @default.
- W952778812 hasRelatedWork W2079646873 @default.
- W952778812 hasRelatedWork W2086121436 @default.
- W952778812 hasRelatedWork W2087605875 @default.
- W952778812 hasRelatedWork W2121417702 @default.
- W952778812 hasRelatedWork W2171726233 @default.
- W952778812 hasRelatedWork W2289176799 @default.
- W952778812 hasRelatedWork W2483788048 @default.
- W952778812 hasRelatedWork W2505434214 @default.
- W952778812 hasRelatedWork W3047205667 @default.
- W952778812 hasRelatedWork W3172157720 @default.
- W952778812 isParatext "false" @default.
- W952778812 isRetracted "false" @default.
- W952778812 magId "952778812" @default.
- W952778812 workType "book-chapter" @default.