FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2065207318> ?p ?o ?g. }

• W2065207318 endingPage "25" @default.
• W2065207318 startingPage "1" @default.
• W2065207318 abstract "We study models of HST, a nonstandard set theory which includes, in particular, the ZFC Replacement and Separation schemata in the language containing the membership and standardness predicates, and Saturation for well-orderable families of internal sets. This theory admits an adequate formulation of the isomorphism property IP: any two elementarily equivalent internally presented structures of a wellorderable language are isomorphic. IP implies, for instance, that all infinite internal sets are equinumerous, and there exists a unique (modulo isomorphisms) internal elementary extension of the standard reals. We prove that IP is independent of HST (using the class of all sets constructible from internal sets) and consistent with HST (using generic extensions of $HST$ models by a sufficient number of generic isomorphisms)." @default.
• W2065207318 created "2016-06-24" @default.
• W2065207318 creator A5037503201 @default.
• W2065207318 creator A5087847817 @default.
• W2065207318 date "1997-11-01" @default.
• W2065207318 modified "2023-10-18" @default.
• W2065207318 title "Isomorphism property in nonstandard extensions of theZFC universe" @default.
• W2065207318 cites W1558970228 @default.
• W2065207318 cites W1853505122 @default.
• W2065207318 cites W1981827190 @default.
• W2065207318 cites W1990582318 @default.
• W2065207318 cites W1993159501 @default.
• W2065207318 cites W2019014134 @default.
• W2065207318 cites W2025087274 @default.
• W2065207318 cites W2034021457 @default.
• W2065207318 cites W2047612490 @default.
• W2065207318 cites W2052045432 @default.
• W2065207318 cites W2061046213 @default.
• W2065207318 cites W2069787050 @default.
• W2065207318 cites W2089021455 @default.
• W2065207318 cites W2092055744 @default.
• W2065207318 cites W2099041909 @default.
• W2065207318 cites W2100903326 @default.
• W2065207318 cites W2148828449 @default.
• W2065207318 cites W2157276982 @default.
• W2065207318 cites W2171641000 @default.
• W2065207318 cites W2332062577 @default.
• W2065207318 cites W265040288 @default.
• W2065207318 cites W2760961164 @default.
• W2065207318 cites W2799061192 @default.
• W2065207318 cites W3161860827 @default.
• W2065207318 cites W579877627 @default.
• W2065207318 cites W596904654 @default.
• W2065207318 cites W60903948 @default.
• W2065207318 cites W66289639 @default.
• W2065207318 cites W986162294 @default.
• W2065207318 doi "https://doi.org/10.1016/s0168-0072(97)00011-0" @default.
• W2065207318 hasPublicationYear "1997" @default.
• W2065207318 type Work @default.
• W2065207318 sameAs 2065207318 @default.
• W2065207318 citedByCount "7" @default.
• W2065207318 crossrefType "journal-article" @default.
• W2065207318 hasAuthorship W2065207318A5037503201 @default.
• W2065207318 hasAuthorship W2065207318A5087847817 @default.
• W2065207318 hasBestOaLocation W20652073181 @default.
• W2065207318 hasConcept C111472728 @default.
• W2065207318 hasConcept C115624301 @default.
• W2065207318 hasConcept C118615104 @default.
• W2065207318 hasConcept C121332964 @default.
• W2065207318 hasConcept C138885662 @default.
• W2065207318 hasConcept C154945302 @default.
• W2065207318 hasConcept C185592680 @default.
• W2065207318 hasConcept C189950617 @default.
• W2065207318 hasConcept C199360897 @default.
• W2065207318 hasConcept C202444582 @default.
• W2065207318 hasConcept C203436722 @default.
• W2065207318 hasConcept C2777212361 @default.
• W2065207318 hasConcept C2778029271 @default.
• W2065207318 hasConcept C33923547 @default.
• W2065207318 hasConcept C41008148 @default.
• W2065207318 hasConcept C44870925 @default.
• W2065207318 hasConcept C54732982 @default.
• W2065207318 hasConcept C8010536 @default.
• W2065207318 hasConcept C84999194 @default.
• W2065207318 hasConceptScore W2065207318C111472728 @default.
• W2065207318 hasConceptScore W2065207318C115624301 @default.
• W2065207318 hasConceptScore W2065207318C118615104 @default.
• W2065207318 hasConceptScore W2065207318C121332964 @default.
• W2065207318 hasConceptScore W2065207318C138885662 @default.
• W2065207318 hasConceptScore W2065207318C154945302 @default.
• W2065207318 hasConceptScore W2065207318C185592680 @default.
• W2065207318 hasConceptScore W2065207318C189950617 @default.
• W2065207318 hasConceptScore W2065207318C199360897 @default.
• W2065207318 hasConceptScore W2065207318C202444582 @default.
• W2065207318 hasConceptScore W2065207318C203436722 @default.
• W2065207318 hasConceptScore W2065207318C2777212361 @default.
• W2065207318 hasConceptScore W2065207318C2778029271 @default.
• W2065207318 hasConceptScore W2065207318C33923547 @default.
• W2065207318 hasConceptScore W2065207318C41008148 @default.
• W2065207318 hasConceptScore W2065207318C44870925 @default.
• W2065207318 hasConceptScore W2065207318C54732982 @default.
• W2065207318 hasConceptScore W2065207318C8010536 @default.
• W2065207318 hasConceptScore W2065207318C84999194 @default.
• W2065207318 hasIssue "1" @default.
• W2065207318 hasLocation W20652073181 @default.
• W2065207318 hasLocation W20652073182 @default.
• W2065207318 hasOpenAccess W2065207318 @default.
• W2065207318 hasPrimaryLocation W20652073181 @default.
• W2065207318 hasRelatedWork W1509473227 @default.
• W2065207318 hasRelatedWork W1972112806 @default.
• W2065207318 hasRelatedWork W1992808266 @default.
• W2065207318 hasRelatedWork W2007735529 @default.
• W2065207318 hasRelatedWork W2020174565 @default.
• W2065207318 hasRelatedWork W2084491387 @default.
• W2065207318 hasRelatedWork W2167154330 @default.
• W2065207318 hasRelatedWork W3101324537 @default.
• W2065207318 hasRelatedWork W4280511095 @default.
• W2065207318 hasRelatedWork W805246030 @default.

• next