{"id":"https://openalex.org/W1980986150","doi":"https://doi.org/10.2307/2274638","title":"Upward directedness of the Rudin-Keisler ordering of <i>p</i>-points","display_name":"Upward directedness of the Rudin-Keisler ordering of <i>p</i>-points","publication_year":1990,"publication_date":"1990-06-01","ids":{"openalex":"https://openalex.org/W1980986150","doi":"https://doi.org/10.2307/2274638","mag":"1980986150"},"language":"en","primary_location":{"id":"doi:10.2307/2274638","is_oa":false,"landing_page_url":"https://doi.org/10.2307/2274638","pdf_url":null,"source":{"id":"https://openalex.org/S177675236","display_name":"Journal of Symbolic Logic","issn_l":"0022-4812","issn":["0022-4812","1943-5886"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311721","host_organization_name":"Cambridge University Press","host_organization_lineage":["https://openalex.org/P4310311721","https://openalex.org/P4310311702"],"host_organization_lineage_names":["Cambridge University Press","University of Cambridge"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Symbolic Logic","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5073859486","display_name":"Claude Laflamme","orcid":null},"institutions":[{"id":"https://openalex.org/I185261750","display_name":"University of Toronto","ror":"https://ror.org/03dbr7087","country_code":"CA","type":"education","lineage":["https://openalex.org/I185261750"]}],"countries":["CA"],"is_corresponding":true,"raw_author_name":"Claude Laflamme","raw_affiliation_strings":["Department of Mathematics, University of Toronto, Toronto, Ontario M5S 1A1, Canada","Department of Mathematics, University of Toronto, Toronto, Ontario, M5S 1A1 Canada"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Mathematics, University of Toronto, Toronto, Ontario M5S 1A1, Canada","institution_ids":["https://openalex.org/I185261750"]},{"raw_affiliation_string":"Department of Mathematics, University of Toronto, Toronto, Ontario, M5S 1A1 Canada","institution_ids":["https://openalex.org/I185261750"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5073859486"],"corresponding_institution_ids":["https://openalex.org/I185261750"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.09888281,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"55","issue":"2","first_page":"449","last_page":"456"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11151","display_name":"Advanced Topology and Set Theory","score":0.9965000152587891,"subfield":{"id":"https://openalex.org/subfields/2608","display_name":"Geometry and Topology"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11151","display_name":"Advanced Topology and Set Theory","score":0.9965000152587891,"subfield":{"id":"https://openalex.org/subfields/2608","display_name":"Geometry and Topology"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T13400","display_name":"Mathematical and Theoretical Analysis","score":0.9912999868392944,"subfield":{"id":"https://openalex.org/subfields/2610","display_name":"Mathematical Physics"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11545","display_name":"Advanced Banach Space Theory","score":0.9682999849319458,"subfield":{"id":"https://openalex.org/subfields/2610","display_name":"Mathematical Physics"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/upper-and-lower-bounds","display_name":"Upper and lower bounds","score":0.775499701499939},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.7153509855270386},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.6528044939041138},{"id":"https://openalex.org/keywords/independence","display_name":"Independence (probability theory)","score":0.6153043508529663},{"id":"https://openalex.org/keywords/point","display_name":"Point (geometry)","score":0.46123385429382324},{"id":"https://openalex.org/keywords/consistency","display_name":"Consistency (knowledge bases)","score":0.44750910997390747},{"id":"https://openalex.org/keywords/statement","display_name":"Statement (logic)","score":0.4170208275318146},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.3286062479019165},{"id":"https://openalex.org/keywords/statistics","display_name":"Statistics","score":0.19948598742485046},{"id":"https://openalex.org/keywords/mathematical-analysis","display_name":"Mathematical analysis","score":0.10904526710510254},{"id":"https://openalex.org/keywords/philosophy","display_name":"Philosophy","score":0.08635762333869934},{"id":"https://openalex.org/keywords/geometry","display_name":"Geometry","score":0.058286309242248535}],"concepts":[{"id":"https://openalex.org/C77553402","wikidata":"https://www.wikidata.org/wiki/Q13222579","display_name":"Upper and lower bounds","level":2,"score":0.775499701499939},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.7153509855270386},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.6528044939041138},{"id":"https://openalex.org/C35651441","wikidata":"https://www.wikidata.org/wiki/Q625303","display_name":"Independence (probability theory)","level":2,"score":0.6153043508529663},{"id":"https://openalex.org/C28719098","wikidata":"https://www.wikidata.org/wiki/Q44946","display_name":"Point (geometry)","level":2,"score":0.46123385429382324},{"id":"https://openalex.org/C2776436953","wikidata":"https://www.wikidata.org/wiki/Q5163215","display_name":"Consistency (knowledge bases)","level":2,"score":0.44750910997390747},{"id":"https://openalex.org/C2777026412","wikidata":"https://www.wikidata.org/wiki/Q2684591","display_name":"Statement (logic)","level":2,"score":0.4170208275318146},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.3286062479019165},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.19948598742485046},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.10904526710510254},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.08635762333869934},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.058286309242248535},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.2307/2274638","is_oa":false,"landing_page_url":"https://doi.org/10.2307/2274638","pdf_url":null,"source":{"id":"https://openalex.org/S177675236","display_name":"Journal of Symbolic Logic","issn_l":"0022-4812","issn":["0022-4812","1943-5886"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311721","host_organization_name":"Cambridge University Press","host_organization_lineage":["https://openalex.org/P4310311721","https://openalex.org/P4310311702"],"host_organization_lineage_names":["Cambridge University Press","University of Cambridge"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Symbolic Logic","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Peace, Justice and strong institutions","id":"https://metadata.un.org/sdg/16","score":0.4000000059604645}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":9,"referenced_works":["https://openalex.org/W866141558","https://openalex.org/W1972426514","https://openalex.org/W1978413491","https://openalex.org/W1989872203","https://openalex.org/W1991473648","https://openalex.org/W2057570018","https://openalex.org/W2144799232","https://openalex.org/W4233599082","https://openalex.org/W6815340740"],"related_works":["https://openalex.org/W2475705533","https://openalex.org/W2997993211","https://openalex.org/W186129870","https://openalex.org/W3200522959","https://openalex.org/W4389944781","https://openalex.org/W120415280","https://openalex.org/W4383099232","https://openalex.org/W167088980","https://openalex.org/W1993275793","https://openalex.org/W2253954117"],"abstract_inverted_index":{"It":[0],"has":[1],"been":[2],"proven":[3],"by":[4,115,159],"Blass":[5,116,160],"[1973]":[6],"that":[7,89,104,133,205],"any":[8],"two":[9,38,164],"P":[10,15,35,55,67,76,124,143,165,182,210],"-points":[11,77,125,166,211],"which":[12,52,167,179,221],"have":[13,28,42,168,174],"a":[14,18,29,34,44,48,54,59,155,169,175,181,231],"-point":[16],"as":[17,200,202],"common":[19,30,45,49,170,176],"upper":[20,50,177],"bound":[21,32,51,172,178],"in":[22,58,94,105,151,161,215,224,238],"the":[23,71,98,106,120,134,139,188,206,216],"Rudin-Keisler":[24],"(RK)":[25],"ordering":[26,73,122,141,208],"necessarily":[27,173],"lower":[31,46,171],"(necessarily":[33],"-point).":[36],"Hence":[37],"nonisomorphic":[39,90],"Ramsey":[40,91],"ultrafilters":[41,92],"neither":[43,79],"nor":[47,81],"is":[53,78,86,126,154,180,212],"-point.":[56,183],"So":[57],"model":[60,107,218],"of":[61,111,123,136,138,142,190,209],"CH":[62],"for":[63,108],"example":[64],"(or":[65],"MA,":[66],"(":[68],"c":[69],"),\u2026),":[70],"RK":[72,121,140,207],"restricted":[74],"to":[75,194],"upward":[80,145,213],"downward":[82,129],"directed,":[83],"since":[84],"it":[85],"well":[87],"known":[88],"exist":[93],"such":[95],"models.":[96],"On":[97],"other":[99],"hand,":[100],"we":[101,203,222],"will":[102,198,229,235],"see":[103],"\u201cnear":[109],"coherence":[110],"filters\u201d":[112],"(NCF)":[113],"produced":[114],"and":[117,234],"Shelah":[118],"[1985],":[119],"upward,":[127],"hence":[128],"directed.":[130],"This":[131],"shows":[132],"question":[135],"directedness":[137],"-points,":[144],"or":[146],"downward,":[147],"cannot":[148],"be":[149,236],"decided":[150],"ZFC.":[152,195],"There":[153],"related":[156],"question,":[157],"asked":[158],"[1973],":[162],"whether":[163],"Our":[184],"main":[185],"result":[186],"establishes":[187],"independence":[189,228],"this":[191],"statement":[192],"relative":[193],"Its":[196],"consistency":[197],"follow":[199],"soon":[201],"show":[204],"directed":[214],"NCF":[217],"mentioned":[219],"above,":[220],"do":[223],"\u00a72.":[225],"But":[226],"its":[227],"require":[230],"new":[232],"construction,":[233],"given":[237],"\u00a73.":[239]},"counts_by_year":[],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2025-10-10T00:00:00"}