FRINK Linked Data Fragments server

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

• W2007299957 endingPage "120" @default.
• W2007299957 startingPage "105" @default.
• W2007299957 abstract "In this paper we study applicative theories of operations and numbers with (and without) the non-constructive minimum operator in the context of a total application operation. We determine the proof-theoretic strength of such theories by relating them to well-known systems like Peano Arithmetic PA and the system (Π∞0-CA)<ε0 of second order arithmetic. Essential use will be made of so-called fixed-point theories with ordinals, certain infinitary term models and Church-Rosser properties." @default.
• W2007299957 created "2016-06-24" @default.
• W2007299957 creator A5010107932 @default.
• W2007299957 creator A5019358632 @default.
• W2007299957 date "1995-07-01" @default.
• W2007299957 modified "2023-09-26" @default.
• W2007299957 title "Totality in applicative theories" @default.
• W2007299957 cites W2023423328 @default.
• W2007299957 cites W2074338252 @default.
• W2007299957 cites W2137355506 @default.
• W2007299957 cites W4238927480 @default.
• W2007299957 doi "https://doi.org/10.1016/0168-0072(94)00037-4" @default.
• W2007299957 hasPublicationYear "1995" @default.
• W2007299957 type Work @default.
• W2007299957 sameAs 2007299957 @default.
• W2007299957 citedByCount "28" @default.
• W2007299957 countsByYear W20072999572012 @default.
• W2007299957 countsByYear W20072999572013 @default.
• W2007299957 countsByYear W20072999572014 @default.
• W2007299957 countsByYear W20072999572015 @default.
• W2007299957 countsByYear W20072999572016 @default.
• W2007299957 crossrefType "journal-article" @default.
• W2007299957 hasAuthorship W2007299957A5010107932 @default.
• W2007299957 hasAuthorship W2007299957A5019358632 @default.
• W2007299957 hasConcept C10138342 @default.
• W2007299957 hasConcept C104317684 @default.
• W2007299957 hasConcept C118615104 @default.
• W2007299957 hasConcept C121332964 @default.
• W2007299957 hasConcept C127753061 @default.
• W2007299957 hasConcept C136119220 @default.
• W2007299957 hasConcept C151730666 @default.
• W2007299957 hasConcept C158448853 @default.
• W2007299957 hasConcept C162324750 @default.
• W2007299957 hasConcept C167729594 @default.
• W2007299957 hasConcept C17020691 @default.
• W2007299957 hasConcept C182306322 @default.
• W2007299957 hasConcept C185592680 @default.
• W2007299957 hasConcept C199343813 @default.
• W2007299957 hasConcept C199360897 @default.
• W2007299957 hasConcept C202444582 @default.
• W2007299957 hasConcept C2524010 @default.
• W2007299957 hasConcept C2777686260 @default.
• W2007299957 hasConcept C2778701210 @default.
• W2007299957 hasConcept C2779343474 @default.
• W2007299957 hasConcept C33923547 @default.
• W2007299957 hasConcept C41008148 @default.
• W2007299957 hasConcept C45962547 @default.
• W2007299957 hasConcept C55493867 @default.
• W2007299957 hasConcept C61797465 @default.
• W2007299957 hasConcept C62520636 @default.
• W2007299957 hasConcept C65148605 @default.
• W2007299957 hasConcept C71924100 @default.
• W2007299957 hasConcept C86339819 @default.
• W2007299957 hasConcept C86803240 @default.
• W2007299957 hasConcept C94375191 @default.
• W2007299957 hasConcept C97489613 @default.
• W2007299957 hasConcept C98045186 @default.
• W2007299957 hasConceptScore W2007299957C10138342 @default.
• W2007299957 hasConceptScore W2007299957C104317684 @default.
• W2007299957 hasConceptScore W2007299957C118615104 @default.
• W2007299957 hasConceptScore W2007299957C121332964 @default.
• W2007299957 hasConceptScore W2007299957C127753061 @default.
• W2007299957 hasConceptScore W2007299957C136119220 @default.
• W2007299957 hasConceptScore W2007299957C151730666 @default.
• W2007299957 hasConceptScore W2007299957C158448853 @default.
• W2007299957 hasConceptScore W2007299957C162324750 @default.
• W2007299957 hasConceptScore W2007299957C167729594 @default.
• W2007299957 hasConceptScore W2007299957C17020691 @default.
• W2007299957 hasConceptScore W2007299957C182306322 @default.
• W2007299957 hasConceptScore W2007299957C185592680 @default.
• W2007299957 hasConceptScore W2007299957C199343813 @default.
• W2007299957 hasConceptScore W2007299957C199360897 @default.
• W2007299957 hasConceptScore W2007299957C202444582 @default.
• W2007299957 hasConceptScore W2007299957C2524010 @default.
• W2007299957 hasConceptScore W2007299957C2777686260 @default.
• W2007299957 hasConceptScore W2007299957C2778701210 @default.
• W2007299957 hasConceptScore W2007299957C2779343474 @default.
• W2007299957 hasConceptScore W2007299957C33923547 @default.
• W2007299957 hasConceptScore W2007299957C41008148 @default.
• W2007299957 hasConceptScore W2007299957C45962547 @default.
• W2007299957 hasConceptScore W2007299957C55493867 @default.
• W2007299957 hasConceptScore W2007299957C61797465 @default.
• W2007299957 hasConceptScore W2007299957C62520636 @default.
• W2007299957 hasConceptScore W2007299957C65148605 @default.
• W2007299957 hasConceptScore W2007299957C71924100 @default.
• W2007299957 hasConceptScore W2007299957C86339819 @default.
• W2007299957 hasConceptScore W2007299957C86803240 @default.
• W2007299957 hasConceptScore W2007299957C94375191 @default.
• W2007299957 hasConceptScore W2007299957C97489613 @default.
• W2007299957 hasConceptScore W2007299957C98045186 @default.
• W2007299957 hasIssue "2" @default.
• W2007299957 hasLocation W20072999571 @default.
• W2007299957 hasOpenAccess W2007299957 @default.
• W2007299957 hasPrimaryLocation W20072999571 @default.
• W2007299957 hasRelatedWork W1559233844 @default.
• W2007299957 hasRelatedWork W2007299957 @default.
• W2007299957 hasRelatedWork W2013342737 @default.
• W2007299957 hasRelatedWork W2047711809 @default.

• next