Matches in SemOpenAlex for { <https://semopenalex.org/work/W2260366285> ?p ?o ?g. }
Showing items 1 to 75 of
75
with 100 items per page.
- W2260366285 abstract "Let $Z_3$ denote $3^{rd}$ order arithmetic. Let Harrington's Principle, HP, denote the statement that there is a real $x$ such that every $x$--admissible ordinal is a cardinal in $L$. In this paper, assuming there exists a remarkable cardinal with a weakly inaccessible cardinal above it, we force a set model of $Z_3, + , {sf HP}$ via set forcing without reshaping." @default.
- W2260366285 created "2016-06-24" @default.
- W2260366285 creator A5017651492 @default.
- W2260366285 date "2014-02-19" @default.
- W2260366285 modified "2023-09-27" @default.
- W2260366285 title "Force a set model of $Z_3$ + Harrington's Principle" @default.
- W2260366285 cites W1978413491 @default.
- W2260366285 cites W1995860738 @default.
- W2260366285 cites W2004845705 @default.
- W2260366285 cites W318817970 @default.
- W2260366285 cites W40029885 @default.
- W2260366285 cites W615346629 @default.
- W2260366285 hasPublicationYear "2014" @default.
- W2260366285 type Work @default.
- W2260366285 sameAs 2260366285 @default.
- W2260366285 citedByCount "0" @default.
- W2260366285 crossrefType "posted-content" @default.
- W2260366285 hasAuthorship W2260366285A5017651492 @default.
- W2260366285 hasConcept C10138342 @default.
- W2260366285 hasConcept C111472728 @default.
- W2260366285 hasConcept C114614502 @default.
- W2260366285 hasConcept C118615104 @default.
- W2260366285 hasConcept C134306372 @default.
- W2260366285 hasConcept C138885662 @default.
- W2260366285 hasConcept C162324750 @default.
- W2260366285 hasConcept C177264268 @default.
- W2260366285 hasConcept C182306322 @default.
- W2260366285 hasConcept C197115733 @default.
- W2260366285 hasConcept C199360897 @default.
- W2260366285 hasConcept C2777026412 @default.
- W2260366285 hasConcept C33923547 @default.
- W2260366285 hasConcept C41008148 @default.
- W2260366285 hasConcept C89507440 @default.
- W2260366285 hasConceptScore W2260366285C10138342 @default.
- W2260366285 hasConceptScore W2260366285C111472728 @default.
- W2260366285 hasConceptScore W2260366285C114614502 @default.
- W2260366285 hasConceptScore W2260366285C118615104 @default.
- W2260366285 hasConceptScore W2260366285C134306372 @default.
- W2260366285 hasConceptScore W2260366285C138885662 @default.
- W2260366285 hasConceptScore W2260366285C162324750 @default.
- W2260366285 hasConceptScore W2260366285C177264268 @default.
- W2260366285 hasConceptScore W2260366285C182306322 @default.
- W2260366285 hasConceptScore W2260366285C197115733 @default.
- W2260366285 hasConceptScore W2260366285C199360897 @default.
- W2260366285 hasConceptScore W2260366285C2777026412 @default.
- W2260366285 hasConceptScore W2260366285C33923547 @default.
- W2260366285 hasConceptScore W2260366285C41008148 @default.
- W2260366285 hasConceptScore W2260366285C89507440 @default.
- W2260366285 hasLocation W22603662851 @default.
- W2260366285 hasOpenAccess W2260366285 @default.
- W2260366285 hasPrimaryLocation W22603662851 @default.
- W2260366285 hasRelatedWork W114550336 @default.
- W2260366285 hasRelatedWork W139362396 @default.
- W2260366285 hasRelatedWork W1601632810 @default.
- W2260366285 hasRelatedWork W1794809807 @default.
- W2260366285 hasRelatedWork W1974561446 @default.
- W2260366285 hasRelatedWork W1992114410 @default.
- W2260366285 hasRelatedWork W2053265551 @default.
- W2260366285 hasRelatedWork W2055985325 @default.
- W2260366285 hasRelatedWork W2063513900 @default.
- W2260366285 hasRelatedWork W2066764732 @default.
- W2260366285 hasRelatedWork W2071752345 @default.
- W2260366285 hasRelatedWork W2086604462 @default.
- W2260366285 hasRelatedWork W2112673210 @default.
- W2260366285 hasRelatedWork W2321674151 @default.
- W2260366285 hasRelatedWork W2324008765 @default.
- W2260366285 hasRelatedWork W2333541614 @default.
- W2260366285 hasRelatedWork W238151268 @default.
- W2260366285 hasRelatedWork W2530337305 @default.
- W2260366285 hasRelatedWork W2901326050 @default.
- W2260366285 hasRelatedWork W2968197169 @default.
- W2260366285 isParatext "false" @default.
- W2260366285 isRetracted "false" @default.
- W2260366285 magId "2260366285" @default.
- W2260366285 workType "article" @default.