Matches in SemOpenAlex for { <https://semopenalex.org/work/W2951056699> ?p ?o ?g. }
Showing items 1 to 49 of
49
with 100 items per page.
- W2951056699 abstract "Local sentences were introduced by J.-P. Ressayre who proved certain remarkable stretching theorems establishing the equivalence between the existence of finite models for these sentences and the existence of some infinite well ordered models. Two of these stretching theorems were only proved under certain large cardinal axioms but the question of their exact (consistency) strength was left open in [O. Finkel and J.-P. Ressayre, Stretchings, Journal of Symbolic Logic, Volume 61 (2), 1996, p. 563-585 ]. Here, we solve this problem, using a combinatorial result of J. H. Schmerl. In fact, we show that the stretching principles are equivalent to the existence of n-Mahlo cardinals for appropriate integers n. This is done by proving first that for each integer n, there is a local sentence phi_n which has well ordered models of order type alpha, for every infinite ordinal alpha > omega which is not an n-Mahlo cardinal." @default.
- W2951056699 created "2019-06-27" @default.
- W2951056699 creator A5018265011 @default.
- W2951056699 creator A5057731005 @default.
- W2951056699 date "2007-01-01" @default.
- W2951056699 modified "2023-10-18" @default.
- W2951056699 title "Local Sentences and Mahlo Cardinals" @default.
- W2951056699 cites W2008877412 @default.
- W2951056699 cites W2057797149 @default.
- W2951056699 cites W2083828428 @default.
- W2951056699 cites W2140765313 @default.
- W2951056699 hasPublicationYear "2007" @default.
- W2951056699 type Work @default.
- W2951056699 sameAs 2951056699 @default.
- W2951056699 citedByCount "0" @default.
- W2951056699 crossrefType "journal-article" @default.
- W2951056699 hasAuthorship W2951056699A5018265011 @default.
- W2951056699 hasAuthorship W2951056699A5057731005 @default.
- W2951056699 hasBestOaLocation W29510566991 @default.
- W2951056699 hasConcept C138885662 @default.
- W2951056699 hasConcept C15744967 @default.
- W2951056699 hasConcept C204321447 @default.
- W2951056699 hasConcept C41008148 @default.
- W2951056699 hasConcept C41895202 @default.
- W2951056699 hasConceptScore W2951056699C138885662 @default.
- W2951056699 hasConceptScore W2951056699C15744967 @default.
- W2951056699 hasConceptScore W2951056699C204321447 @default.
- W2951056699 hasConceptScore W2951056699C41008148 @default.
- W2951056699 hasConceptScore W2951056699C41895202 @default.
- W2951056699 hasLocation W29510566991 @default.
- W2951056699 hasLocation W29510566992 @default.
- W2951056699 hasLocation W29510566993 @default.
- W2951056699 hasLocation W29510566994 @default.
- W2951056699 hasOpenAccess W2951056699 @default.
- W2951056699 hasPrimaryLocation W29510566991 @default.
- W2951056699 hasRelatedWork W1710126152 @default.
- W2951056699 hasRelatedWork W2053487507 @default.
- W2951056699 hasRelatedWork W2077865380 @default.
- W2951056699 hasRelatedWork W2134894512 @default.
- W2951056699 hasRelatedWork W2748952813 @default.
- W2951056699 hasRelatedWork W2765597752 @default.
- W2951056699 hasRelatedWork W2789488587 @default.
- W2951056699 hasRelatedWork W2899084033 @default.
- W2951056699 hasRelatedWork W2931662336 @default.
- W2951056699 hasRelatedWork W2958642381 @default.
- W2951056699 isParatext "false" @default.
- W2951056699 isRetracted "false" @default.
- W2951056699 magId "2951056699" @default.
- W2951056699 workType "article" @default.