FRINK Linked Data Fragments server

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

• W2089061648 endingPage "646" @default.
• W2089061648 startingPage "579" @default.
• W2089061648 abstract "By obtaining several new results on Cook-style two-sorted bounded arithmetic, this paper measures the strengths of the axiom of extensionality and of other weak fundamental set-theoretic axioms in the absence of the axiom of infinity, following the author’s previous work [K. Sato, The strength of extensionality I — weak weak set theories with infinity, Annals of Pure and Applied Logic 157 (2009) 234–268] which measures them in the presence. These investigations provide a uniform framework in which three different kinds of reverse mathematics–Friedman–Simpson’s “orthodox” reverse mathematics, Cook’s bounded reverse mathematics and large cardinal theory–can be reformulated within one language so that we can compare them more directly." @default.
• W2089061648 created "2016-06-24" @default.
• W2089061648 creator A5000997987 @default.
• W2089061648 date "2011-08-01" @default.
• W2089061648 modified "2023-10-18" @default.
• W2089061648 title "The strength of extensionality II — Weak weak set theories without infinity" @default.
• W2089061648 cites W1539794912 @default.
• W2089061648 cites W154666901 @default.
• W2089061648 cites W1561011284 @default.
• W2089061648 cites W1565029977 @default.
• W2089061648 cites W1587799979 @default.
• W2089061648 cites W1971643033 @default.
• W2089061648 cites W1975734325 @default.
• W2089061648 cites W1985367925 @default.
• W2089061648 cites W1996243733 @default.
• W2089061648 cites W2002594958 @default.
• W2089061648 cites W2004941832 @default.
• W2089061648 cites W2007535202 @default.
• W2089061648 cites W2012841980 @default.
• W2089061648 cites W2092553530 @default.
• W2089061648 cites W2101453321 @default.
• W2089061648 cites W2112512535 @default.
• W2089061648 cites W2115698108 @default.
• W2089061648 cites W2128026324 @default.
• W2089061648 cites W2139824158 @default.
• W2089061648 cites W2144833073 @default.
• W2089061648 cites W2169150716 @default.
• W2089061648 cites W2169772316 @default.
• W2089061648 cites W2907713860 @default.
• W2089061648 cites W569543113 @default.
• W2089061648 cites W594310934 @default.
• W2089061648 doi "https://doi.org/10.1016/j.apal.2010.11.001" @default.
• W2089061648 hasPublicationYear "2011" @default.
• W2089061648 type Work @default.
• W2089061648 sameAs 2089061648 @default.
• W2089061648 citedByCount "5" @default.
• W2089061648 countsByYear W20890616482012 @default.
• W2089061648 countsByYear W20890616482014 @default.
• W2089061648 countsByYear W20890616482015 @default.
• W2089061648 countsByYear W20890616482016 @default.
• W2089061648 crossrefType "journal-article" @default.
• W2089061648 hasAuthorship W2089061648A5000997987 @default.
• W2089061648 hasConcept C118615104 @default.
• W2089061648 hasConcept C127753061 @default.
• W2089061648 hasConcept C134306372 @default.
• W2089061648 hasConcept C136119220 @default.
• W2089061648 hasConcept C145420912 @default.
• W2089061648 hasConcept C150355047 @default.
• W2089061648 hasConcept C153046414 @default.
• W2089061648 hasConcept C167729594 @default.
• W2089061648 hasConcept C177264268 @default.
• W2089061648 hasConcept C183140480 @default.
• W2089061648 hasConcept C199343813 @default.
• W2089061648 hasConcept C199360897 @default.
• W2089061648 hasConcept C202444582 @default.
• W2089061648 hasConcept C2524010 @default.
• W2089061648 hasConcept C2777686260 @default.
• W2089061648 hasConcept C33923547 @default.
• W2089061648 hasConcept C34388435 @default.
• W2089061648 hasConcept C41008148 @default.
• W2089061648 hasConcept C71924100 @default.
• W2089061648 hasConcept C7321624 @default.
• W2089061648 hasConceptScore W2089061648C118615104 @default.
• W2089061648 hasConceptScore W2089061648C127753061 @default.
• W2089061648 hasConceptScore W2089061648C134306372 @default.
• W2089061648 hasConceptScore W2089061648C136119220 @default.
• W2089061648 hasConceptScore W2089061648C145420912 @default.
• W2089061648 hasConceptScore W2089061648C150355047 @default.
• W2089061648 hasConceptScore W2089061648C153046414 @default.
• W2089061648 hasConceptScore W2089061648C167729594 @default.
• W2089061648 hasConceptScore W2089061648C177264268 @default.
• W2089061648 hasConceptScore W2089061648C183140480 @default.
• W2089061648 hasConceptScore W2089061648C199343813 @default.
• W2089061648 hasConceptScore W2089061648C199360897 @default.
• W2089061648 hasConceptScore W2089061648C202444582 @default.
• W2089061648 hasConceptScore W2089061648C2524010 @default.
• W2089061648 hasConceptScore W2089061648C2777686260 @default.
• W2089061648 hasConceptScore W2089061648C33923547 @default.
• W2089061648 hasConceptScore W2089061648C34388435 @default.
• W2089061648 hasConceptScore W2089061648C41008148 @default.
• W2089061648 hasConceptScore W2089061648C71924100 @default.
• W2089061648 hasConceptScore W2089061648C7321624 @default.
• W2089061648 hasIssue "8" @default.
• W2089061648 hasLocation W20890616481 @default.
• W2089061648 hasOpenAccess W2089061648 @default.
• W2089061648 hasPrimaryLocation W20890616481 @default.
• W2089061648 hasRelatedWork W144915384 @default.
• W2089061648 hasRelatedWork W1996243733 @default.
• W2089061648 hasRelatedWork W2028114523 @default.
• W2089061648 hasRelatedWork W2054741405 @default.
• W2089061648 hasRelatedWork W2089061648 @default.
• W2089061648 hasRelatedWork W2127484820 @default.
• W2089061648 hasRelatedWork W2342316659 @default.
• W2089061648 hasRelatedWork W2963422952 @default.
• W2089061648 hasRelatedWork W2964267843 @default.
• W2089061648 hasRelatedWork W3027428265 @default.
• W2089061648 hasVolume "162" @default.
• W2089061648 isParatext "false" @default.

• next