{"id":"https://openalex.org/W4249266772","doi":"https://doi.org/10.1109/lics.2004.1319640","title":"Equicardinality on linear orders","display_name":"Equicardinality on linear orders","publication_year":2004,"publication_date":"2004-01-01","ids":{"openalex":"https://openalex.org/W4249266772","doi":"https://doi.org/10.1109/lics.2004.1319640"},"language":"en","primary_location":{"id":"doi:10.1109/lics.2004.1319640","is_oa":false,"landing_page_url":"https://doi.org/10.1109/lics.2004.1319640","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science, 2004.","raw_type":"proceedings-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/A5031424171","display_name":"Kerkko Luosto","orcid":"https://orcid.org/0009-0007-3911-766X"},"institutions":[{"id":"https://openalex.org/I1323065761","display_name":"Statistics Finland","ror":"https://ror.org/01n1rg855","country_code":"FI","type":"other","lineage":["https://openalex.org/I1323065761"]},{"id":"https://openalex.org/I133731052","display_name":"University of Helsinki","ror":"https://ror.org/040af2s02","country_code":"FI","type":"education","lineage":["https://openalex.org/I133731052"]}],"countries":["FI"],"is_corresponding":true,"raw_author_name":"K. Luosto","raw_affiliation_strings":["Department of Mathematics and Statistics, University of Helsinki, Finland"],"affiliations":[{"raw_affiliation_string":"Department of Mathematics and Statistics, University of Helsinki, Finland","institution_ids":["https://openalex.org/I1323065761","https://openalex.org/I133731052"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5031424171"],"corresponding_institution_ids":["https://openalex.org/I1323065761","https://openalex.org/I133731052"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.42043713,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"32","issue":null,"first_page":"458","last_page":"465"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12002","display_name":"Computability, Logic, AI Algorithms","score":0.9994999766349792,"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.9994999766349792,"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/T11151","display_name":"Advanced Topology and Set Theory","score":0.9993000030517578,"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/T11567","display_name":"semigroups and automata theory","score":0.9980000257492065,"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/cardinality","display_name":"Cardinality (data modeling)","score":0.8983803987503052},{"id":"https://openalex.org/keywords/quantifier","display_name":"Quantifier (linguistics)","score":0.6931886672973633},{"id":"https://openalex.org/keywords/class","display_name":"Class (philosophy)","score":0.6915431022644043},{"id":"https://openalex.org/keywords/descriptive-complexity-theory","display_name":"Descriptive complexity theory","score":0.6619309782981873},{"id":"https://openalex.org/keywords/complexity-class","display_name":"Complexity class","score":0.648809552192688},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.6383534669876099},{"id":"https://openalex.org/keywords/quantifier-elimination","display_name":"Quantifier elimination","score":0.5611995458602905},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.48610711097717285},{"id":"https://openalex.org/keywords/point","display_name":"Point (geometry)","score":0.4715074598789215},{"id":"https://openalex.org/keywords/characterization","display_name":"Characterization (materials science)","score":0.4580378532409668},{"id":"https://openalex.org/keywords/model-theory","display_name":"Model theory","score":0.4263041019439697},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.3800978660583496},{"id":"https://openalex.org/keywords/time-complexity","display_name":"Time complexity","score":0.3232772648334503},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.26935601234436035},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.2689581513404846},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.07054963707923889},{"id":"https://openalex.org/keywords/data-mining","display_name":"Data mining","score":0.06605169177055359}],"concepts":[{"id":"https://openalex.org/C87117476","wikidata":"https://www.wikidata.org/wiki/Q362383","display_name":"Cardinality (data modeling)","level":2,"score":0.8983803987503052},{"id":"https://openalex.org/C2778523021","wikidata":"https://www.wikidata.org/wiki/Q5532504","display_name":"Quantifier (linguistics)","level":2,"score":0.6931886672973633},{"id":"https://openalex.org/C2777212361","wikidata":"https://www.wikidata.org/wiki/Q5127848","display_name":"Class (philosophy)","level":2,"score":0.6915431022644043},{"id":"https://openalex.org/C133142742","wikidata":"https://www.wikidata.org/wiki/Q1200755","display_name":"Descriptive complexity theory","level":3,"score":0.6619309782981873},{"id":"https://openalex.org/C39637292","wikidata":"https://www.wikidata.org/wiki/Q908207","display_name":"Complexity class","level":3,"score":0.648809552192688},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.6383534669876099},{"id":"https://openalex.org/C32278780","wikidata":"https://www.wikidata.org/wiki/Q1849020","display_name":"Quantifier elimination","level":2,"score":0.5611995458602905},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.48610711097717285},{"id":"https://openalex.org/C28719098","wikidata":"https://www.wikidata.org/wiki/Q44946","display_name":"Point (geometry)","level":2,"score":0.4715074598789215},{"id":"https://openalex.org/C2780841128","wikidata":"https://www.wikidata.org/wiki/Q5073781","display_name":"Characterization (materials science)","level":2,"score":0.4580378532409668},{"id":"https://openalex.org/C47030870","wikidata":"https://www.wikidata.org/wiki/Q467606","display_name":"Model theory","level":2,"score":0.4263041019439697},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.3800978660583496},{"id":"https://openalex.org/C311688","wikidata":"https://www.wikidata.org/wiki/Q2393193","display_name":"Time complexity","level":2,"score":0.3232772648334503},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.26935601234436035},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.2689581513404846},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.07054963707923889},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.06605169177055359},{"id":"https://openalex.org/C192562407","wikidata":"https://www.wikidata.org/wiki/Q228736","display_name":"Materials science","level":0,"score":0.0},{"id":"https://openalex.org/C171250308","wikidata":"https://www.wikidata.org/wiki/Q11468","display_name":"Nanotechnology","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}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/lics.2004.1319640","is_oa":false,"landing_page_url":"https://doi.org/10.1109/lics.2004.1319640","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science, 2004.","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":26,"referenced_works":["https://openalex.org/W51954198","https://openalex.org/W777021994","https://openalex.org/W1489148631","https://openalex.org/W1597104295","https://openalex.org/W1606310634","https://openalex.org/W1991188222","https://openalex.org/W2031411912","https://openalex.org/W2035890683","https://openalex.org/W2038222783","https://openalex.org/W2045583484","https://openalex.org/W2046731783","https://openalex.org/W2088094394","https://openalex.org/W2109525690","https://openalex.org/W2111302825","https://openalex.org/W2130593249","https://openalex.org/W2149330764","https://openalex.org/W2152035036","https://openalex.org/W2159337272","https://openalex.org/W2168681835","https://openalex.org/W2911599249","https://openalex.org/W3105529609","https://openalex.org/W3127113455","https://openalex.org/W4236835455","https://openalex.org/W6635656993","https://openalex.org/W6786544524","https://openalex.org/W6789738865"],"related_works":["https://openalex.org/W4214737172","https://openalex.org/W3012938552","https://openalex.org/W2324712051","https://openalex.org/W2798639752","https://openalex.org/W2950293817","https://openalex.org/W2338270372","https://openalex.org/W2158768175","https://openalex.org/W4292614342","https://openalex.org/W2110257077","https://openalex.org/W2130164058"],"abstract_inverted_index":{"Linear":[0],"orders":[1],"are":[2,119],"of":[3,17,26,34,43,69,108,115],"inherent":[4],"interest":[5],"infinite":[6],"model":[7],"theory,":[8],"especially":[9],"in":[10,81],"descriptive":[11,113],"complexity":[12,114,117],"theory.":[13],"Here,":[14],"the":[15,44,62,75,82,109,112],"class":[16],"ordered":[18,52,100],"structures":[19,101],"is":[20,40,72,93],"approached":[21],"from":[22],"a":[23,32,41,60,67,94],"novel":[24],"point":[25],"view,":[27],"using":[28],"generalized":[29],"quantifiers":[30,46],"as":[31,59],"means":[33],"analysis.":[35],"The":[36,85],"main":[37,86],"technical":[38],"result":[39,55,87,110],"characterization":[42],"cardinality":[45,63],"which":[47],"can":[48,56],"express":[49],"equicardinality":[50,76],"on":[51,104],"structures.":[53,106],"This":[54],"be":[57],"viewed":[58],"dichotomy:":[61],"quantifier":[64,77],"either":[65],"shows":[66],"lot":[68],"periodicity,":[70],"or":[71],"quite":[73],"non-periodic,":[74],"being":[78],"definable":[79],"only":[80],"latter":[83],"case.":[84],"shows,":[88],"once":[89],"more,":[90],"that":[91],"there":[92],"drastic":[95],"difference":[96],"between":[97],"definability":[98,103],"among":[99],"and":[102],"unordered":[105],"Connections":[107],"to":[111],"low-level":[116],"classes":[118],"discussed.":[120]},"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}