Matches in SemOpenAlex for { <https://semopenalex.org/work/W2014134602> ?p ?o ?g. }
Showing items 1 to 71 of
71
with 100 items per page.
- W2014134602 endingPage "115" @default.
- W2014134602 startingPage "91" @default.
- W2014134602 abstract "We deal with applicative theories which are based on combinatory logic with total application, extensionality and natural numbers. We prove a conservative extension theorem and two consistency results, involving principles of uniformity, reflection, enumeration and choice." @default.
- W2014134602 created "2016-06-24" @default.
- W2014134602 creator A5009435902 @default.
- W2014134602 date "2005-10-01" @default.
- W2014134602 modified "2023-10-14" @default.
- W2014134602 title "Remarks on applicative theories" @default.
- W2014134602 cites W126568045 @default.
- W2014134602 cites W1498926208 @default.
- W2014134602 cites W15082545 @default.
- W2014134602 cites W1514633965 @default.
- W2014134602 cites W1528467909 @default.
- W2014134602 cites W1556453281 @default.
- W2014134602 cites W1966026587 @default.
- W2014134602 cites W1986998737 @default.
- W2014134602 cites W2007299957 @default.
- W2014134602 cites W2026682644 @default.
- W2014134602 cites W2057094492 @default.
- W2014134602 cites W2154273644 @default.
- W2014134602 cites W2600221731 @default.
- W2014134602 cites W2798718690 @default.
- W2014134602 cites W594310934 @default.
- W2014134602 doi "https://doi.org/10.1016/j.apal.2005.05.007" @default.
- W2014134602 hasPublicationYear "2005" @default.
- W2014134602 type Work @default.
- W2014134602 sameAs 2014134602 @default.
- W2014134602 citedByCount "4" @default.
- W2014134602 countsByYear W20141346022012 @default.
- W2014134602 crossrefType "journal-article" @default.
- W2014134602 hasAuthorship W2014134602A5009435902 @default.
- W2014134602 hasBestOaLocation W20141346021 @default.
- W2014134602 hasConcept C136119220 @default.
- W2014134602 hasConcept C144237770 @default.
- W2014134602 hasConcept C145420912 @default.
- W2014134602 hasConcept C199343813 @default.
- W2014134602 hasConcept C199360897 @default.
- W2014134602 hasConcept C202444582 @default.
- W2014134602 hasConcept C2777686260 @default.
- W2014134602 hasConcept C33923547 @default.
- W2014134602 hasConcept C41008148 @default.
- W2014134602 hasConcept C71924100 @default.
- W2014134602 hasConceptScore W2014134602C136119220 @default.
- W2014134602 hasConceptScore W2014134602C144237770 @default.
- W2014134602 hasConceptScore W2014134602C145420912 @default.
- W2014134602 hasConceptScore W2014134602C199343813 @default.
- W2014134602 hasConceptScore W2014134602C199360897 @default.
- W2014134602 hasConceptScore W2014134602C202444582 @default.
- W2014134602 hasConceptScore W2014134602C2777686260 @default.
- W2014134602 hasConceptScore W2014134602C33923547 @default.
- W2014134602 hasConceptScore W2014134602C41008148 @default.
- W2014134602 hasConceptScore W2014134602C71924100 @default.
- W2014134602 hasIssue "1-2" @default.
- W2014134602 hasLocation W20141346021 @default.
- W2014134602 hasOpenAccess W2014134602 @default.
- W2014134602 hasPrimaryLocation W20141346021 @default.
- W2014134602 hasRelatedWork W1527862632 @default.
- W2014134602 hasRelatedWork W2112962394 @default.
- W2014134602 hasRelatedWork W2118300983 @default.
- W2014134602 hasRelatedWork W2135396778 @default.
- W2014134602 hasRelatedWork W2166247150 @default.
- W2014134602 hasRelatedWork W2382501300 @default.
- W2014134602 hasRelatedWork W2740990710 @default.
- W2014134602 hasRelatedWork W3137189469 @default.
- W2014134602 hasRelatedWork W4235530921 @default.
- W2014134602 hasRelatedWork W4243252198 @default.
- W2014134602 hasVolume "136" @default.
- W2014134602 isParatext "false" @default.
- W2014134602 isRetracted "false" @default.
- W2014134602 magId "2014134602" @default.
- W2014134602 workType "article" @default.