Matches in SemOpenAlex for { <https://semopenalex.org/work/W1781777266> ?p ?o ?g. }
Showing items 1 to 77 of
77
with 100 items per page.
- W1781777266 abstract "Publisher Summary This chapter discusses the ultrafilters on definable sets in arithmetic. The relation between independence results in systems of arithmetic and rate of growth of recursive functions has been found. A problem due to G. Mills and J. Paris in the study of initial segments of models of arithmetic is presented in the chapter. The chapter gives a characterization of n -extendible cuts that generalizes a result of L. Kirby, yielding an interesting characterization of n -extendible and n -Ramsey initial segments in terms of existence of certain ultrafilters. All models satisfy bounded induction. 2-Ramsey and 2-extendible are symbiotic yet distinct notions." @default.
- W1781777266 created "2016-06-24" @default.
- W1781777266 creator A5038186958 @default.
- W1781777266 date "1986-01-01" @default.
- W1781777266 modified "2023-09-27" @default.
- W1781777266 title "Ultrafilters on Definable Sets in Arithmetic" @default.
- W1781777266 cites W155978475 @default.
- W1781777266 cites W2040404640 @default.
- W1781777266 cites W2047460779 @default.
- W1781777266 cites W2081155476 @default.
- W1781777266 cites W2131443763 @default.
- W1781777266 cites W64934319 @default.
- W1781777266 cites W2069673292 @default.
- W1781777266 doi "https://doi.org/10.1016/s0049-237x(08)70456-7" @default.
- W1781777266 hasPublicationYear "1986" @default.
- W1781777266 type Work @default.
- W1781777266 sameAs 1781777266 @default.
- W1781777266 citedByCount "1" @default.
- W1781777266 crossrefType "book-chapter" @default.
- W1781777266 hasAuthorship W1781777266A5038186958 @default.
- W1781777266 hasConcept C105795698 @default.
- W1781777266 hasConcept C118615104 @default.
- W1781777266 hasConcept C134306372 @default.
- W1781777266 hasConcept C136119220 @default.
- W1781777266 hasConcept C171250308 @default.
- W1781777266 hasConcept C192562407 @default.
- W1781777266 hasConcept C202444582 @default.
- W1781777266 hasConcept C25343380 @default.
- W1781777266 hasConcept C2780841128 @default.
- W1781777266 hasConcept C33923547 @default.
- W1781777266 hasConcept C34388435 @default.
- W1781777266 hasConcept C35651441 @default.
- W1781777266 hasConcept C41008148 @default.
- W1781777266 hasConcept C77088390 @default.
- W1781777266 hasConcept C94375191 @default.
- W1781777266 hasConceptScore W1781777266C105795698 @default.
- W1781777266 hasConceptScore W1781777266C118615104 @default.
- W1781777266 hasConceptScore W1781777266C134306372 @default.
- W1781777266 hasConceptScore W1781777266C136119220 @default.
- W1781777266 hasConceptScore W1781777266C171250308 @default.
- W1781777266 hasConceptScore W1781777266C192562407 @default.
- W1781777266 hasConceptScore W1781777266C202444582 @default.
- W1781777266 hasConceptScore W1781777266C25343380 @default.
- W1781777266 hasConceptScore W1781777266C2780841128 @default.
- W1781777266 hasConceptScore W1781777266C33923547 @default.
- W1781777266 hasConceptScore W1781777266C34388435 @default.
- W1781777266 hasConceptScore W1781777266C35651441 @default.
- W1781777266 hasConceptScore W1781777266C41008148 @default.
- W1781777266 hasConceptScore W1781777266C77088390 @default.
- W1781777266 hasConceptScore W1781777266C94375191 @default.
- W1781777266 hasLocation W17817772661 @default.
- W1781777266 hasOpenAccess W1781777266 @default.
- W1781777266 hasPrimaryLocation W17817772661 @default.
- W1781777266 hasRelatedWork W1966028221 @default.
- W1781777266 hasRelatedWork W1969973423 @default.
- W1781777266 hasRelatedWork W1970236104 @default.
- W1781777266 hasRelatedWork W1972540229 @default.
- W1781777266 hasRelatedWork W1980068378 @default.
- W1781777266 hasRelatedWork W1987877697 @default.
- W1781777266 hasRelatedWork W1990077347 @default.
- W1781777266 hasRelatedWork W1995675761 @default.
- W1781777266 hasRelatedWork W2007336308 @default.
- W1781777266 hasRelatedWork W2011612028 @default.
- W1781777266 hasRelatedWork W2015690845 @default.
- W1781777266 hasRelatedWork W2034362265 @default.
- W1781777266 hasRelatedWork W2035185057 @default.
- W1781777266 hasRelatedWork W2053798894 @default.
- W1781777266 hasRelatedWork W2068573065 @default.
- W1781777266 hasRelatedWork W2068930233 @default.
- W1781777266 hasRelatedWork W2074251720 @default.
- W1781777266 hasRelatedWork W2088811803 @default.
- W1781777266 hasRelatedWork W2150865059 @default.
- W1781777266 hasRelatedWork W2578875344 @default.
- W1781777266 isParatext "false" @default.
- W1781777266 isRetracted "false" @default.
- W1781777266 magId "1781777266" @default.
- W1781777266 workType "book-chapter" @default.