Matches in SemOpenAlex for { <https://semopenalex.org/work/W4310884752> ?p ?o ?g. }
Showing items 1 to 56 of
56
with 100 items per page.
- W4310884752 abstract "We survey the logical structure of constructive set theories and point towards directions for future research. Moreover, we analyse the consequences of being extensible for the logical structure of a given constructive set theory. We finally provide examples of a number of set theories that are extensible." @default.
- W4310884752 created "2022-12-20" @default.
- W4310884752 creator A5083091513 @default.
- W4310884752 creator A5087051979 @default.
- W4310884752 date "2022-12-06" @default.
- W4310884752 modified "2023-10-14" @default.
- W4310884752 title "Logics and Admissible Rules of Constructive Set Theories" @default.
- W4310884752 doi "https://doi.org/10.48550/arxiv.2212.03105" @default.
- W4310884752 hasPublicationYear "2022" @default.
- W4310884752 type Work @default.
- W4310884752 citedByCount "0" @default.
- W4310884752 crossrefType "posted-content" @default.
- W4310884752 hasAuthorship W4310884752A5083091513 @default.
- W4310884752 hasAuthorship W4310884752A5087051979 @default.
- W4310884752 hasBestOaLocation W43108847521 @default.
- W4310884752 hasConcept C151797676 @default.
- W4310884752 hasConcept C153046414 @default.
- W4310884752 hasConcept C177264268 @default.
- W4310884752 hasConcept C199360897 @default.
- W4310884752 hasConcept C2524010 @default.
- W4310884752 hasConcept C2778701210 @default.
- W4310884752 hasConcept C28719098 @default.
- W4310884752 hasConcept C33923547 @default.
- W4310884752 hasConcept C41008148 @default.
- W4310884752 hasConcept C556429856 @default.
- W4310884752 hasConcept C80444323 @default.
- W4310884752 hasConcept C98045186 @default.
- W4310884752 hasConceptScore W4310884752C151797676 @default.
- W4310884752 hasConceptScore W4310884752C153046414 @default.
- W4310884752 hasConceptScore W4310884752C177264268 @default.
- W4310884752 hasConceptScore W4310884752C199360897 @default.
- W4310884752 hasConceptScore W4310884752C2524010 @default.
- W4310884752 hasConceptScore W4310884752C2778701210 @default.
- W4310884752 hasConceptScore W4310884752C28719098 @default.
- W4310884752 hasConceptScore W4310884752C33923547 @default.
- W4310884752 hasConceptScore W4310884752C41008148 @default.
- W4310884752 hasConceptScore W4310884752C556429856 @default.
- W4310884752 hasConceptScore W4310884752C80444323 @default.
- W4310884752 hasConceptScore W4310884752C98045186 @default.
- W4310884752 hasLocation W43108847521 @default.
- W4310884752 hasLocation W43108847522 @default.
- W4310884752 hasOpenAccess W4310884752 @default.
- W4310884752 hasPrimaryLocation W43108847521 @default.
- W4310884752 hasRelatedWork W187776339 @default.
- W4310884752 hasRelatedWork W2016661762 @default.
- W4310884752 hasRelatedWork W2042711307 @default.
- W4310884752 hasRelatedWork W2060433450 @default.
- W4310884752 hasRelatedWork W2066072993 @default.
- W4310884752 hasRelatedWork W2079743999 @default.
- W4310884752 hasRelatedWork W2491547471 @default.
- W4310884752 hasRelatedWork W4310884752 @default.
- W4310884752 hasRelatedWork W4362731168 @default.
- W4310884752 hasRelatedWork W80676923 @default.
- W4310884752 isParatext "false" @default.
- W4310884752 isRetracted "false" @default.
- W4310884752 workType "article" @default.