{"id":"https://openalex.org/W2136604612","doi":"https://doi.org/10.2307/2275781","title":"Intuitionistic sets and ordinals","display_name":"Intuitionistic sets and ordinals","publication_year":1996,"publication_date":"1996-09-01","ids":{"openalex":"https://openalex.org/W2136604612","doi":"https://doi.org/10.2307/2275781","mag":"2136604612"},"language":"en","primary_location":{"id":"doi:10.2307/2275781","is_oa":false,"landing_page_url":"https://doi.org/10.2307/2275781","pdf_url":null,"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":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5052539592","display_name":"Paul Taylor","orcid":"https://orcid.org/0000-0001-8743-7667"},"institutions":[{"id":"https://openalex.org/I47508984","display_name":"Imperial College London","ror":"https://ror.org/041kmwe10","country_code":"GB","type":"education","lineage":["https://openalex.org/I47508984"]}],"countries":["GB"],"is_corresponding":true,"raw_author_name":"Paul Taylor","raw_affiliation_strings":["Department of Computing, Imperial College, London SW7 2BZ, England, E-mail:","Department of Computing, Imperial College, London SW7 2BZ, England, E-mail: pt@dcs.qmw.ac.uk"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computing, Imperial College, London SW7 2BZ, England, E-mail:","institution_ids":["https://openalex.org/I47508984"]},{"raw_affiliation_string":"Department of Computing, Imperial College, London SW7 2BZ, England, E-mail: pt@dcs.qmw.ac.uk","institution_ids":["https://openalex.org/I47508984"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5052539592"],"corresponding_institution_ids":["https://openalex.org/I47508984"],"apc_list":{"value":3550,"currency":"USD","value_usd":3550},"apc_paid":null,"fwci":1.108,"has_fulltext":false,"cited_by_count":33,"citation_normalized_percentile":{"value":0.84332993,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":99},"biblio":{"volume":"61","issue":"3","first_page":"705","last_page":"744"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9991000294685364,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9991000294685364,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/T10126","display_name":"Logic, programming, and type systems","score":0.996999979019165,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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.9952999949455261,"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/mathematics","display_name":"Mathematics","score":0.82799232006073},{"id":"https://openalex.org/keywords/transfinite-number","display_name":"Transfinite number","score":0.7053360939025879},{"id":"https://openalex.org/keywords/successor-cardinal","display_name":"Successor cardinal","score":0.6874189376831055},{"id":"https://openalex.org/keywords/transitive-relation","display_name":"Transitive relation","score":0.5768753290176392},{"id":"https://openalex.org/keywords/corollary","display_name":"Corollary","score":0.5602160096168518},{"id":"https://openalex.org/keywords/axiom-of-choice","display_name":"Axiom of choice","score":0.5575340986251831},{"id":"https://openalex.org/keywords/axiom","display_name":"Axiom","score":0.5083824992179871},{"id":"https://openalex.org/keywords/topos-theory","display_name":"Topos theory","score":0.48598918318748474},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.47568976879119873},{"id":"https://openalex.org/keywords/monotone-polygon","display_name":"Monotone polygon","score":0.47250473499298096},{"id":"https://openalex.org/keywords/order-type","display_name":"Order type","score":0.4320046603679657},{"id":"https://openalex.org/keywords/joins","display_name":"Joins","score":0.426408588886261},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.3947235345840454},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.38546568155288696},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.28872910141944885},{"id":"https://openalex.org/keywords/set-theory","display_name":"Set theory","score":0.2385675311088562},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.23577794432640076}],"concepts":[{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.82799232006073},{"id":"https://openalex.org/C147358099","wikidata":"https://www.wikidata.org/wiki/Q1069891","display_name":"Transfinite number","level":2,"score":0.7053360939025879},{"id":"https://openalex.org/C75306776","wikidata":"https://www.wikidata.org/wiki/Q7632662","display_name":"Successor cardinal","level":2,"score":0.6874189376831055},{"id":"https://openalex.org/C191399111","wikidata":"https://www.wikidata.org/wiki/Q64861","display_name":"Transitive relation","level":2,"score":0.5768753290176392},{"id":"https://openalex.org/C2780012671","wikidata":"https://www.wikidata.org/wiki/Q1343870","display_name":"Corollary","level":2,"score":0.5602160096168518},{"id":"https://openalex.org/C151797676","wikidata":"https://www.wikidata.org/wiki/Q179692","display_name":"Axiom of choice","level":4,"score":0.5575340986251831},{"id":"https://openalex.org/C167729594","wikidata":"https://www.wikidata.org/wiki/Q17736","display_name":"Axiom","level":2,"score":0.5083824992179871},{"id":"https://openalex.org/C182141236","wikidata":"https://www.wikidata.org/wiki/Q2143621","display_name":"Topos theory","level":2,"score":0.48598918318748474},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.47568976879119873},{"id":"https://openalex.org/C2834757","wikidata":"https://www.wikidata.org/wiki/Q4925424","display_name":"Monotone polygon","level":2,"score":0.47250473499298096},{"id":"https://openalex.org/C138890893","wikidata":"https://www.wikidata.org/wiki/Q620006","display_name":"Order type","level":2,"score":0.4320046603679657},{"id":"https://openalex.org/C2778692605","wikidata":"https://www.wikidata.org/wiki/Q4041866","display_name":"Joins","level":2,"score":0.426408588886261},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.3947235345840454},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.38546568155288696},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.28872910141944885},{"id":"https://openalex.org/C153046414","wikidata":"https://www.wikidata.org/wiki/Q12482","display_name":"Set theory","level":3,"score":0.2385675311088562},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.23577794432640076},{"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/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.0},{"id":"https://openalex.org/C124952713","wikidata":"https://www.wikidata.org/wiki/Q8242","display_name":"Literature","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/C142362112","wikidata":"https://www.wikidata.org/wiki/Q735","display_name":"Art","level":0,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.2307/2275781","is_oa":false,"landing_page_url":"https://doi.org/10.2307/2275781","pdf_url":null,"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.101.696","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.101.696","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.monad.me.uk/ordinals/intso.pdf","raw_type":"text"},{"id":"pmh:oai:CULeuclid:euclid.jsl/1183745073","is_oa":false,"landing_page_url":"http://projecteuclid.org/euclid.jsl/1183745073","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":null,"sustainable_development_goals":[{"display_name":"Peace, Justice and strong institutions","id":"https://metadata.un.org/sdg/16","score":0.4699999988079071}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":35,"referenced_works":["https://openalex.org/W4594304","https://openalex.org/W89881250","https://openalex.org/W115176759","https://openalex.org/W1561011284","https://openalex.org/W1580381987","https://openalex.org/W1591728283","https://openalex.org/W1607953571","https://openalex.org/W1965610596","https://openalex.org/W1974294638","https://openalex.org/W1980969069","https://openalex.org/W1985132925","https://openalex.org/W1991697528","https://openalex.org/W2010663699","https://openalex.org/W2022040382","https://openalex.org/W2024028075","https://openalex.org/W2034224051","https://openalex.org/W2038020882","https://openalex.org/W2043693029","https://openalex.org/W2046213250","https://openalex.org/W2048854384","https://openalex.org/W2049362364","https://openalex.org/W2052161854","https://openalex.org/W2064028777","https://openalex.org/W2070931406","https://openalex.org/W2104505625","https://openalex.org/W2123630974","https://openalex.org/W2177727224","https://openalex.org/W2261622378","https://openalex.org/W2324455841","https://openalex.org/W2496901757","https://openalex.org/W2798613517","https://openalex.org/W4234835746","https://openalex.org/W4248915083","https://openalex.org/W4249371645","https://openalex.org/W4256195314"],"related_works":["https://openalex.org/W860390631","https://openalex.org/W925680482","https://openalex.org/W1979204163","https://openalex.org/W1572152362","https://openalex.org/W2090752965","https://openalex.org/W4385749905","https://openalex.org/W2075513489","https://openalex.org/W2005548176","https://openalex.org/W580107462","https://openalex.org/W2136604612"],"abstract_inverted_index":{"Abstract":[0],"Transitive":[1],"extensional":[2],"well":[3],"founded":[4],"relations":[5],"provide":[6],"an":[7,238],"intuitionistic":[8],"notion":[9,210,298],"of":[10,32,53,64,110,137,145,157,160,169,194,211,221,231,234,269,284,287,299],"ordinals":[11,18,81,115],"which":[12,45],"admits":[13],"transfinite":[14],"induction.":[15],"However":[16],"these":[17],"are":[19,162,200],"not":[20],"directed":[21,276],"and":[22,55,98,118,139,152,164,185,198,227,275],"their":[23,76],"successor":[24,40],"operation":[25,239],"is":[26,66,91,103,142,187,294],"poorly":[27],"behaved,":[28],"leading":[29],"to":[30,37,93,105,125,174],"problems":[31],"functoriality.":[33],"We":[34,113,290],"show":[35],"how":[36],"make":[38],"the":[39,50,61,79,94,99,107,146,153,158,167,178,192,222,260,302,310],"monotone":[41,266],"by":[42,225],"introducing":[43],"plumpness,":[44],"strengthens":[46],"transitivity.":[47],"This":[48,130,278],"clarifies":[49],"traditional":[51],"development":[52],"successors":[54],"unions,":[56],"making":[57],"it":[58,293],"intuitionistic;":[59],"even":[60],"(classical)":[62],"proof":[63],"trichotomy":[65],"made":[67],"simpler.":[68],"The":[69,181],"definition":[70],"is,":[71],"however,":[72],"recursive,":[73],"and,":[74],"as":[75,116,134,189,191,244],"name":[77],"suggests,":[78],"plump":[80,179],"grow":[82],"very":[83],"rapidly.":[84],"Directedness":[85],"must":[86],"be":[87,106,175,280],"defined":[88],"hereditarily.":[89],"It":[90],"orthogonal":[92],"other":[95],"four":[96],"conditions,":[97],"lower":[100],"powerdomain":[101],"construction":[102],"shown":[104],"universal":[108],"way":[109],"imposing":[111],"it.":[112],"treat":[114],"order-types,":[117],"develop":[119],"a":[120,135,143,216,232,265,270,285],"corresponding":[121],"set":[122,128,212],"theory":[123],"similar":[124],"Osius'":[126],"transitive":[127],"objects.":[129],"presents":[131],"Mostowski's":[132,150],"theorem":[133,151,263],"reflection":[136],"categories,":[138],"set-theoretic":[140],"union":[141],"corollary":[144],"adjoint":[147],"functor":[148],"theorem.":[149],"rank":[154],"for":[155,177,203,219,264,305],"some":[156,201],"notions":[159],"ordinal":[161,214,300],"formulated":[163],"proved":[165,281],"without":[166],"axiom":[168],"replacement,":[170],"but":[171],"this":[172,207],"seems":[173],"unavoidable":[176],"rank.":[180],"comparison":[182],"between":[183],"sets":[184],"toposes":[186],"developed":[188],"far":[190],"identification":[193],"replacement":[195],"with":[196,237,272],"completeness,":[197],"there":[199],"suggestions":[202],"further":[204],"work":[205],"in":[206],"area.":[208],"Each":[209],"or":[213,249],"defines":[215],"free":[217],"algebra":[218],"one":[220],"theories":[223],"discussed":[224],"Joyal":[226],"Moerdijk,":[228],"namely":[229],"joins":[230],"family":[233],"arities":[235],"together":[236],"s":[240,268],"satisfying":[241],"conditions":[242],"such":[243],"x":[245],"\u2264":[246,253],"sx,":[247],"monotonicity":[248],"s(x":[250],"\u2228":[251,255],"y)":[252],"sx":[254],"sy.":[256],"Finally":[257],"we":[258],"discuss":[259],"fixed":[261],"point":[262],"endofunction":[267],"poset":[271],"least":[273],"element":[274],"joins.":[277],"may":[279],"under":[282],"each":[283],"variety":[286],"additional":[288],"hypotheses.":[289],"explain":[291],"why":[292],"unlikely":[295],"that":[296],"any":[297],"obeying":[301],"induction":[303],"scheme":[304],"arbitrary":[306],"predicates":[307],"will":[308],"prove":[309],"pure":[311],"result.":[312]},"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":3},{"year":2022,"cited_by_count":3},{"year":2021,"cited_by_count":3},{"year":2018,"cited_by_count":1},{"year":2016,"cited_by_count":2},{"year":2015,"cited_by_count":1},{"year":2014,"cited_by_count":1},{"year":2013,"cited_by_count":7}],"updated_date":"2026-08-26T07:47:46.906454","created_date":"2025-10-10T00:00:00"}