FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W1587789403> ?p ?o ?g. }

• W1587789403 abstract "This thesis presents an investigation into large sets and large set axioms in the context of the constructive set theory CZF.We determine the structure of large sets by classifying their von Neumann stages and use a new modified cumulative hierarchy to characterise their arrangement in the set theoretic universe. We prove that large set axioms have good metamathematical properties, including absoluteness for the common relative model constructions of CZF and a preservation of the witness existence properties CZF enjoys. Furthermore, we use realizability to establish new results about the relative consistency of a plurality of inaccessibles versus the existence of just one inaccessible. Developing a constructive theory of clubs, we present a characterisation theorem for Mahlo sets connecting classical and constructive approaches to Mahloness and determine the amount of induction contained in the assertion of a Mahlo set. We then present a characterisation theorem for 2-strong sets which proves them to be equivalent to a logically simpler concept.We also investigate several topics connected to elementary embeddings of the set theoretic universe into a transitive class model of CZF, where considering different equivalent classical formulations results in a rich and interconnected spectrum of measurability for the constructive case. We pay particular attention to the question of cofinality of elementary embeddings, achieving both very strong cofinality properties in the case of Reinhardt embeddings and constructing models of the failure of cofinality in the case of ordinary measurable embeddings, some of which require only surprisingly low conditions. We close with an investigation of constructive principles incompatible with elementary embeddings." @default.
• W1587789403 created "2016-06-24" @default.
• W1587789403 creator A5022385660 @default.
• W1587789403 date "2014-12-01" @default.
• W1587789403 modified "2023-09-23" @default.
• W1587789403 title "Large sets in constructive set theory" @default.
• W1587789403 cites W115176759 @default.
• W1587789403 cites W141536115 @default.
• W1587789403 cites W1498439614 @default.
• W1587789403 cites W1574867029 @default.
• W1587789403 cites W158226905 @default.
• W1587789403 cites W1608650978 @default.
• W1587789403 cites W168998676 @default.
• W1587789403 cites W1966969477 @default.
• W1587789403 cites W1978413491 @default.
• W1587789403 cites W1990564510 @default.
• W1587789403 cites W2002542640 @default.
• W1587789403 cites W2013764776 @default.
• W1587789403 cites W2024315465 @default.
• W1587789403 cites W2032794985 @default.
• W1587789403 cites W2033165246 @default.
• W1587789403 cites W2039735416 @default.
• W1587789403 cites W2042711307 @default.
• W1587789403 cites W2048212283 @default.
• W1587789403 cites W2055655687 @default.
• W1587789403 cites W2056914778 @default.
• W1587789403 cites W2058174669 @default.
• W1587789403 cites W2060433450 @default.
• W1587789403 cites W2062260615 @default.
• W1587789403 cites W2092847400 @default.
• W1587789403 cites W2601545920 @default.
• W1587789403 cites W2603181436 @default.
• W1587789403 cites W2963036596 @default.
• W1587789403 hasPublicationYear "2014" @default.
• W1587789403 type Work @default.
• W1587789403 sameAs 1587789403 @default.
• W1587789403 citedByCount "1" @default.
• W1587789403 countsByYear W15877894032021 @default.
• W1587789403 crossrefType "dissertation" @default.
• W1587789403 hasAuthorship W1587789403A5022385660 @default.
• W1587789403 hasConcept C110729354 @default.
• W1587789403 hasConcept C111919701 @default.
• W1587789403 hasConcept C118615104 @default.
• W1587789403 hasConcept C136119220 @default.
• W1587789403 hasConcept C142399903 @default.
• W1587789403 hasConcept C148070024 @default.
• W1587789403 hasConcept C151730666 @default.
• W1587789403 hasConcept C151797676 @default.
• W1587789403 hasConcept C153046414 @default.
• W1587789403 hasConcept C154945302 @default.
• W1587789403 hasConcept C167729594 @default.
• W1587789403 hasConcept C177264268 @default.
• W1587789403 hasConcept C199360897 @default.
• W1587789403 hasConcept C202444582 @default.
• W1587789403 hasConcept C2524010 @default.
• W1587789403 hasConcept C2776436953 @default.
• W1587789403 hasConcept C2777212361 @default.
• W1587789403 hasConcept C2778701210 @default.
• W1587789403 hasConcept C2779343474 @default.
• W1587789403 hasConcept C33923547 @default.
• W1587789403 hasConcept C41008148 @default.
• W1587789403 hasConcept C51460 @default.
• W1587789403 hasConcept C556429856 @default.
• W1587789403 hasConcept C86803240 @default.
• W1587789403 hasConcept C98045186 @default.
• W1587789403 hasConceptScore W1587789403C110729354 @default.
• W1587789403 hasConceptScore W1587789403C111919701 @default.
• W1587789403 hasConceptScore W1587789403C118615104 @default.
• W1587789403 hasConceptScore W1587789403C136119220 @default.
• W1587789403 hasConceptScore W1587789403C142399903 @default.
• W1587789403 hasConceptScore W1587789403C148070024 @default.
• W1587789403 hasConceptScore W1587789403C151730666 @default.
• W1587789403 hasConceptScore W1587789403C151797676 @default.
• W1587789403 hasConceptScore W1587789403C153046414 @default.
• W1587789403 hasConceptScore W1587789403C154945302 @default.
• W1587789403 hasConceptScore W1587789403C167729594 @default.
• W1587789403 hasConceptScore W1587789403C177264268 @default.
• W1587789403 hasConceptScore W1587789403C199360897 @default.
• W1587789403 hasConceptScore W1587789403C202444582 @default.
• W1587789403 hasConceptScore W1587789403C2524010 @default.
• W1587789403 hasConceptScore W1587789403C2776436953 @default.
• W1587789403 hasConceptScore W1587789403C2777212361 @default.
• W1587789403 hasConceptScore W1587789403C2778701210 @default.
• W1587789403 hasConceptScore W1587789403C2779343474 @default.
• W1587789403 hasConceptScore W1587789403C33923547 @default.
• W1587789403 hasConceptScore W1587789403C41008148 @default.
• W1587789403 hasConceptScore W1587789403C51460 @default.
• W1587789403 hasConceptScore W1587789403C556429856 @default.
• W1587789403 hasConceptScore W1587789403C86803240 @default.
• W1587789403 hasConceptScore W1587789403C98045186 @default.
• W1587789403 hasLocation W15877894031 @default.
• W1587789403 hasOpenAccess W1587789403 @default.
• W1587789403 hasPrimaryLocation W15877894031 @default.
• W1587789403 hasRelatedWork W189915579 @default.
• W1587789403 hasRelatedWork W1990132849 @default.
• W1587789403 hasRelatedWork W2060996059 @default.
• W1587789403 hasRelatedWork W2073858584 @default.
• W1587789403 hasRelatedWork W2084858937 @default.
• W1587789403 hasRelatedWork W2112960774 @default.
• W1587789403 hasRelatedWork W2143058347 @default.

• next