{"id":"https://openalex.org/W2045141709","doi":"https://doi.org/10.1002/malq.200410048","title":"Specker sequences revisited","display_name":"Specker sequences revisited","publication_year":2005,"publication_date":"2005-08-03","ids":{"openalex":"https://openalex.org/W2045141709","doi":"https://doi.org/10.1002/malq.200410048","mag":"2045141709"},"language":"en","primary_location":{"id":"doi:10.1002/malq.200410048","is_oa":false,"landing_page_url":"https://doi.org/10.1002/malq.200410048","pdf_url":null,"source":{"id":"https://openalex.org/S172351290","display_name":"Mathematical logic quarterly","issn_l":"0942-5616","issn":["0942-5616","1521-3870"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320595","host_organization_name":"Wiley","host_organization_lineage":["https://openalex.org/P4310320595"],"host_organization_lineage_names":["Wiley"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Mathematical Logic Quarterly","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/A5024664299","display_name":"Jakob Grue Simonsen","orcid":"https://orcid.org/0000-0002-3488-9392"},"institutions":[{"id":"https://openalex.org/I124055696","display_name":"University of Copenhagen","ror":"https://ror.org/035b05819","country_code":"DK","type":"education","lineage":["https://openalex.org/I124055696"]}],"countries":["DK"],"is_corresponding":true,"raw_author_name":"Jakob G. Simonsen","raw_affiliation_strings":["Department of Computer Science, University of Copenhagen (DIKU), Universitetsparken 1, DK-2100 Copenhagen \u00d8, Denmark","Department of Computer Science, University of Copenhagen (DIKU), Universitetsparken 1, DK\u20102100 Copenhagen \u00d8, Denmark"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, University of Copenhagen (DIKU), Universitetsparken 1, DK-2100 Copenhagen \u00d8, Denmark","institution_ids":["https://openalex.org/I124055696"]},{"raw_affiliation_string":"Department of Computer Science, University of Copenhagen (DIKU), Universitetsparken 1, DK\u20102100 Copenhagen \u00d8, Denmark","institution_ids":["https://openalex.org/I124055696"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5024664299"],"corresponding_institution_ids":["https://openalex.org/I124055696"],"apc_list":{"value":2630,"currency":"USD","value_usd":2630},"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":{"value":0.14189708,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":91,"max":95},"biblio":{"volume":"51","issue":"5","first_page":"532","last_page":"540"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12002","display_name":"Computability, Logic, AI Algorithms","score":0.9998999834060669,"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"}},"topics":[{"id":"https://openalex.org/T12002","display_name":"Computability, Logic, AI Algorithms","score":0.9998999834060669,"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/T11567","display_name":"semigroups and automata theory","score":0.996999979019165,"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/T11727","display_name":"Advanced Algebra and Logic","score":0.9922000169754028,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/constructive","display_name":"Constructive","score":0.892015814781189},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.8294742107391357},{"id":"https://openalex.org/keywords/countable-set","display_name":"Countable set","score":0.755761981010437},{"id":"https://openalex.org/keywords/sequence","display_name":"Sequence (biology)","score":0.7350813150405884},{"id":"https://openalex.org/keywords/bounded-function","display_name":"Bounded function","score":0.7211481332778931},{"id":"https://openalex.org/keywords/rational-number","display_name":"Rational number","score":0.7203114032745361},{"id":"https://openalex.org/keywords/mathematical-proof","display_name":"Mathematical proof","score":0.5437655448913574},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.5354101657867432},{"id":"https://openalex.org/keywords/constructive-proof","display_name":"Constructive proof","score":0.5100513100624084},{"id":"https://openalex.org/keywords/real-number","display_name":"Real number","score":0.4383702576160431},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.4299561381340027},{"id":"https://openalex.org/keywords/intuitionistic-logic","display_name":"Intuitionistic logic","score":0.42607834935188293},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.0951339602470398},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.05236127972602844}],"concepts":[{"id":"https://openalex.org/C2778701210","wikidata":"https://www.wikidata.org/wiki/Q28130034","display_name":"Constructive","level":3,"score":0.892015814781189},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.8294742107391357},{"id":"https://openalex.org/C110729354","wikidata":"https://www.wikidata.org/wiki/Q185478","display_name":"Countable set","level":2,"score":0.755761981010437},{"id":"https://openalex.org/C2778112365","wikidata":"https://www.wikidata.org/wiki/Q3511065","display_name":"Sequence (biology)","level":2,"score":0.7350813150405884},{"id":"https://openalex.org/C34388435","wikidata":"https://www.wikidata.org/wiki/Q2267362","display_name":"Bounded function","level":2,"score":0.7211481332778931},{"id":"https://openalex.org/C46875033","wikidata":"https://www.wikidata.org/wiki/Q1244890","display_name":"Rational number","level":2,"score":0.7203114032745361},{"id":"https://openalex.org/C108710211","wikidata":"https://www.wikidata.org/wiki/Q11538","display_name":"Mathematical proof","level":2,"score":0.5437655448913574},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.5354101657867432},{"id":"https://openalex.org/C202854965","wikidata":"https://www.wikidata.org/wiki/Q3044470","display_name":"Constructive proof","level":2,"score":0.5100513100624084},{"id":"https://openalex.org/C94020503","wikidata":"https://www.wikidata.org/wiki/Q12916","display_name":"Real number","level":2,"score":0.4383702576160431},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.4299561381340027},{"id":"https://openalex.org/C178421362","wikidata":"https://www.wikidata.org/wiki/Q176786","display_name":"Intuitionistic logic","level":3,"score":0.42607834935188293},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.0951339602470398},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.05236127972602844},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C28077239","wikidata":"https://www.wikidata.org/wiki/Q841728","display_name":"Linear logic","level":2,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C54355233","wikidata":"https://www.wikidata.org/wiki/Q7162","display_name":"Genetics","level":1,"score":0.0},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1002/malq.200410048","is_oa":false,"landing_page_url":"https://doi.org/10.1002/malq.200410048","pdf_url":null,"source":{"id":"https://openalex.org/S172351290","display_name":"Mathematical logic quarterly","issn_l":"0942-5616","issn":["0942-5616","1521-3870"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320595","host_organization_name":"Wiley","host_organization_lineage":["https://openalex.org/P4310320595"],"host_organization_lineage_names":["Wiley"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Mathematical Logic Quarterly","raw_type":"journal-article"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.90.7756","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.90.7756","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.diku.dk/~simonsen/papers/j2.pdf","raw_type":"text"},{"id":"pmh:oai:pure.atira.dk:openaire_cris_publications/1e983d60-74c3-11db-bee9-02004c4f4f50","is_oa":false,"landing_page_url":"https://curis.ku.dk/portal/da/publications/specker-sequences-revisited(1e983d60-74c3-11db-bee9-02004c4f4f50).html","pdf_url":null,"source":{"id":"https://openalex.org/S4306401983","display_name":"Research at the University of Copenhagen (University of Copenhagen)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I124055696","host_organization_name":"University of Copenhagen","host_organization_lineage":["https://openalex.org/I124055696"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Simonsen , J G 2005 , ' Specker Sequences Revisited ' , Mathematical Logic Quarterly , no. 51(5) , pp. 532-540 .","raw_type":"article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":19,"referenced_works":["https://openalex.org/W125135646","https://openalex.org/W126568045","https://openalex.org/W1509579779","https://openalex.org/W1526028212","https://openalex.org/W1545819195","https://openalex.org/W1550331971","https://openalex.org/W1590304156","https://openalex.org/W1975452830","https://openalex.org/W1981198727","https://openalex.org/W2067580807","https://openalex.org/W2074009310","https://openalex.org/W2093468014","https://openalex.org/W2912254359","https://openalex.org/W3000001319","https://openalex.org/W3022059637","https://openalex.org/W4231629838","https://openalex.org/W4239316923","https://openalex.org/W4248669568","https://openalex.org/W4301168154"],"related_works":["https://openalex.org/W4206375802","https://openalex.org/W4293831958","https://openalex.org/W2801567004","https://openalex.org/W2557274167","https://openalex.org/W129571849","https://openalex.org/W3166372913","https://openalex.org/W2769576143","https://openalex.org/W4243049440","https://openalex.org/W2527877093","https://openalex.org/W4300189940"],"abstract_inverted_index":{"Abstract":[0],"Specker":[1,26,31,90,144],"sequences":[2,7,48,60],"are":[3,56],"constructive,":[4],"increasing,":[5],"bounded":[6,34,47,116],"of":[8,49,58,61,71,99,125],"rationals":[9,50],"that":[10,51,55,95,103,113,137],"do":[11],"not":[12],"converge":[13],"to":[14,22,83,88],"any":[15,96],"constructive":[16,38,42,101,120],"real.":[17,39,121],"A":[18],"sequence":[19,27,112],"is":[20,30,114],"said":[21],"be":[23],"a":[24,109,132,142],"strong":[25,143],"if":[28],"it":[29],"and":[32],"eventually":[33,52,115],"away":[35,117],"from":[36,118,136],"every":[37,119,123,126],"Within":[40,77],"Bishop's":[41],"mathematics":[43],"we":[44,80,93],"investigate":[45],"non\u2010decreasing,":[46],"avoid":[53],"sets":[54],"unions":[57],"(countable)":[59],"intervals":[62],"with":[63],"rational":[64,133],"endpoints.":[65],"This":[66],"yields":[67],"surprisingly":[68],"straightforward":[69],"proofs":[70],"certain":[72],"basic":[73],"results":[74],"fromconstructive":[75],"mathematics.":[76],"Russian":[78],"constructivism,":[79],"show":[81,94],"how":[82],"use":[84],"this":[85],"general":[86],"method":[87],"generate":[89],"sequences.":[91],"Furthermore,":[92],"nonvoid":[97],"subset":[98,130,140],"the":[100,129,139],"reals":[102],"has":[104],"no":[105],"isolated":[106],"points":[107],"contains":[108,131,141],"strictly":[110],"increasing":[111],"If":[122],"neighborhood":[124],"point":[127],"in":[128],"number":[134],"different":[135],"point,":[138],"sequence.":[145],"(\u00a9":[146],"2005":[147],"WILEY\u2010VCH":[148],"Verlag":[149],"GmbH":[150],"&":[151],"Co.":[152],"KGaA,":[153],"Weinheim)":[154]},"counts_by_year":[{"year":2025,"cited_by_count":1}],"updated_date":"2026-04-05T17:49:38.594831","created_date":"2025-10-10T00:00:00"}