FRINK Linked Data Fragments server

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

• W4383215718 endingPage "103314" @default.
• W4383215718 startingPage "103314" @default.
• W4383215718 abstract "Choice and independence of premise principles play an important role in characterizing Kreisel's modified realizability and Gödel's Dialectica interpretation. In this paper we show that a great many intuitionistic set theories are closed under the corresponding rules for finite types over N. It is also shown that the existence property (or existential definability property) holds for statements of the form ∃yσφ(y), where the variable y ranges over objects of finite type σ. This applies in particular to CZF (Constructive Zermelo-Fraenkel set theory) and IZF (Intuitionistic Zermelo-Fraenkel set theory), two systems known not to have the general existence property. On the technical side, the paper uses a method that amalgamates generic realizability for set theory with truth, whereby the underlying partial combinatory algebra is required to contain all objects of finite type." @default.
• W4383215718 created "2023-07-06" @default.
• W4383215718 creator A5002536453 @default.
• W4383215718 creator A5011325191 @default.
• W4383215718 creator A5078323773 @default.
• W4383215718 date "2023-10-01" @default.
• W4383215718 modified "2023-10-16" @default.
• W4383215718 title "Choice and independence of premise rules in intuitionistic set theory" @default.
• W4383215718 cites W159082583 @default.
• W4383215718 cites W1975401561 @default.
• W4383215718 cites W1978256094 @default.
• W4383215718 cites W2013764776 @default.
• W4383215718 cites W2024315465 @default.
• W4383215718 cites W2024836736 @default.
• W4383215718 cites W2036138623 @default.
• W4383215718 cites W2043566933 @default.
• W4383215718 cites W2052161854 @default.
• W4383215718 cites W2056914778 @default.
• W4383215718 cites W2069450525 @default.
• W4383215718 cites W2091208636 @default.
• W4383215718 cites W2148723814 @default.
• W4383215718 cites W2321252550 @default.
• W4383215718 cites W2963504323 @default.
• W4383215718 cites W4362731156 @default.
• W4383215718 doi "https://doi.org/10.1016/j.apal.2023.103314" @default.
• W4383215718 hasPublicationYear "2023" @default.
• W4383215718 type Work @default.
• W4383215718 citedByCount "0" @default.
• W4383215718 crossrefType "journal-article" @default.
• W4383215718 hasAuthorship W4383215718A5002536453 @default.
• W4383215718 hasAuthorship W4383215718A5011325191 @default.
• W4383215718 hasAuthorship W4383215718A5078323773 @default.
• W4383215718 hasConcept C105795698 @default.
• W4383215718 hasConcept C111472728 @default.
• W4383215718 hasConcept C111919701 @default.
• W4383215718 hasConcept C11413529 @default.
• W4383215718 hasConcept C118615104 @default.
• W4383215718 hasConcept C134306372 @default.
• W4383215718 hasConcept C136119220 @default.
• W4383215718 hasConcept C138885662 @default.
• W4383215718 hasConcept C151797676 @default.
• W4383215718 hasConcept C153046414 @default.
• W4383215718 hasConcept C162392398 @default.
• W4383215718 hasConcept C177264268 @default.
• W4383215718 hasConcept C18903297 @default.
• W4383215718 hasConcept C189950617 @default.
• W4383215718 hasConcept C199343813 @default.
• W4383215718 hasConcept C199360897 @default.
• W4383215718 hasConcept C202444582 @default.
• W4383215718 hasConcept C202854965 @default.
• W4383215718 hasConcept C2776378722 @default.
• W4383215718 hasConcept C2777299769 @default.
• W4383215718 hasConcept C2777686260 @default.
• W4383215718 hasConcept C2778023277 @default.
• W4383215718 hasConcept C2778701210 @default.
• W4383215718 hasConcept C33923547 @default.
• W4383215718 hasConcept C35651441 @default.
• W4383215718 hasConcept C41008148 @default.
• W4383215718 hasConcept C527412718 @default.
• W4383215718 hasConcept C71924100 @default.
• W4383215718 hasConcept C86803240 @default.
• W4383215718 hasConcept C93682546 @default.
• W4383215718 hasConcept C98045186 @default.
• W4383215718 hasConceptScore W4383215718C105795698 @default.
• W4383215718 hasConceptScore W4383215718C111472728 @default.
• W4383215718 hasConceptScore W4383215718C111919701 @default.
• W4383215718 hasConceptScore W4383215718C11413529 @default.
• W4383215718 hasConceptScore W4383215718C118615104 @default.
• W4383215718 hasConceptScore W4383215718C134306372 @default.
• W4383215718 hasConceptScore W4383215718C136119220 @default.
• W4383215718 hasConceptScore W4383215718C138885662 @default.
• W4383215718 hasConceptScore W4383215718C151797676 @default.
• W4383215718 hasConceptScore W4383215718C153046414 @default.
• W4383215718 hasConceptScore W4383215718C162392398 @default.
• W4383215718 hasConceptScore W4383215718C177264268 @default.
• W4383215718 hasConceptScore W4383215718C18903297 @default.
• W4383215718 hasConceptScore W4383215718C189950617 @default.
• W4383215718 hasConceptScore W4383215718C199343813 @default.
• W4383215718 hasConceptScore W4383215718C199360897 @default.
• W4383215718 hasConceptScore W4383215718C202444582 @default.
• W4383215718 hasConceptScore W4383215718C202854965 @default.
• W4383215718 hasConceptScore W4383215718C2776378722 @default.
• W4383215718 hasConceptScore W4383215718C2777299769 @default.
• W4383215718 hasConceptScore W4383215718C2777686260 @default.
• W4383215718 hasConceptScore W4383215718C2778023277 @default.
• W4383215718 hasConceptScore W4383215718C2778701210 @default.
• W4383215718 hasConceptScore W4383215718C33923547 @default.
• W4383215718 hasConceptScore W4383215718C35651441 @default.
• W4383215718 hasConceptScore W4383215718C41008148 @default.
• W4383215718 hasConceptScore W4383215718C527412718 @default.
• W4383215718 hasConceptScore W4383215718C71924100 @default.
• W4383215718 hasConceptScore W4383215718C86803240 @default.
• W4383215718 hasConceptScore W4383215718C93682546 @default.
• W4383215718 hasConceptScore W4383215718C98045186 @default.
• W4383215718 hasFunder F4320306193 @default.
• W4383215718 hasFunder F4320308269 @default.
• W4383215718 hasFunder F4320334764 @default.
• W4383215718 hasIssue "9" @default.

• next