{"id":"https://openalex.org/W3200720010","doi":"https://doi.org/10.1017/s1755020322000107","title":"SET THEORY AND A MODEL OF THE MIND IN PSYCHOLOGY","display_name":"SET THEORY AND A MODEL OF THE MIND IN PSYCHOLOGY","publication_year":2022,"publication_date":"2022-03-14","ids":{"openalex":"https://openalex.org/W3200720010","doi":"https://doi.org/10.1017/s1755020322000107","mag":"3200720010"},"language":"en","primary_location":{"id":"doi:10.1017/s1755020322000107","is_oa":false,"landing_page_url":"https://doi.org/10.1017/s1755020322000107","pdf_url":null,"source":{"id":"https://openalex.org/S24077076","display_name":"The Review of Symbolic Logic","issn_l":"1755-0203","issn":["1755-0203","1755-0211"],"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":"The Review of Symbolic Logic","raw_type":"journal-article"},"type":"preprint","indexed_in":["arxiv","crossref","datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/2109.06739","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5012889206","display_name":"Asger T\u00f6rnquist","orcid":"https://orcid.org/0000-0002-8332-649X"},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"ASGER T\u00d6RNQUIST","raw_affiliation_strings":["DEPARTMENT OF MATHEMATICAL SCIENCES UNIVERSITY OF COPENHAGEN, UNIVERSITETSPARKEN 5 COPENHAGEN, 2100DENMARKE-mail:"],"raw_orcid":"https://orcid.org/0000-0002-8332-649X","affiliations":[{"raw_affiliation_string":"DEPARTMENT OF MATHEMATICAL SCIENCES UNIVERSITY OF COPENHAGEN, UNIVERSITETSPARKEN 5 COPENHAGEN, 2100DENMARKE-mail:","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5080649506","display_name":"Jens Mammen","orcid":"https://orcid.org/0000-0002-8867-5744"},"institutions":[{"id":"https://openalex.org/I891191580","display_name":"Aalborg University","ror":"https://ror.org/04m5j1k67","country_code":"DK","type":"education","lineage":["https://openalex.org/I891191580"]}],"countries":["DK"],"is_corresponding":false,"raw_author_name":"JENS MAMMEN","raw_affiliation_strings":["DEPARTMENT OF COMMUNICATION AND PSYCHOLOGY AALBORG UNIVERSITY, RENDSBURGGADE 14 AALBORG, 9000DENMARKE-mail:"],"raw_orcid":"https://orcid.org/0000-0002-8867-5744","affiliations":[{"raw_affiliation_string":"DEPARTMENT OF COMMUNICATION AND PSYCHOLOGY AALBORG UNIVERSITY, RENDSBURGGADE 14 AALBORG, 9000DENMARKE-mail:","institution_ids":["https://openalex.org/I891191580"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5012889206"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":{"value":0.05910465,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"16","issue":"4","first_page":"1233","last_page":"1259"},"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.9889000058174133,"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.9889000058174133,"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/T10448","display_name":"Memory and Neural Mechanisms","score":0.9803000092506409,"subfield":{"id":"https://openalex.org/subfields/2805","display_name":"Cognitive Neuroscience"},"field":{"id":"https://openalex.org/fields/28","display_name":"Neuroscience"},"domain":{"id":"https://openalex.org/domains/1","display_name":"Life Sciences"}},{"id":"https://openalex.org/T11727","display_name":"Advanced Algebra and Logic","score":0.9222000241279602,"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/axiom-of-choice","display_name":"Axiom of choice","score":0.6894408464431763},{"id":"https://openalex.org/keywords/countable-set","display_name":"Countable set","score":0.6325118541717529},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.6188256144523621},{"id":"https://openalex.org/keywords/hausdorff-space","display_name":"Hausdorff space","score":0.5976601839065552},{"id":"https://openalex.org/keywords/conjecture","display_name":"Conjecture","score":0.5911960005760193},{"id":"https://openalex.org/keywords/space","display_name":"Space (punctuation)","score":0.5740858316421509},{"id":"https://openalex.org/keywords/set-theory","display_name":"Set theory","score":0.46666234731674194},{"id":"https://openalex.org/keywords/axiom","display_name":"Axiom","score":0.4632723331451416},{"id":"https://openalex.org/keywords/universe","display_name":"Universe","score":0.46207478642463684},{"id":"https://openalex.org/keywords/metrization-theorem","display_name":"Metrization theorem","score":0.4469689726829529},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.4454360008239746},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.4446318745613098},{"id":"https://openalex.org/keywords/model-theory","display_name":"Model theory","score":0.4326930046081543},{"id":"https://openalex.org/keywords/topological-space","display_name":"Topological space","score":0.42016854882240295},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.2778310477733612},{"id":"https://openalex.org/keywords/physics","display_name":"Physics","score":0.1097579300403595},{"id":"https://openalex.org/keywords/separable-space","display_name":"Separable space","score":0.09962600469589233},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.09208428859710693},{"id":"https://openalex.org/keywords/mathematical-analysis","display_name":"Mathematical analysis","score":0.07374468445777893}],"concepts":[{"id":"https://openalex.org/C151797676","wikidata":"https://www.wikidata.org/wiki/Q179692","display_name":"Axiom of choice","level":4,"score":0.6894408464431763},{"id":"https://openalex.org/C110729354","wikidata":"https://www.wikidata.org/wiki/Q185478","display_name":"Countable set","level":2,"score":0.6325118541717529},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.6188256144523621},{"id":"https://openalex.org/C191399826","wikidata":"https://www.wikidata.org/wiki/Q326908","display_name":"Hausdorff space","level":2,"score":0.5976601839065552},{"id":"https://openalex.org/C2780990831","wikidata":"https://www.wikidata.org/wiki/Q319141","display_name":"Conjecture","level":2,"score":0.5911960005760193},{"id":"https://openalex.org/C2778572836","wikidata":"https://www.wikidata.org/wiki/Q380933","display_name":"Space (punctuation)","level":2,"score":0.5740858316421509},{"id":"https://openalex.org/C153046414","wikidata":"https://www.wikidata.org/wiki/Q12482","display_name":"Set theory","level":3,"score":0.46666234731674194},{"id":"https://openalex.org/C167729594","wikidata":"https://www.wikidata.org/wiki/Q17736","display_name":"Axiom","level":2,"score":0.4632723331451416},{"id":"https://openalex.org/C84999194","wikidata":"https://www.wikidata.org/wiki/Q1","display_name":"Universe","level":2,"score":0.46207478642463684},{"id":"https://openalex.org/C105433845","wikidata":"https://www.wikidata.org/wiki/Q1194053","display_name":"Metrization theorem","level":3,"score":0.4469689726829529},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.4454360008239746},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.4446318745613098},{"id":"https://openalex.org/C47030870","wikidata":"https://www.wikidata.org/wiki/Q467606","display_name":"Model theory","level":2,"score":0.4326930046081543},{"id":"https://openalex.org/C81332173","wikidata":"https://www.wikidata.org/wiki/Q179899","display_name":"Topological space","level":2,"score":0.42016854882240295},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.2778310477733612},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.1097579300403595},{"id":"https://openalex.org/C70710897","wikidata":"https://www.wikidata.org/wiki/Q680081","display_name":"Separable space","level":2,"score":0.09962600469589233},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.09208428859710693},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.07374468445777893},{"id":"https://openalex.org/C44870925","wikidata":"https://www.wikidata.org/wiki/Q37547","display_name":"Astrophysics","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/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","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":7,"locations":[{"id":"doi:10.1017/s1755020322000107","is_oa":false,"landing_page_url":"https://doi.org/10.1017/s1755020322000107","pdf_url":null,"source":{"id":"https://openalex.org/S24077076","display_name":"The Review of Symbolic Logic","issn_l":"1755-0203","issn":["1755-0203","1755-0211"],"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":"The Review of Symbolic Logic","raw_type":"journal-article"},{"id":"pmh:oai:arXiv.org:2109.06739","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2109.06739","pdf_url":"https://arxiv.org/pdf/2109.06739","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"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":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"text"},{"id":"pmh:oai:pure.atira.dk:publications/d2143704-cd2e-4519-872d-fa7f3a6cdcb2","is_oa":true,"landing_page_url":"https://vbn.aau.dk/da/publications/d2143704-cd2e-4519-872d-fa7f3a6cdcb2","pdf_url":"https://arxiv.org/pdf/2109.06739","source":{"id":"https://openalex.org/S4306401731","display_name":"VBN Forskningsportal (Aalborg Universitet)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I891191580","host_organization_name":"Aalborg University","host_organization_lineage":["https://openalex.org/I891191580"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"T\u00f6rnquist, A D & Mammen, J 2023, 'Set Theory and a Model of the Mind in Psychology', Review of Symbolic Logic, vol. 16, no. 4, pp. 1233-1259. https://doi.org/10.1017/S1755020322000107","raw_type":"info:eu-repo/semantics/publishedVersion"},{"id":"pmh:oai:pure.atira.dk:openaire_cris_publications/7eca3af0-d1f5-43ac-8718-da53250d6ae5","is_oa":true,"landing_page_url":"https://researchprofiles.ku.dk/da/publications/7eca3af0-d1f5-43ac-8718-da53250d6ae5","pdf_url":"https://curis.ku.dk/ws/files/356424955/SET_THEOR.pdf","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":"Tornquist , A & Mammen , J 2023 , ' Set theory and a model of the mind in psychology ' , Review of Symbolic Logic , vol. 16 , no. 4 , pp. 1233-1259 . https://doi.org/10.1017/S1755020322000107","raw_type":"article"},{"id":"mag:3200720010","is_oa":true,"landing_page_url":"http://export.arxiv.org/pdf/2109.06739","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"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":"arXiv (Cornell University)","raw_type":null},{"id":"pmh:oai:pure.atira.dk:publications/4b702307-2439-4ac1-9ba0-60d12648999b","is_oa":false,"landing_page_url":"https://pure.au.dk/portal/en/publications/4b702307-2439-4ac1-9ba0-60d12648999b","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"T\u00f6rnquist , A & Mammen , J 2023 , ' Set Theory and a Model of the Mind in Psychology ' , Review of Symbolic Logic , vol. 16 , no. 4 , pp. 1233-1259 . https://doi.org/10.1017/S1755020322000107","raw_type":"article"},{"id":"doi:10.48550/arxiv.2109.06739","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2109.06739","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"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":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"article"}],"best_oa_location":{"id":"pmh:oai:arXiv.org:2109.06739","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2109.06739","pdf_url":"https://arxiv.org/pdf/2109.06739","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"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":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"text"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W3200720010.pdf"},"referenced_works_count":21,"referenced_works":["https://openalex.org/W255704960","https://openalex.org/W1539382740","https://openalex.org/W1541012876","https://openalex.org/W1933657216","https://openalex.org/W1963914286","https://openalex.org/W1969555173","https://openalex.org/W1972951753","https://openalex.org/W1986446858","https://openalex.org/W2003896916","https://openalex.org/W2047704456","https://openalex.org/W2090905237","https://openalex.org/W2105820468","https://openalex.org/W2159227336","https://openalex.org/W2198573622","https://openalex.org/W2234614083","https://openalex.org/W2284970419","https://openalex.org/W2575691085","https://openalex.org/W2754756998","https://openalex.org/W2924925388","https://openalex.org/W3209609005","https://openalex.org/W4238317440"],"related_works":["https://openalex.org/W2766275162","https://openalex.org/W2052595117","https://openalex.org/W177522066","https://openalex.org/W1997895280","https://openalex.org/W2761942604","https://openalex.org/W1989586176","https://openalex.org/W2001752461","https://openalex.org/W2084384075","https://openalex.org/W2019937194","https://openalex.org/W2007577694","https://openalex.org/W1979649929","https://openalex.org/W2020563202","https://openalex.org/W2883406053","https://openalex.org/W1965116174","https://openalex.org/W2491631245","https://openalex.org/W2006497810","https://openalex.org/W2140765651","https://openalex.org/W1995323496","https://openalex.org/W2019237208","https://openalex.org/W1501002175"],"abstract_inverted_index":{"Abstract":[0],"We":[1,79,123],"investigate":[2,178],"the":[3,9,17,29,90,98,106,130,146,230],"mathematics":[4],"of":[5,8,23,27,92,100],"a":[6,39,43,52,60,81,93,119,141,173],"model":[7,25],"human":[10],"mind":[11],"which":[12,111],"has":[13,33],"been":[14],"proposed":[15],"by":[16,85,102,126],"psychologist":[18],"Jens":[19],"Mammen.":[20],"Mathematical":[21],"realizations":[22],"this":[24,125],"consists":[26],"what":[28],"first":[30,107,131],"author":[31],"(A.T.)":[32],"called":[34],"Mammen":[35,40,95,121,170,191],"spaces":[36,171,192],",":[37,48,66],"where":[38,49],"space":[41,96],"is":[42,51,59,118],"triple":[44],"$(U,\\mathcal":[45],"S,\\mathcal":[46],"C)$":[47],"U":[50,65],"non-empty":[53],"set":[54],"(\u201cthe":[55],"universe\u201d),":[56],"$\\mathcal":[57,68,74],"S$":[58,75],"perfect":[61,135,143,195],"Hausdorff":[62],"topology":[63,136],"on":[64],"and":[67,185,193,197],"C\\subseteq":[69],"\\mathcal":[70],"P(U)$":[71],"together":[72],"with":[73,172,189],"satisfy":[76],"certain":[77],"axioms.":[78],"refute":[80],"conjecture":[82],"put":[83],"forward":[84],"Hoffmann-J\u00f8rgensen,":[86],"who":[87],"conjectured":[88],"that":[89,104,128,152,202,222],"existence":[91],"\u201ccomplete\u201d":[94],"implies":[97],"Axiom":[99],"Choice,":[101],"showing":[103],"in":[105,110,129,205,229],"Cohen":[108,132],"model,":[109,133],"ZF":[112],"holds":[113],"but":[114],"AC":[115],"fails,":[116],"there":[117,166],"complete":[120,169,190],"space.":[122],"obtain":[124],"proving":[127],"every":[134],"can":[137],"be":[138],"extended":[139],"to":[140],"maximal":[142,194],"topology.":[144],"On":[145],"other":[147],"hand,":[148],"we":[149,177,208,220],"also":[150],"show":[151,209,221],"if":[153],"all":[154,160],"sets":[155,161],"are":[156,162,167,203,237],"Lebesgue":[157],"measurable,":[158,164],"or":[159],"Baire":[163],"then":[165],"no":[168],"countable":[174],"universe.":[175],"Further,":[176],"two":[179],"new":[180],"cardinal":[181],"invariants":[182],"$\\mathfrak":[183,186,210],"u_{M}$":[184],"u_{T}$":[187],"associated":[188],"topologies,":[196],"establish":[198],"some":[199],"basic":[200],"inequalities":[201],"provable":[204],"ZFC.":[206],"Then":[207],"u_{M}=\\mathfrak":[211,225],"u_{T}=2^{\\aleph":[212],"_{0}}$":[213],"follows":[214],"from":[215],"Martin\u2019s":[216],"Axiom,":[217],"and,":[218],"contrastingly,":[219],"$\\aleph":[223],"_{1}=\\mathfrak":[224],"u_{T}<2^{\\aleph":[226],"_{0}}=\\aleph":[227],"_{2}$":[228],"Baumgartner\u2013Laver":[231],"model.":[232],"Finally,":[233],"consequences":[234],"for":[235],"psychology":[236],"discussed.":[238]},"counts_by_year":[],"updated_date":"2026-03-27T05:58:40.876381","created_date":"2025-10-10T00:00:00"}