Matches in SemOpenAlex for { <https://semopenalex.org/work/W4385307968> ?p ?o ?g. }
Showing items 1 to 94 of
94
with 100 items per page.
- W4385307968 endingPage "3294" @default.
- W4385307968 startingPage "3294" @default.
- W4385307968 abstract "A model of set theory ZFC is defined in our recent research, in which, for a given n≥3, (An) there exists a good lightface Δn1 well-ordering of the reals, but (Bn) no well-orderings of the reals (not necessarily good) exist in the previous class Δn−11. Therefore, the conjunction (An)∧(Bn) is consistent, modulo the consistency of ZFC itself. In this paper, we significantly clarify and strengthen this result. We prove the consistency of the conjunction (An)∧(Bn) for any given n≥3 on the basis of the consistency of PA2, second-order Peano arithmetic, which is a much weaker assumption than the consistency of ZFC used in the earlier result. This is a new result that may lead to further progress in studies of the projective hierarchy." @default.
- W4385307968 created "2023-07-28" @default.
- W4385307968 creator A5076703141 @default.
- W4385307968 creator A5087847817 @default.
- W4385307968 date "2023-07-26" @default.
- W4385307968 modified "2023-09-25" @default.
- W4385307968 title "A Model in Which Well-Orderings of the Reals First Appear at a Given Projective Level, Part III—The Case of Second-Order PA" @default.
- W4385307968 cites W1487175521 @default.
- W4385307968 cites W1933515991 @default.
- W4385307968 cites W1978270323 @default.
- W4385307968 cites W1982894188 @default.
- W4385307968 cites W200079199 @default.
- W4385307968 cites W2058421299 @default.
- W4385307968 cites W2070477489 @default.
- W4385307968 cites W2093587077 @default.
- W4385307968 cites W2114515271 @default.
- W4385307968 cites W2501639037 @default.
- W4385307968 cites W2963006286 @default.
- W4385307968 cites W2963610041 @default.
- W4385307968 cites W3111142421 @default.
- W4385307968 cites W3112971342 @default.
- W4385307968 cites W403698140 @default.
- W4385307968 cites W4229690001 @default.
- W4385307968 cites W4378908270 @default.
- W4385307968 cites W98969548 @default.
- W4385307968 doi "https://doi.org/10.3390/math11153294" @default.
- W4385307968 hasPublicationYear "2023" @default.
- W4385307968 type Work @default.
- W4385307968 citedByCount "0" @default.
- W4385307968 crossrefType "journal-article" @default.
- W4385307968 hasAuthorship W4385307968A5076703141 @default.
- W4385307968 hasAuthorship W4385307968A5087847817 @default.
- W4385307968 hasBestOaLocation W43853079681 @default.
- W4385307968 hasConcept C10138342 @default.
- W4385307968 hasConcept C114614502 @default.
- W4385307968 hasConcept C118615104 @default.
- W4385307968 hasConcept C121332964 @default.
- W4385307968 hasConcept C1276947 @default.
- W4385307968 hasConcept C154945302 @default.
- W4385307968 hasConcept C162324750 @default.
- W4385307968 hasConcept C177264268 @default.
- W4385307968 hasConcept C182306322 @default.
- W4385307968 hasConcept C199360897 @default.
- W4385307968 hasConcept C2776436953 @default.
- W4385307968 hasConcept C2777212361 @default.
- W4385307968 hasConcept C31170391 @default.
- W4385307968 hasConcept C33923547 @default.
- W4385307968 hasConcept C34447519 @default.
- W4385307968 hasConcept C41008148 @default.
- W4385307968 hasConcept C54732982 @default.
- W4385307968 hasConcept C59656382 @default.
- W4385307968 hasConcept C65148605 @default.
- W4385307968 hasConcept C97489613 @default.
- W4385307968 hasConceptScore W4385307968C10138342 @default.
- W4385307968 hasConceptScore W4385307968C114614502 @default.
- W4385307968 hasConceptScore W4385307968C118615104 @default.
- W4385307968 hasConceptScore W4385307968C121332964 @default.
- W4385307968 hasConceptScore W4385307968C1276947 @default.
- W4385307968 hasConceptScore W4385307968C154945302 @default.
- W4385307968 hasConceptScore W4385307968C162324750 @default.
- W4385307968 hasConceptScore W4385307968C177264268 @default.
- W4385307968 hasConceptScore W4385307968C182306322 @default.
- W4385307968 hasConceptScore W4385307968C199360897 @default.
- W4385307968 hasConceptScore W4385307968C2776436953 @default.
- W4385307968 hasConceptScore W4385307968C2777212361 @default.
- W4385307968 hasConceptScore W4385307968C31170391 @default.
- W4385307968 hasConceptScore W4385307968C33923547 @default.
- W4385307968 hasConceptScore W4385307968C34447519 @default.
- W4385307968 hasConceptScore W4385307968C41008148 @default.
- W4385307968 hasConceptScore W4385307968C54732982 @default.
- W4385307968 hasConceptScore W4385307968C59656382 @default.
- W4385307968 hasConceptScore W4385307968C65148605 @default.
- W4385307968 hasConceptScore W4385307968C97489613 @default.
- W4385307968 hasIssue "15" @default.
- W4385307968 hasLocation W43853079681 @default.
- W4385307968 hasLocation W43853079682 @default.
- W4385307968 hasOpenAccess W4385307968 @default.
- W4385307968 hasPrimaryLocation W43853079681 @default.
- W4385307968 hasRelatedWork W1509473227 @default.
- W4385307968 hasRelatedWork W1543500847 @default.
- W4385307968 hasRelatedWork W1998083236 @default.
- W4385307968 hasRelatedWork W2014358890 @default.
- W4385307968 hasRelatedWork W2059086655 @default.
- W4385307968 hasRelatedWork W2467005568 @default.
- W4385307968 hasRelatedWork W2913145454 @default.
- W4385307968 hasRelatedWork W4245155226 @default.
- W4385307968 hasRelatedWork W4307401352 @default.
- W4385307968 hasRelatedWork W4385307968 @default.
- W4385307968 hasVolume "11" @default.
- W4385307968 isParatext "false" @default.
- W4385307968 isRetracted "false" @default.
- W4385307968 workType "article" @default.