{"id":"https://openalex.org/W2074993878","doi":"https://doi.org/10.1016/0020-0255(69)90011-5","title":"The effectivity of existential statements in axiomatic set theory","display_name":"The effectivity of existential statements in axiomatic set theory","publication_year":1969,"publication_date":"1969-04-01","ids":{"openalex":"https://openalex.org/W2074993878","doi":"https://doi.org/10.1016/0020-0255(69)90011-5","mag":"2074993878"},"language":"en","primary_location":{"id":"doi:10.1016/0020-0255(69)90011-5","is_oa":false,"landing_page_url":"https://doi.org/10.1016/0020-0255(69)90011-5","pdf_url":null,"source":{"id":"https://openalex.org/S192650101","display_name":"Information Sciences","issn_l":"0020-0255","issn":["0020-0255","1872-6291"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Information Sciences","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/A5078224627","display_name":"Amit Levy","orcid":"https://orcid.org/0000-0003-1479-8917"},"institutions":[{"id":"https://openalex.org/I197251160","display_name":"Hebrew University of Jerusalem","ror":"https://ror.org/03qxff017","country_code":"IL","type":"education","lineage":["https://openalex.org/I197251160"]},{"id":"https://openalex.org/I97018004","display_name":"Stanford University","ror":"https://ror.org/00f54p054","country_code":"US","type":"education","lineage":["https://openalex.org/I97018004"]}],"countries":["IL","US"],"is_corresponding":true,"raw_author_name":"A LEVY","raw_affiliation_strings":["Hebrew University, JerusalemIsrael","Stanford University, CaliforniaU.S.A"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Hebrew University, JerusalemIsrael","institution_ids":["https://openalex.org/I197251160"]},{"raw_affiliation_string":"Stanford University, CaliforniaU.S.A","institution_ids":["https://openalex.org/I97018004"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5078224627"],"corresponding_institution_ids":["https://openalex.org/I197251160","https://openalex.org/I97018004"],"apc_list":{"value":3200,"currency":"USD","value_usd":3200},"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":10,"citation_normalized_percentile":{"value":0.20437956,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":97},"biblio":{"volume":"1","issue":"2","first_page":"119","last_page":"130"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10258","display_name":"Philosophy and Theoretical Science","score":0.9556999802589417,"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"}},"topics":[{"id":"https://openalex.org/T10258","display_name":"Philosophy and Theoretical Science","score":0.9556999802589417,"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/mathematics","display_name":"Mathematics","score":0.8141502141952515},{"id":"https://openalex.org/keywords/axiom-of-choice","display_name":"Axiom of choice","score":0.7677270770072937},{"id":"https://openalex.org/keywords/axiom","display_name":"Axiom","score":0.6219580769538879},{"id":"https://openalex.org/keywords/connection","display_name":"Connection (principal bundle)","score":0.564258873462677},{"id":"https://openalex.org/keywords/closure","display_name":"Closure (psychology)","score":0.5372163653373718},{"id":"https://openalex.org/keywords/zermelo\u2013fraenkel-set-theory","display_name":"Zermelo\u2013Fraenkel set theory","score":0.5225490927696228},{"id":"https://openalex.org/keywords/mathematical-proof","display_name":"Mathematical proof","score":0.5223023891448975},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.5148271918296814},{"id":"https://openalex.org/keywords/transitive-relation","display_name":"Transitive relation","score":0.5062353014945984},{"id":"https://openalex.org/keywords/transitive-closure","display_name":"Transitive closure","score":0.4639543890953064},{"id":"https://openalex.org/keywords/universal-set","display_name":"Universal set","score":0.4517481029033661},{"id":"https://openalex.org/keywords/term","display_name":"Term (time)","score":0.417804479598999},{"id":"https://openalex.org/keywords/set-theory","display_name":"Set theory","score":0.4017907381057739},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.3923250138759613},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.35464367270469666},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.09133118391036987}],"concepts":[{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.8141502141952515},{"id":"https://openalex.org/C151797676","wikidata":"https://www.wikidata.org/wiki/Q179692","display_name":"Axiom of choice","level":4,"score":0.7677270770072937},{"id":"https://openalex.org/C167729594","wikidata":"https://www.wikidata.org/wiki/Q17736","display_name":"Axiom","level":2,"score":0.6219580769538879},{"id":"https://openalex.org/C13355873","wikidata":"https://www.wikidata.org/wiki/Q2920850","display_name":"Connection (principal bundle)","level":2,"score":0.564258873462677},{"id":"https://openalex.org/C146834321","wikidata":"https://www.wikidata.org/wiki/Q2979672","display_name":"Closure (psychology)","level":2,"score":0.5372163653373718},{"id":"https://openalex.org/C51460","wikidata":"https://www.wikidata.org/wiki/Q191849","display_name":"Zermelo\u2013Fraenkel set theory","level":5,"score":0.5225490927696228},{"id":"https://openalex.org/C108710211","wikidata":"https://www.wikidata.org/wiki/Q11538","display_name":"Mathematical proof","level":2,"score":0.5223023891448975},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.5148271918296814},{"id":"https://openalex.org/C191399111","wikidata":"https://www.wikidata.org/wiki/Q64861","display_name":"Transitive relation","level":2,"score":0.5062353014945984},{"id":"https://openalex.org/C128896722","wikidata":"https://www.wikidata.org/wiki/Q1501387","display_name":"Transitive closure","level":2,"score":0.4639543890953064},{"id":"https://openalex.org/C102565666","wikidata":"https://www.wikidata.org/wiki/Q1378301","display_name":"Universal set","level":3,"score":0.4517481029033661},{"id":"https://openalex.org/C61797465","wikidata":"https://www.wikidata.org/wiki/Q1188986","display_name":"Term (time)","level":2,"score":0.417804479598999},{"id":"https://openalex.org/C153046414","wikidata":"https://www.wikidata.org/wiki/Q12482","display_name":"Set theory","level":3,"score":0.4017907381057739},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.3923250138759613},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.35464367270469666},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.09133118391036987},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C34447519","wikidata":"https://www.wikidata.org/wiki/Q179522","display_name":"Market economy","level":1,"score":0.0},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.0},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1016/0020-0255(69)90011-5","is_oa":false,"landing_page_url":"https://doi.org/10.1016/0020-0255(69)90011-5","pdf_url":null,"source":{"id":"https://openalex.org/S192650101","display_name":"Information Sciences","issn_l":"0020-0255","issn":["0020-0255","1872-6291"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Information Sciences","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":8,"referenced_works":["https://openalex.org/W1512373780","https://openalex.org/W1583167790","https://openalex.org/W1708393443","https://openalex.org/W1826842711","https://openalex.org/W1991402517","https://openalex.org/W2059314891","https://openalex.org/W2072408351","https://openalex.org/W2115456387"],"related_works":["https://openalex.org/W1574825745","https://openalex.org/W102647493","https://openalex.org/W2500725777","https://openalex.org/W3197691547","https://openalex.org/W2079743999","https://openalex.org/W118173783","https://openalex.org/W1984427300","https://openalex.org/W177504871","https://openalex.org/W2055120637","https://openalex.org/W2353818622"],"abstract_inverted_index":null,"counts_by_year":[{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":1},{"year":2017,"cited_by_count":2},{"year":2013,"cited_by_count":1},{"year":2012,"cited_by_count":3}],"updated_date":"2026-08-21T09:56:20.448147","created_date":"2025-10-10T00:00:00"}