FRINK Linked Data Fragments server

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

• W2112149503 endingPage "1025" @default.
• W2112149503 startingPage "1016" @default.
• W2112149503 abstract "Abstract In a nonstandard universe, the κ -saturation property states that any family of fewer than κ internal sets with the finite intersection property has a nonempty intersection. An ordered field F is said to have the λ -Bolzano-Weierstrass property iff F has cofinality λ and every bounded λ -sequence in F has a convergent λ -subsequence. We show that if κ < λ are uncountable regular cardinals and β α < λ whenever α < κ and β < λ then there is a κ -saturated nonstandard universe in which the hyperreal numbers have the λ -Bolzano-Weierstrass property. The result also applies to certain fragments of set theory and second order arithmetic." @default.
• W2112149503 created "2016-06-24" @default.
• W2112149503 creator A5009762723 @default.
• W2112149503 creator A5091663311 @default.
• W2112149503 date "1991-09-01" @default.
• W2112149503 modified "2023-09-23" @default.
• W2112149503 title "Making the hyperreal line both saturated and complete" @default.
• W2112149503 cites W1552606709 @default.
• W2112149503 cites W1973565124 @default.
• W2112149503 cites W1977994335 @default.
• W2112149503 cites W1989937886 @default.
• W2112149503 cites W2009423375 @default.
• W2112149503 cites W2067360092 @default.
• W2112149503 cites W2067381783 @default.
• W2112149503 cites W2129356167 @default.
• W2112149503 cites W4255852663 @default.
• W2112149503 cites W79809236 @default.
• W2112149503 cites W98284338 @default.
• W2112149503 doi "https://doi.org/10.2307/2275069" @default.
• W2112149503 hasPublicationYear "1991" @default.
• W2112149503 type Work @default.
• W2112149503 sameAs 2112149503 @default.
• W2112149503 citedByCount "21" @default.
• W2112149503 countsByYear W21121495032012 @default.
• W2112149503 countsByYear W21121495032013 @default.
• W2112149503 countsByYear W21121495032015 @default.
• W2112149503 countsByYear W21121495032017 @default.
• W2112149503 countsByYear W21121495032018 @default.
• W2112149503 crossrefType "journal-article" @default.
• W2112149503 hasAuthorship W2112149503A5009762723 @default.
• W2112149503 hasAuthorship W2112149503A5091663311 @default.
• W2112149503 hasConcept C110729354 @default.
• W2112149503 hasConcept C111472728 @default.
• W2112149503 hasConcept C114614502 @default.
• W2112149503 hasConcept C118615104 @default.
• W2112149503 hasConcept C121332964 @default.
• W2112149503 hasConcept C127413603 @default.
• W2112149503 hasConcept C134306372 @default.
• W2112149503 hasConcept C137877099 @default.
• W2112149503 hasConcept C13851312 @default.
• W2112149503 hasConcept C138885662 @default.
• W2112149503 hasConcept C142399903 @default.
• W2112149503 hasConcept C146978453 @default.
• W2112149503 hasConcept C148070024 @default.
• W2112149503 hasConcept C150591576 @default.
• W2112149503 hasConcept C177264268 @default.
• W2112149503 hasConcept C189950617 @default.
• W2112149503 hasConcept C199360897 @default.
• W2112149503 hasConcept C202444582 @default.
• W2112149503 hasConcept C2778112365 @default.
• W2112149503 hasConcept C33923547 @default.
• W2112149503 hasConcept C34388435 @default.
• W2112149503 hasConcept C41008148 @default.
• W2112149503 hasConcept C44870925 @default.
• W2112149503 hasConcept C54355233 @default.
• W2112149503 hasConcept C64543145 @default.
• W2112149503 hasConcept C84999194 @default.
• W2112149503 hasConcept C86803240 @default.
• W2112149503 hasConceptScore W2112149503C110729354 @default.
• W2112149503 hasConceptScore W2112149503C111472728 @default.
• W2112149503 hasConceptScore W2112149503C114614502 @default.
• W2112149503 hasConceptScore W2112149503C118615104 @default.
• W2112149503 hasConceptScore W2112149503C121332964 @default.
• W2112149503 hasConceptScore W2112149503C127413603 @default.
• W2112149503 hasConceptScore W2112149503C134306372 @default.
• W2112149503 hasConceptScore W2112149503C137877099 @default.
• W2112149503 hasConceptScore W2112149503C13851312 @default.
• W2112149503 hasConceptScore W2112149503C138885662 @default.
• W2112149503 hasConceptScore W2112149503C142399903 @default.
• W2112149503 hasConceptScore W2112149503C146978453 @default.
• W2112149503 hasConceptScore W2112149503C148070024 @default.
• W2112149503 hasConceptScore W2112149503C150591576 @default.
• W2112149503 hasConceptScore W2112149503C177264268 @default.
• W2112149503 hasConceptScore W2112149503C189950617 @default.
• W2112149503 hasConceptScore W2112149503C199360897 @default.
• W2112149503 hasConceptScore W2112149503C202444582 @default.
• W2112149503 hasConceptScore W2112149503C2778112365 @default.
• W2112149503 hasConceptScore W2112149503C33923547 @default.
• W2112149503 hasConceptScore W2112149503C34388435 @default.
• W2112149503 hasConceptScore W2112149503C41008148 @default.
• W2112149503 hasConceptScore W2112149503C44870925 @default.
• W2112149503 hasConceptScore W2112149503C54355233 @default.
• W2112149503 hasConceptScore W2112149503C64543145 @default.
• W2112149503 hasConceptScore W2112149503C84999194 @default.
• W2112149503 hasConceptScore W2112149503C86803240 @default.
• W2112149503 hasIssue "3" @default.
• W2112149503 hasLocation W21121495031 @default.
• W2112149503 hasOpenAccess W2112149503 @default.
• W2112149503 hasPrimaryLocation W21121495031 @default.
• W2112149503 hasRelatedWork W1570244907 @default.
• W2112149503 hasRelatedWork W1963831316 @default.
• W2112149503 hasRelatedWork W1996613449 @default.
• W2112149503 hasRelatedWork W2060039145 @default.
• W2112149503 hasRelatedWork W2078474510 @default.
• W2112149503 hasRelatedWork W2112149503 @default.
• W2112149503 hasRelatedWork W2116739107 @default.
• W2112149503 hasRelatedWork W2528333032 @default.
• W2112149503 hasRelatedWork W2947177495 @default.

• next