{"id":"https://openalex.org/W2129633101","doi":"https://doi.org/10.2307/2274028","title":"Some properties of epistemic set theory with collection","display_name":"Some properties of epistemic set theory with collection","publication_year":1986,"publication_date":"1986-09-01","ids":{"openalex":"https://openalex.org/W2129633101","doi":"https://doi.org/10.2307/2274028","mag":"2129633101"},"language":"en","primary_location":{"id":"doi:10.2307/2274028","is_oa":false,"landing_page_url":"https://doi.org/10.2307/2274028","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/A5054465062","display_name":"Andre Scedrov","orcid":"https://orcid.org/0000-0002-4536-0419"},"institutions":[{"id":"https://openalex.org/I79576946","display_name":"University of Pennsylvania","ror":"https://ror.org/00b30xv10","country_code":"US","type":"education","lineage":["https://openalex.org/I79576946"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Andre Scedrov","raw_affiliation_strings":["Department of Mathematics, University of Pennsylvania, Philadelphia, Pennsylvania 19104"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Mathematics, University of Pennsylvania, Philadelphia, Pennsylvania 19104","institution_ids":["https://openalex.org/I79576946"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5054465062"],"corresponding_institution_ids":["https://openalex.org/I79576946"],"apc_list":null,"apc_paid":null,"fwci":1.1808,"has_fulltext":false,"cited_by_count":4,"citation_normalized_percentile":{"value":0.85311048,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":98},"biblio":{"volume":"51","issue":"3","first_page":"748","last_page":"754"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9994999766349792,"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.9994999766349792,"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.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/T10258","display_name":"Philosophy and Theoretical Science","score":0.9951000213623047,"subfield":{"id":"https://openalex.org/subfields/3205","display_name":"Experimental and Cognitive Psychology"},"field":{"id":"https://openalex.org/fields/32","display_name":"Psychology"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/modal-operator","display_name":"Modal operator","score":0.5813367366790771},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.576996386051178},{"id":"https://openalex.org/keywords/intuitionistic-logic","display_name":"Intuitionistic logic","score":0.5737621188163757},{"id":"https://openalex.org/keywords/intuitionism","display_name":"Intuitionism","score":0.5634126663208008},{"id":"https://openalex.org/keywords/extension","display_name":"Extension (predicate logic)","score":0.5218676328659058},{"id":"https://openalex.org/keywords/interpretation","display_name":"Interpretation (philosophy)","score":0.500115156173706},{"id":"https://openalex.org/keywords/operator","display_name":"Operator (biology)","score":0.4438711404800415},{"id":"https://openalex.org/keywords/constructive","display_name":"Constructive","score":0.43111729621887207},{"id":"https://openalex.org/keywords/conservative-extension","display_name":"Conservative extension","score":0.4280330538749695},{"id":"https://openalex.org/keywords/set-theory","display_name":"Set theory","score":0.42025452852249146},{"id":"https://openalex.org/keywords/calculus","display_name":"Calculus (dental)","score":0.40253961086273193},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.3872159421443939},{"id":"https://openalex.org/keywords/philosophy","display_name":"Philosophy","score":0.3861927092075348},{"id":"https://openalex.org/keywords/epistemology","display_name":"Epistemology","score":0.38134872913360596},{"id":"https://openalex.org/keywords/modal-logic","display_name":"Modal logic","score":0.3800983428955078},{"id":"https://openalex.org/keywords/modal","display_name":"Modal","score":0.3718988597393036},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.34835153818130493},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.2656841278076172},{"id":"https://openalex.org/keywords/linguistics","display_name":"Linguistics","score":0.15773355960845947},{"id":"https://openalex.org/keywords/linear-logic","display_name":"Linear logic","score":0.14480969309806824}],"concepts":[{"id":"https://openalex.org/C78344899","wikidata":"https://www.wikidata.org/wiki/Q638442","display_name":"Modal operator","level":4,"score":0.5813367366790771},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.576996386051178},{"id":"https://openalex.org/C178421362","wikidata":"https://www.wikidata.org/wiki/Q176786","display_name":"Intuitionistic logic","level":3,"score":0.5737621188163757},{"id":"https://openalex.org/C153107464","wikidata":"https://www.wikidata.org/wiki/Q10879018","display_name":"Intuitionism","level":2,"score":0.5634126663208008},{"id":"https://openalex.org/C2778029271","wikidata":"https://www.wikidata.org/wiki/Q5421931","display_name":"Extension (predicate logic)","level":2,"score":0.5218676328659058},{"id":"https://openalex.org/C527412718","wikidata":"https://www.wikidata.org/wiki/Q855395","display_name":"Interpretation (philosophy)","level":2,"score":0.500115156173706},{"id":"https://openalex.org/C17020691","wikidata":"https://www.wikidata.org/wiki/Q139677","display_name":"Operator (biology)","level":5,"score":0.4438711404800415},{"id":"https://openalex.org/C2778701210","wikidata":"https://www.wikidata.org/wiki/Q28130034","display_name":"Constructive","level":3,"score":0.43111729621887207},{"id":"https://openalex.org/C2780432614","wikidata":"https://www.wikidata.org/wiki/Q864213","display_name":"Conservative extension","level":2,"score":0.4280330538749695},{"id":"https://openalex.org/C153046414","wikidata":"https://www.wikidata.org/wiki/Q12482","display_name":"Set theory","level":3,"score":0.42025452852249146},{"id":"https://openalex.org/C2777686260","wikidata":"https://www.wikidata.org/wiki/Q144037","display_name":"Calculus (dental)","level":2,"score":0.40253961086273193},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.3872159421443939},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.3861927092075348},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.38134872913360596},{"id":"https://openalex.org/C27508121","wikidata":"https://www.wikidata.org/wiki/Q210841","display_name":"Modal logic","level":3,"score":0.3800983428955078},{"id":"https://openalex.org/C71139939","wikidata":"https://www.wikidata.org/wiki/Q910194","display_name":"Modal","level":2,"score":0.3718988597393036},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.34835153818130493},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.2656841278076172},{"id":"https://openalex.org/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","level":1,"score":0.15773355960845947},{"id":"https://openalex.org/C28077239","wikidata":"https://www.wikidata.org/wiki/Q841728","display_name":"Linear logic","level":2,"score":0.14480969309806824},{"id":"https://openalex.org/C199343813","wikidata":"https://www.wikidata.org/wiki/Q12128","display_name":"Dentistry","level":1,"score":0.0},{"id":"https://openalex.org/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","level":0,"score":0.0},{"id":"https://openalex.org/C86339819","wikidata":"https://www.wikidata.org/wiki/Q407384","display_name":"Transcription factor","level":3,"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/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.0},{"id":"https://openalex.org/C104317684","wikidata":"https://www.wikidata.org/wiki/Q7187","display_name":"Gene","level":2,"score":0.0},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.0},{"id":"https://openalex.org/C188027245","wikidata":"https://www.wikidata.org/wiki/Q750446","display_name":"Polymer chemistry","level":1,"score":0.0},{"id":"https://openalex.org/C55493867","wikidata":"https://www.wikidata.org/wiki/Q7094","display_name":"Biochemistry","level":1,"score":0.0},{"id":"https://openalex.org/C158448853","wikidata":"https://www.wikidata.org/wiki/Q425218","display_name":"Repressor","level":4,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.2307/2274028","is_oa":false,"landing_page_url":"https://doi.org/10.2307/2274028","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:CULeuclid:euclid.jsl/1183742170","is_oa":false,"landing_page_url":"http://projecteuclid.org/euclid.jsl/1183742170","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":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":13,"referenced_works":["https://openalex.org/W141536115","https://openalex.org/W158226905","https://openalex.org/W992186155","https://openalex.org/W1029484397","https://openalex.org/W1481385900","https://openalex.org/W1822309835","https://openalex.org/W1970869125","https://openalex.org/W1988700246","https://openalex.org/W2024315465","https://openalex.org/W2052161854","https://openalex.org/W2191623572","https://openalex.org/W2551720480","https://openalex.org/W4234514070"],"related_works":["https://openalex.org/W2898764506","https://openalex.org/W2902486506","https://openalex.org/W1918671223","https://openalex.org/W4320028434","https://openalex.org/W4239562239","https://openalex.org/W2128403889","https://openalex.org/W1487403858","https://openalex.org/W73996831","https://openalex.org/W2080777550","https://openalex.org/W55877200"],"abstract_inverted_index":{"Myhill":[0,110],"[12]":[1],"extended":[2],"the":[3,25,28,35,41,169,202,221,258],"ideas":[4],"of":[5,12,27,102,107,186,196,217,251,260],"Shapiro":[6],"[15],":[7],"and":[8,52,140,188,198,204],"proposed":[9],"a":[10,65,114,143,183,193,214],"system":[11,42,219,262],"epistemic":[13,88,174],"set":[14,234],"theory":[15,235],"IST":[16,130,136],"(based":[17],"on":[18],"modal":[19,104,248],"S":[20],"4":[21],"logic)":[22],"in":[23,40,49,123,129,135,151,211],"which":[24],"meaning":[26],"necessity":[29],"operator":[30],"is":[31,55,92,121,127,133,149,155,243],"taken":[32],"to":[33,57,173,181,230],"be":[34,70],"intuitive":[36],"provability,":[37],"as":[38,72],"formalized":[39],"itself.":[43],"In":[44],"this":[45],"setting":[46],"one":[47],"works":[48],"classical":[50],"logic,":[51],"yet":[53],"it":[54,191,200],"possible":[56],"make":[58],"distinctions":[59],"usually":[60],"associated":[61],"with":[62,220,236],"intuitionism,":[63],"e.g.":[64],"constructive":[66],"existential":[67],"quantifier":[68],"can":[69],"expressed":[71],"(\u2203":[73],"x":[74,146],")":[75,158],"\u25a1":[76,116,119],"\u2026.":[77],"This":[78,242],"was":[79,192,208],"first":[80,89,96],"confirmed":[81],"when":[82],"Goodman":[83,176],"[7]":[84],"proved":[85,189],"that":[86,112,141,190,199,213],"Shapiro's":[87],"order":[90,97],"arithmetic":[91,98],"conservative":[93,194],"over":[94],"intuitionistic":[95,108,232,252],"via":[99],"an":[100],"extension":[101,195,216],"G\u00f6del's":[103,247],"interpretation":[105,249],"[6]":[106,250],"logic.":[109,253],"showed":[111],"whenever":[113,142],"sentence":[115,144],"A":[117,126],"\u2228":[118],"B":[120,132],"provable":[122,128,134,150],"IST,":[124,152,187],"then":[125,153,209],"or":[131],"(the":[137,164],"disjunction":[138,203],"property),":[139],"\u2203":[145],".\u25a1":[147],"A(x)":[148],"so":[154],"A(":[156],"t":[157,163],"for":[159],"some":[160],"closed":[161],"term":[162],"existence":[165,205],"property).":[166],"He":[167],"adapted":[168],"Friedman":[170],"slash":[171],"[4]":[172],"systems.":[175],"[8]":[177],"used":[178],"Epistemic":[179,222],"Replacement":[180,237],"formulate":[182],"ZF-like":[184],"strengthening":[185],"ZF":[197,233],"had":[201,257],"properties.":[206],"It":[207],"shown":[210],"[13]":[212],"slight":[215],"Goodman's":[218,261],"Foundation":[223],"(ZFE":[224],"R":[225,239,255],",":[226,240],"cf.":[227],"\u00a71)":[228],"suffices":[229],"interpret":[231],"(ZFI":[238],"[10]).":[241],"obtained":[244],"by":[245],"extending":[246],"ZFE":[254],"still":[256],"properties":[259],"mentioned":[263],"above.":[264]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2016,"cited_by_count":1}],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2025-10-10T00:00:00"}