Matches in SemOpenAlex for { <https://semopenalex.org/work/W2024325951> ?p ?o ?g. }
Showing items 1 to 89 of
89
with 100 items per page.
- W2024325951 endingPage "563" @default.
- W2024325951 startingPage "558" @default.
- W2024325951 abstract "Local sentences were introduced by Ressayre in [6] 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 [4]. Here we solve this problem, using a combinatorial result of J. H. Schmerl [7]. 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 every integer n, there is a local sentence φn having well ordered models of order type τ, for every infinite ordinal τ > ω which is not an n -Mahlo cardinal. (© 2007 WILEY-VCH Verlag GmbH & Co. KGaA, Weinheim)" @default.
- W2024325951 created "2016-06-24" @default.
- W2024325951 creator A5018265011 @default.
- W2024325951 creator A5057731005 @default.
- W2024325951 date "2007-11-01" @default.
- W2024325951 modified "2023-10-18" @default.
- W2024325951 title "Local sentences and Mahlo cardinals" @default.
- W2024325951 cites W2008877412 @default.
- W2024325951 cites W2035637454 @default.
- W2024325951 cites W2057797149 @default.
- W2024325951 cites W2083828428 @default.
- W2024325951 cites W2569306015 @default.
- W2024325951 cites W4241186888 @default.
- W2024325951 doi "https://doi.org/10.1002/malq.200610049" @default.
- W2024325951 hasPublicationYear "2007" @default.
- W2024325951 type Work @default.
- W2024325951 sameAs 2024325951 @default.
- W2024325951 citedByCount "1" @default.
- W2024325951 countsByYear W20243259512022 @default.
- W2024325951 crossrefType "journal-article" @default.
- W2024325951 hasAuthorship W2024325951A5018265011 @default.
- W2024325951 hasAuthorship W2024325951A5057731005 @default.
- W2024325951 hasBestOaLocation W20243259512 @default.
- W2024325951 hasConcept C10138342 @default.
- W2024325951 hasConcept C114614502 @default.
- W2024325951 hasConcept C118615104 @default.
- W2024325951 hasConcept C154945302 @default.
- W2024325951 hasConcept C162324750 @default.
- W2024325951 hasConcept C167729594 @default.
- W2024325951 hasConcept C182306322 @default.
- W2024325951 hasConcept C18903297 @default.
- W2024325951 hasConcept C199360897 @default.
- W2024325951 hasConcept C202444582 @default.
- W2024325951 hasConcept C2524010 @default.
- W2024325951 hasConcept C2776436953 @default.
- W2024325951 hasConcept C2777299769 @default.
- W2024325951 hasConcept C2777530160 @default.
- W2024325951 hasConcept C2780069185 @default.
- W2024325951 hasConcept C33923547 @default.
- W2024325951 hasConcept C41008148 @default.
- W2024325951 hasConcept C86803240 @default.
- W2024325951 hasConcept C89507440 @default.
- W2024325951 hasConcept C97137487 @default.
- W2024325951 hasConceptScore W2024325951C10138342 @default.
- W2024325951 hasConceptScore W2024325951C114614502 @default.
- W2024325951 hasConceptScore W2024325951C118615104 @default.
- W2024325951 hasConceptScore W2024325951C154945302 @default.
- W2024325951 hasConceptScore W2024325951C162324750 @default.
- W2024325951 hasConceptScore W2024325951C167729594 @default.
- W2024325951 hasConceptScore W2024325951C182306322 @default.
- W2024325951 hasConceptScore W2024325951C18903297 @default.
- W2024325951 hasConceptScore W2024325951C199360897 @default.
- W2024325951 hasConceptScore W2024325951C202444582 @default.
- W2024325951 hasConceptScore W2024325951C2524010 @default.
- W2024325951 hasConceptScore W2024325951C2776436953 @default.
- W2024325951 hasConceptScore W2024325951C2777299769 @default.
- W2024325951 hasConceptScore W2024325951C2777530160 @default.
- W2024325951 hasConceptScore W2024325951C2780069185 @default.
- W2024325951 hasConceptScore W2024325951C33923547 @default.
- W2024325951 hasConceptScore W2024325951C41008148 @default.
- W2024325951 hasConceptScore W2024325951C86803240 @default.
- W2024325951 hasConceptScore W2024325951C89507440 @default.
- W2024325951 hasConceptScore W2024325951C97137487 @default.
- W2024325951 hasIssue "6" @default.
- W2024325951 hasLocation W20243259511 @default.
- W2024325951 hasLocation W20243259512 @default.
- W2024325951 hasLocation W20243259513 @default.
- W2024325951 hasLocation W20243259514 @default.
- W2024325951 hasLocation W20243259515 @default.
- W2024325951 hasLocation W20243259516 @default.
- W2024325951 hasOpenAccess W2024325951 @default.
- W2024325951 hasPrimaryLocation W20243259511 @default.
- W2024325951 hasRelatedWork W2008589819 @default.
- W2024325951 hasRelatedWork W2019004897 @default.
- W2024325951 hasRelatedWork W2054384926 @default.
- W2024325951 hasRelatedWork W2059034874 @default.
- W2024325951 hasRelatedWork W2100199806 @default.
- W2024325951 hasRelatedWork W2492756589 @default.
- W2024325951 hasRelatedWork W2964187826 @default.
- W2024325951 hasRelatedWork W2966199516 @default.
- W2024325951 hasRelatedWork W2999954399 @default.
- W2024325951 hasRelatedWork W3000608781 @default.
- W2024325951 hasVolume "53" @default.
- W2024325951 isParatext "false" @default.
- W2024325951 isRetracted "false" @default.
- W2024325951 magId "2024325951" @default.
- W2024325951 workType "article" @default.