{"id":"https://openalex.org/W2147635529","doi":"https://doi.org/10.2178/jsl/1190150099","title":"Coding with ladders a well ordering of the reals","display_name":"Coding with ladders a well ordering of the reals","publication_year":2002,"publication_date":"2002-06-01","ids":{"openalex":"https://openalex.org/W2147635529","doi":"https://doi.org/10.2178/jsl/1190150099","mag":"2147635529"},"language":"en","primary_location":{"id":"doi:10.2178/jsl/1190150099","is_oa":true,"landing_page_url":"https://doi.org/10.2178/jsl/1190150099","pdf_url":"https://www.cambridge.org/core/services/aop-cambridge-core/content/view/6F83AF8437A55B4E9146CE3C26F0E5FE/S0022481200009634a.pdf/div-class-title-coding-with-ladders-a-well-ordering-of-the-reals-div.pdf","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":true,"oa_status":"bronze","oa_url":"https://www.cambridge.org/core/services/aop-cambridge-core/content/view/6F83AF8437A55B4E9146CE3C26F0E5FE/S0022481200009634a.pdf/div-class-title-coding-with-ladders-a-well-ordering-of-the-reals-div.pdf","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5050549524","display_name":"Uri Abraham","orcid":null},"institutions":[{"id":"https://openalex.org/I124227911","display_name":"Ben-Gurion University of the Negev","ror":"https://ror.org/05tkyf982","country_code":"IL","type":"education","lineage":["https://openalex.org/I124227911"]},{"id":"https://openalex.org/I197251160","display_name":"Hebrew University of Jerusalem","ror":"https://ror.org/03qxff017","country_code":"IL","type":"education","lineage":["https://openalex.org/I197251160"]}],"countries":["IL"],"is_corresponding":false,"raw_author_name":"Uri Abraham","raw_affiliation_strings":["Department of Mathematics and Computer Science, Ben-Gurion University, Be'er-Sheva, Israel, E-mail:","Department of Mathematics and Computer Science, Ben-Gurion University, Be'er-Sheva, Israel","Institute of Mathematics The Hebrew University, Jerusalem, Israel"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Mathematics and Computer Science, Ben-Gurion University, Be'er-Sheva, Israel, E-mail:","institution_ids":["https://openalex.org/I124227911"]},{"raw_affiliation_string":"Department of Mathematics and Computer Science, Ben-Gurion University, Be'er-Sheva, Israel","institution_ids":["https://openalex.org/I124227911"]},{"raw_affiliation_string":"Institute of Mathematics The Hebrew University, Jerusalem, Israel","institution_ids":["https://openalex.org/I197251160"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5024923217","display_name":"Saharon Shelah","orcid":"https://orcid.org/0000-0003-0462-3152"},"institutions":[{"id":"https://openalex.org/I124227911","display_name":"Ben-Gurion University of the Negev","ror":"https://ror.org/05tkyf982","country_code":"IL","type":"education","lineage":["https://openalex.org/I124227911"]},{"id":"https://openalex.org/I197251160","display_name":"Hebrew University of Jerusalem","ror":"https://ror.org/03qxff017","country_code":"IL","type":"education","lineage":["https://openalex.org/I197251160"]}],"countries":["IL"],"is_corresponding":false,"raw_author_name":"Saharon Shelah","raw_affiliation_strings":["Institute of Mathematics, The Hebrew University, Jerusalem, Israel, E-mail:","Department of Mathematics and Computer Science, Ben-Gurion University, Be'er-Sheva, Israel","Institute of Mathematics The Hebrew University, Jerusalem, Israel"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Institute of Mathematics, The Hebrew University, Jerusalem, Israel, E-mail:","institution_ids":["https://openalex.org/I197251160"]},{"raw_affiliation_string":"Department of Mathematics and Computer Science, Ben-Gurion University, Be'er-Sheva, Israel","institution_ids":["https://openalex.org/I124227911"]},{"raw_affiliation_string":"Institute of Mathematics The Hebrew University, Jerusalem, Israel","institution_ids":["https://openalex.org/I197251160"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":{"value":3550,"currency":"USD","value_usd":3550},"apc_paid":null,"fwci":0.0,"has_fulltext":true,"cited_by_count":10,"citation_normalized_percentile":{"value":0.23066084,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":96},"biblio":{"volume":"67","issue":"2","first_page":"579","last_page":"597"},"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.9998999834060669,"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.9998999834060669,"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/T12002","display_name":"Computability, Logic, AI Algorithms","score":0.9987999796867371,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T13400","display_name":"Mathematical and Theoretical Analysis","score":0.9976000189781189,"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/partially-ordered-set","display_name":"Partially ordered set","score":0.7132353782653809},{"id":"https://openalex.org/keywords/extension","display_name":"Extension (predicate logic)","score":0.6332563161849976},{"id":"https://openalex.org/keywords/coding","display_name":"Coding (social sciences)","score":0.5375333428382874},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.5304431319236755},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.49366292357444763},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.42236992716789246},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.3397405743598938},{"id":"https://openalex.org/keywords/statistics","display_name":"Statistics","score":0.05634593963623047},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.03930732607841492}],"concepts":[{"id":"https://openalex.org/C180645754","wikidata":"https://www.wikidata.org/wiki/Q474715","display_name":"Partially ordered set","level":2,"score":0.7132353782653809},{"id":"https://openalex.org/C2778029271","wikidata":"https://www.wikidata.org/wiki/Q5421931","display_name":"Extension (predicate logic)","level":2,"score":0.6332563161849976},{"id":"https://openalex.org/C179518139","wikidata":"https://www.wikidata.org/wiki/Q5140297","display_name":"Coding (social sciences)","level":2,"score":0.5375333428382874},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.5304431319236755},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.49366292357444763},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.42236992716789246},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.3397405743598938},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.05634593963623047},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.03930732607841492}],"mesh":[],"locations_count":4,"locations":[{"id":"doi:10.2178/jsl/1190150099","is_oa":true,"landing_page_url":"https://doi.org/10.2178/jsl/1190150099","pdf_url":"https://www.cambridge.org/core/services/aop-cambridge-core/content/view/6F83AF8437A55B4E9146CE3C26F0E5FE/S0022481200009634a.pdf/div-class-title-coding-with-ladders-a-well-ordering-of-the-reals-div.pdf","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"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.236.5913","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.236.5913","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://arxiv.org/pdf/math/0104195v1.pdf","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.25.4921","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.25.4921","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.cs.bgu.ac.il/~abraham/papers/math/CodingWithLadders.ps.gz","raw_type":"text"},{"id":"pmh:oai:CULeuclid:euclid.jsl/1190150099","is_oa":false,"landing_page_url":"http://projecteuclid.org/euclid.jsl/1190150099","pdf_url":null,"source":{"id":"https://openalex.org/S4306400787","display_name":"Project Euclid (Cornell University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Text"}],"best_oa_location":{"id":"doi:10.2178/jsl/1190150099","is_oa":true,"landing_page_url":"https://doi.org/10.2178/jsl/1190150099","pdf_url":"https://www.cambridge.org/core/services/aop-cambridge-core/content/view/6F83AF8437A55B4E9146CE3C26F0E5FE/S0022481200009634a.pdf/div-class-title-coding-with-ladders-a-well-ordering-of-the-reals-div.pdf","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"},"sustainable_development_goals":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320322248","display_name":"Israel Academy of Sciences and Humanities","ror":"https://ror.org/03c6c9520"},{"id":"https://openalex.org/F4320322252","display_name":"Israel Science Foundation","ror":"https://ror.org/04sazxf24"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2147635529.pdf","grobid_xml":"https://content.openalex.org/works/W2147635529.grobid-xml"},"referenced_works_count":6,"referenced_works":["https://openalex.org/W1595388840","https://openalex.org/W1981403458","https://openalex.org/W2008744795","https://openalex.org/W2038308063","https://openalex.org/W2065399798","https://openalex.org/W2594540614"],"related_works":["https://openalex.org/W2106070061","https://openalex.org/W4390961156","https://openalex.org/W1963087247","https://openalex.org/W4312224320","https://openalex.org/W2347443236","https://openalex.org/W4205203210","https://openalex.org/W2146274131","https://openalex.org/W2184328455","https://openalex.org/W2073211194","https://openalex.org/W2181347939"],"abstract_inverted_index":{"Abstract":[0],"Any":[1],"model":[2],"of":[3,15,28,45,53,60],"ZFC":[4],"+":[5],"GCH":[6],"has":[7],"a":[8,13,25,57],"generic":[9],"extension":[10],"(made":[11],"with":[12],"poset":[14],"size":[16],"\u21352)":[17],"in":[18,34],"which":[19],"the":[20,29,42,51],"following":[21],"hold:":[22],"there":[23],"exists":[24],"-well":[26],"ordering":[27],"reals,":[30],"The":[31],"proof":[32],"consists":[33],"iterating":[35],"posets":[36],"designed":[37],"to":[38],"change":[39],"at":[40],"will":[41],"guessing":[43],"properties":[44],"ladder":[46],"systems":[47],"on":[48],"\u03c91.":[49],"Therefore,":[50],"study":[52],"such":[54],"ladders":[55],"is":[56],"main":[58],"concern":[59],"this":[61],"article.":[62]},"counts_by_year":[{"year":2014,"cited_by_count":1},{"year":2013,"cited_by_count":1},{"year":2012,"cited_by_count":2}],"updated_date":"2026-08-21T09:56:20.448147","created_date":"2025-10-10T00:00:00"}