{"id":"https://openalex.org/W3105000616","doi":"https://doi.org/10.1007/s00010-020-00763-w","title":"Undirecting membership in models of Anti-Foundation","display_name":"Undirecting membership in models of Anti-Foundation","publication_year":2020,"publication_date":"2020-11-18","ids":{"openalex":"https://openalex.org/W3105000616","doi":"https://doi.org/10.1007/s00010-020-00763-w","mag":"3105000616"},"language":"en","primary_location":{"id":"doi:10.1007/s00010-020-00763-w","doi":"https://doi.org/10.1007/s00010-020-00763-w","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s00010-020-00763-w","pdf_url":"https://link.springer.com/content/pdf/10.1007/s00010-020-00763-w.pdf","source":{"id":"https://openalex.org/S150892397","display_name":"Aequationes Mathematicae","issn_l":"0001-9054","issn":["0001-9054","1420-8903"],"is_oa":false,"is_in_doaj":false,"is_core":true,"listed_in":["cwts-core","jufo-1","norway-1"],"host_organization":"https://openalex.org/P4310320186","host_organization_name":"Birkh\u00e4user","host_organization_lineage":["https://openalex.org/P4310320186","https://openalex.org/P4310319900"],"host_organization_lineage_names":["Birkh\u00e4user","Springer Science+Business Media"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Aequationes mathematicae","raw_type":"journal-article"},"volume":null,"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://link.springer.com/content/pdf/10.1007/s00010-020-00763-w.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5071483683","display_name":"Bea Adam-Day","orcid":"https://orcid.org/0000-0002-7891-916X","observed_orcids":["https://orcid.org/0000-0002-7891-916X"]},"institutions":[{"id":"https://openalex.org/I130828816","display_name":"University of Leeds","ror":"https://ror.org/024mrxd33","country_code":"GB","type":"education","lineage":["https://openalex.org/I130828816"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Bea Adam-Day","raw_affiliation_strings":["School of Mathematics, University of Leeds, Woodhouse, Leeds, LS2 9JT, UK","School of Mathematics, University of Leeds, Woodhouse, Leeds, UK"],"raw_orcid":"https://orcid.org/0000-0002-7891-916X","affiliations":[{"raw_affiliation_string":"School of Mathematics, University of Leeds, Woodhouse, Leeds, LS2 9JT, UK","institution_ids":["https://openalex.org/I130828816"]},{"raw_affiliation_string":"School of Mathematics, University of Leeds, Woodhouse, Leeds, UK","institution_ids":["https://openalex.org/I130828816"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5048639170","display_name":"Peter J\u200e. Cameron","orcid":"https://orcid.org/0000-0003-3130-9505","observed_orcids":["https://orcid.org/0000-0003-3130-9505"]},"institutions":[{"id":"https://openalex.org/I16835326","display_name":"University of St Andrews","ror":"https://ror.org/02wn5qz54","country_code":"GB","type":"education","lineage":["https://openalex.org/I16835326"]}],"countries":["GB"],"is_corresponding":true,"raw_author_name":"Peter J. Cameron","raw_affiliation_strings":["School of Mathematics and Statistics, University of St Andrews, St Andrews, Fife, KY16 9SS, UK","School of Mathematics and Statistics, University of St Andrews, St Andrews, Fife, UK"],"raw_orcid":"https://orcid.org/0000-0003-3130-9505","affiliations":[{"raw_affiliation_string":"School of Mathematics and Statistics, University of St Andrews, St Andrews, Fife, KY16 9SS, UK","institution_ids":["https://openalex.org/I16835326"]},{"raw_affiliation_string":"School of Mathematics and Statistics, University of St Andrews, St Andrews, Fife, UK","institution_ids":["https://openalex.org/I16835326"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5048639170"],"corresponding_institution_ids":["https://openalex.org/I16835326"],"apc_list":{"value":2750,"currency":"USD","value_usd":2750},"apc_paid":{"value":2750,"currency":"USD","value_usd":2750},"fwci":0.3408,"has_fulltext":true,"cited_by_count":1,"citation_normalized_percentile":{"value":0.56244125,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":88,"max":93},"biblio":{"volume":"95","issue":"2","first_page":"393","last_page":"400"},"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.9965999722480774,"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.9965999722480774,"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/T11329","display_name":"Limits and Structures in Graph Theory","score":0.0017000000225380063,"subfield":{"id":"https://openalex.org/subfields/2607","display_name":"Discrete Mathematics and Combinatorics"},"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/T11703","display_name":"Rings, Modules, and Algebras","score":9.999999747378752e-05,"subfield":{"id":"https://openalex.org/subfields/2602","display_name":"Algebra and Number Theory"},"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/random-graphs","display_name":"random graphs","score":0.5220000147819519},{"id":"https://openalex.org/keywords/erdos-renyi-graphs","display_name":"Erd\u0151s-R\u00e9nyi random graphs","score":0.9010000228881836},{"id":"https://openalex.org/keywords/zfa","display_name":"ZFA","score":0.5699999928474426},{"id":"https://openalex.org/keywords/countable-models","display_name":"countable models","score":0.5989999771118164},{"id":"https://openalex.org/keywords/multiple-edges","display_name":"multiple edges","score":0.9639999866485596},{"id":"https://openalex.org/keywords/homogeneity","display_name":"homogeneity","score":0.8080000281333923},{"id":"https://openalex.org/keywords/connected-components","display_name":"connected components","score":0.4970000088214874},{"id":"https://openalex.org/keywords/finite-graphs","display_name":"finite graphs","score":0.42899999022483826}],"concepts":[{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.5333749055862427},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.3989805579185486},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.39289605617523193},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.36889559030532837}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1007/s00010-020-00763-w","doi":"https://doi.org/10.1007/s00010-020-00763-w","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s00010-020-00763-w","pdf_url":"https://link.springer.com/content/pdf/10.1007/s00010-020-00763-w.pdf","source":{"id":"https://openalex.org/S150892397","display_name":"Aequationes Mathematicae","issn_l":"0001-9054","issn":["0001-9054","1420-8903"],"is_oa":false,"is_in_doaj":false,"is_core":true,"listed_in":["cwts-core","jufo-1","norway-1"],"host_organization":"https://openalex.org/P4310320186","host_organization_name":"Birkh\u00e4user","host_organization_lineage":["https://openalex.org/P4310320186","https://openalex.org/P4310319900"],"host_organization_lineage_names":["Birkh\u00e4user","Springer Science+Business Media"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Aequationes mathematicae","raw_type":"journal-article"},{"id":"pmh:oai:eprints.whiterose.ac.uk:167743","doi":null,"is_oa":false,"landing_page_url":"https://eprints.whiterose.ac.uk/167743/13/Adam-Day-Cameron2021_Article_UndirectingMembershipInModelsO.pdf","pdf_url":"https://eprints.whiterose.ac.uk/167743/13/Adam-Day-Cameron2021_Article_UndirectingMembershipInModelsO.pdf","source":{"id":"https://openalex.org/S4306400854","display_name":"White Rose Research Online (University of Leeds, The University of Sheffield, University of York)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I2800616092","host_organization_name":"White Rose University Consortium","host_organization_lineage":["https://openalex.org/I2800616092"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"acceptedVersion","is_accepted":true,"is_published":false,"raw_source_name":"","raw_type":"Article"},{"id":"pmh:oai:research-repository.st-andrews.ac.uk:10023/21009","doi":null,"is_oa":true,"landing_page_url":"https://hdl.handle.net/10023/21009","pdf_url":null,"source":{"id":"https://openalex.org/S4306400230","display_name":"St Andrews Research Repository (St Andrews Research Repository)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I16835326","host_organization_name":"University of St Andrews","host_organization_lineage":["https://openalex.org/I16835326"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Journal article"}],"best_oa_location":{"id":"doi:10.1007/s00010-020-00763-w","doi":"https://doi.org/10.1007/s00010-020-00763-w","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s00010-020-00763-w","pdf_url":"https://link.springer.com/content/pdf/10.1007/s00010-020-00763-w.pdf","source":{"id":"https://openalex.org/S150892397","display_name":"Aequationes Mathematicae","issn_l":"0001-9054","issn":["0001-9054","1420-8903"],"is_oa":false,"is_in_doaj":false,"is_core":true,"listed_in":["cwts-core","jufo-1","norway-1"],"host_organization":"https://openalex.org/P4310320186","host_organization_name":"Birkh\u00e4user","host_organization_lineage":["https://openalex.org/P4310320186","https://openalex.org/P4310319900"],"host_organization_lineage_names":["Birkh\u00e4user","Springer Science+Business Media"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Aequationes mathematicae","raw_type":"journal-article"},"sustainable_development_goals":[],"sustainable_development_goals_aurora":[],"study_designs":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320320278","display_name":"University of St Andrews","ror":"https://ror.org/02wn5qz54"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W3105000616.pdf","grobid_xml":"https://content.openalex.org/works/W3105000616.grobid-xml"},"referenced_works_count":10,"referenced_works":["https://openalex.org/W300061356","https://openalex.org/W1556189547","https://openalex.org/W1602676878","https://openalex.org/W1605337124","https://openalex.org/W1814429312","https://openalex.org/W2300974746","https://openalex.org/W2965658085","https://openalex.org/W2970349335","https://openalex.org/W3105000616","https://openalex.org/W4248209491"],"related_works":["https://openalex.org/W2748952813","https://openalex.org/W1979597421","https://openalex.org/W2007980826","https://openalex.org/W4245490552","https://openalex.org/W4225152035","https://openalex.org/W2061531152","https://openalex.org/W3002753104","https://openalex.org/W2077600819","https://openalex.org/W1587224694","https://openalex.org/W2042127053"],"abstract_inverted_index":{"Abstract":[0],"It":[1],"is":[2,59,66,151,168],"known":[3],"that,":[4,131],"if":[5,31,72,134,160,181],"we":[6,45,73,135,144,161,182],"take":[7],"a":[8,24],"countable":[9],"model":[10],"of":[11,57,62],"Zermelo\u2013Fraenkel":[12],"set":[13],"theory":[14],"ZFC":[15],"and":[16,118,139,157,186,189],"\u201cundirect\u201d":[17],"the":[18,47,55,60,137,141,146,165,193],"membership":[19],"relation":[20],"(that":[21],"is,":[22],"make":[23],"graph":[25,90,167,195,207],"by":[26,80],"joining":[27],"x":[28,35,43,103,105,115,123],"to":[29,68,93,202],"y":[30,37,41,117,121],"either":[32],"$$x\\in":[33,101,113],"y$$":[34,114],"\u2208":[36,42,104,116,122],"or":[38,77,109],"$$y\\in":[39,119],"x$$":[40,102,120],"),":[44],"obtain":[46,145],"Erd\u0151s\u2013R\u00e9nyi":[48],"random":[49],"graph.":[50],"The":[51,88],"crucial":[52],"axiom":[53],"in":[54,132],"proof":[56],"this":[58,75],"Axiom":[61],"Foundation;":[63],"so":[64],"it":[65,79,96],"natural":[67],"wonder":[69],"what":[70],"happens":[71],"delete":[74],"axiom,":[76],"replace":[78],"an":[81],"alternative":[82],"(such":[83],"as":[84],"Aczel\u2019s":[85],"Anti-Foundation":[86],"Axiom).":[87],"resulting":[89,166,194],"may":[91,97],"fail":[92],"be":[94],"simple;":[95],"have":[98],"loops":[99,138,185],"(if":[100,112],"for":[106,124],"some":[107,125],"x)":[108],"multiple":[110,142,163],"edges":[111,188],"distinct":[126],"x,":[127],"y).":[128],"We":[129],"show":[130],"ZFA,":[133],"keep":[136,162,183],"ignore":[140],"edges,":[143,164,192],"\u201crandom":[147],"loopy":[148],"graph\u201d":[149],"(which":[150],"$$\\aleph":[152,170],"_0$$":[153,171],"\u2135":[154,172],"0":[155,173],"-categorical":[156],"homogeneous),":[158],"but":[159,175],"not":[169],"-categorical,":[174],"has":[176],"infinitely":[177],"many":[178,198],"1-types.":[179],"Moreover,":[180],"only":[184],"double":[187],"discard":[190],"single":[191],"contains":[196],"countably":[197],"connected":[199,206],"components":[200],"isomorphic":[201],"any":[203],"given":[204],"finite":[205],"with":[208],"loops.":[209]},"counts_by_year":[{"year":2020,"cited_by_count":1}],"updated_date":"2026-08-28T12:50:07.497085","created_date":"2025-10-10T00:00:00"}