FRINK Linked Data Fragments server

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

• W2947156900 abstract "We present a Kleene realizability semantics for the intensional level of the Minimalist Foundation, for short mtt, extended with inductively generated formal topologies, Church's thesis and axiom of choice. This semantics is an extension of the one used to show consistency of the intensional level of the Minimalist Foundation with the axiom of choice and formal Church's thesis in previous work. A main novelty here is that such a semantics is formalized in a constructive theory represented by Aczel's constructive set theory CZF extended with the regular extension axiom." @default.
• W2947156900 created "2019-06-07" @default.
• W2947156900 creator A5011325191 @default.
• W2947156900 creator A5053199287 @default.
• W2947156900 creator A5059281721 @default.
• W2947156900 date "2019-05-28" @default.
• W2947156900 modified "2023-09-27" @default.
• W2947156900 title "A realizability semantics for inductive formal topologies, Church's Thesis and Axiom of Choice" @default.
• W2947156900 cites W1511133369 @default.
• W2947156900 cites W1534635720 @default.
• W2947156900 cites W1966374748 @default.
• W2947156900 cites W1980497153 @default.
• W2947156900 cites W1995836454 @default.
• W2947156900 cites W2005065769 @default.
• W2947156900 cites W2006709633 @default.
• W2947156900 cites W2033165246 @default.
• W2947156900 cites W2065468423 @default.
• W2947156900 cites W2076232585 @default.
• W2947156900 cites W2093461960 @default.
• W2947156900 cites W2119717000 @default.
• W2947156900 cites W2120677003 @default.
• W2947156900 cites W2166869969 @default.
• W2947156900 cites W2575197771 @default.
• W2947156900 cites W2787206234 @default.
• W2947156900 cites W3217197059 @default.
• W2947156900 cites W34143232 @default.
• W2947156900 hasPublicationYear "2019" @default.
• W2947156900 type Work @default.
• W2947156900 sameAs 2947156900 @default.
• W2947156900 citedByCount "0" @default.
• W2947156900 crossrefType "posted-content" @default.
• W2947156900 hasAuthorship W2947156900A5011325191 @default.
• W2947156900 hasAuthorship W2947156900A5053199287 @default.
• W2947156900 hasAuthorship W2947156900A5059281721 @default.
• W2947156900 hasConcept C11413529 @default.
• W2947156900 hasConcept C118615104 @default.
• W2947156900 hasConcept C136119220 @default.
• W2947156900 hasConcept C150355047 @default.
• W2947156900 hasConcept C151797676 @default.
• W2947156900 hasConcept C153046414 @default.
• W2947156900 hasConcept C167729594 @default.
• W2947156900 hasConcept C177264268 @default.
• W2947156900 hasConcept C184337299 @default.
• W2947156900 hasConcept C199360897 @default.
• W2947156900 hasConcept C202444582 @default.
• W2947156900 hasConcept C2524010 @default.
• W2947156900 hasConcept C2776378722 @default.
• W2947156900 hasConcept C2776436953 @default.
• W2947156900 hasConcept C2778029271 @default.
• W2947156900 hasConcept C2778701210 @default.
• W2947156900 hasConcept C2780432614 @default.
• W2947156900 hasConcept C33923547 @default.
• W2947156900 hasConcept C41008148 @default.
• W2947156900 hasConcept C556429856 @default.
• W2947156900 hasConcept C78550038 @default.
• W2947156900 hasConcept C98045186 @default.
• W2947156900 hasConceptScore W2947156900C11413529 @default.
• W2947156900 hasConceptScore W2947156900C118615104 @default.
• W2947156900 hasConceptScore W2947156900C136119220 @default.
• W2947156900 hasConceptScore W2947156900C150355047 @default.
• W2947156900 hasConceptScore W2947156900C151797676 @default.
• W2947156900 hasConceptScore W2947156900C153046414 @default.
• W2947156900 hasConceptScore W2947156900C167729594 @default.
• W2947156900 hasConceptScore W2947156900C177264268 @default.
• W2947156900 hasConceptScore W2947156900C184337299 @default.
• W2947156900 hasConceptScore W2947156900C199360897 @default.
• W2947156900 hasConceptScore W2947156900C202444582 @default.
• W2947156900 hasConceptScore W2947156900C2524010 @default.
• W2947156900 hasConceptScore W2947156900C2776378722 @default.
• W2947156900 hasConceptScore W2947156900C2776436953 @default.
• W2947156900 hasConceptScore W2947156900C2778029271 @default.
• W2947156900 hasConceptScore W2947156900C2778701210 @default.
• W2947156900 hasConceptScore W2947156900C2780432614 @default.
• W2947156900 hasConceptScore W2947156900C33923547 @default.
• W2947156900 hasConceptScore W2947156900C41008148 @default.
• W2947156900 hasConceptScore W2947156900C556429856 @default.
• W2947156900 hasConceptScore W2947156900C78550038 @default.
• W2947156900 hasConceptScore W2947156900C98045186 @default.
• W2947156900 hasLocation W29471569001 @default.
• W2947156900 hasOpenAccess W2947156900 @default.
• W2947156900 hasPrimaryLocation W29471569001 @default.
• W2947156900 hasRelatedWork W1606042889 @default.
• W2947156900 hasRelatedWork W1747803946 @default.
• W2947156900 hasRelatedWork W1819810875 @default.
• W2947156900 hasRelatedWork W1981337130 @default.
• W2947156900 hasRelatedWork W2011006610 @default.
• W2947156900 hasRelatedWork W2019636538 @default.
• W2947156900 hasRelatedWork W2023402716 @default.
• W2947156900 hasRelatedWork W2062936207 @default.
• W2947156900 hasRelatedWork W2305277033 @default.
• W2947156900 hasRelatedWork W2428976349 @default.
• W2947156900 hasRelatedWork W2487454029 @default.
• W2947156900 hasRelatedWork W2588728518 @default.
• W2947156900 hasRelatedWork W2724860650 @default.
• W2947156900 hasRelatedWork W2751936540 @default.
• W2947156900 hasRelatedWork W2787206234 @default.
• W2947156900 hasRelatedWork W2964154025 @default.
• W2947156900 hasRelatedWork W3047120837 @default.
• W2947156900 hasRelatedWork W3080166189 @default.
• W2947156900 hasRelatedWork W312113401 @default.

• next