{"id":"https://openalex.org/W2115500515","doi":"https://doi.org/10.1002/malq.19970430313","title":"Forcing in Finite Structures","display_name":"Forcing in Finite Structures","publication_year":1997,"publication_date":"1997-01-01","ids":{"openalex":"https://openalex.org/W2115500515","doi":"https://doi.org/10.1002/malq.19970430313","mag":"2115500515"},"language":"en","primary_location":{"id":"doi:10.1002/malq.19970430313","is_oa":true,"landing_page_url":"https://doi.org/10.1002/malq.19970430313","pdf_url":"https://onlinelibrary.wiley.com/doi/pdfdirect/10.1002/malq.19970430313","source":{"id":"https://openalex.org/S172351290","display_name":"Mathematical logic quarterly","issn_l":"0942-5616","issn":["0942-5616","1521-3870"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320595","host_organization_name":"Wiley","host_organization_lineage":["https://openalex.org/P4310320595"],"host_organization_lineage_names":["Wiley"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Mathematical Logic Quarterly","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"bronze","oa_url":"https://onlinelibrary.wiley.com/doi/pdfdirect/10.1002/malq.19970430313","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5027169167","display_name":"Domenico Zambella","orcid":"https://orcid.org/0000-0003-1141-2898"},"institutions":[{"id":"https://openalex.org/I887064364","display_name":"University of Amsterdam","ror":"https://ror.org/04dkp9463","country_code":"NL","type":"education","lineage":["https://openalex.org/I887064364"]}],"countries":["NL"],"is_corresponding":true,"raw_author_name":"Domenico Zambella","raw_affiliation_strings":["Department of Mathematics and Computer Science, University of Amsterdam, Plantage Muidergracht 24, 1018 TV Amsterdam, The Netherlands","Department of Mathematics and Computer Science, University of Amsterdam, Plantage Muidergracht 24, 1018 TV, Amsterdam, The Netherlands#TAB#"],"affiliations":[{"raw_affiliation_string":"Department of Mathematics and Computer Science, University of Amsterdam, Plantage Muidergracht 24, 1018 TV Amsterdam, The Netherlands","institution_ids":["https://openalex.org/I887064364"]},{"raw_affiliation_string":"Department of Mathematics and Computer Science, University of Amsterdam, Plantage Muidergracht 24, 1018 TV, Amsterdam, The Netherlands#TAB#","institution_ids":["https://openalex.org/I887064364"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5027169167"],"corresponding_institution_ids":["https://openalex.org/I887064364"],"apc_list":{"value":2630,"currency":"USD","value_usd":2630},"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":{"value":0.2330643,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":94},"biblio":{"volume":"43","issue":"3","first_page":"401","last_page":"412"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11567","display_name":"semigroups and automata theory","score":0.9994999766349792,"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"}},"topics":[{"id":"https://openalex.org/T11567","display_name":"semigroups and automata theory","score":0.9994999766349792,"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/T10948","display_name":"Advanced Combinatorial Mathematics","score":0.998199999332428,"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/T12002","display_name":"Computability, Logic, AI Algorithms","score":0.9979000091552734,"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/pigeonhole-principle","display_name":"Pigeonhole principle","score":0.9851158857345581},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.8422486782073975},{"id":"https://openalex.org/keywords/forcing","display_name":"Forcing (mathematics)","score":0.7579989433288574},{"id":"https://openalex.org/keywords/simple","display_name":"Simple (philosophy)","score":0.7036833167076111},{"id":"https://openalex.org/keywords/independence","display_name":"Independence (probability theory)","score":0.6022482514381409},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.4545939266681671},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.41472846269607544},{"id":"https://openalex.org/keywords/mathematical-analysis","display_name":"Mathematical analysis","score":0.06657460331916809},{"id":"https://openalex.org/keywords/statistics","display_name":"Statistics","score":0.060137659311294556},{"id":"https://openalex.org/keywords/epistemology","display_name":"Epistemology","score":0.0568506121635437}],"concepts":[{"id":"https://openalex.org/C171988527","wikidata":"https://www.wikidata.org/wiki/Q188276","display_name":"Pigeonhole principle","level":2,"score":0.9851158857345581},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.8422486782073975},{"id":"https://openalex.org/C197115733","wikidata":"https://www.wikidata.org/wiki/Q1003136","display_name":"Forcing (mathematics)","level":2,"score":0.7579989433288574},{"id":"https://openalex.org/C2780586882","wikidata":"https://www.wikidata.org/wiki/Q7520643","display_name":"Simple (philosophy)","level":2,"score":0.7036833167076111},{"id":"https://openalex.org/C35651441","wikidata":"https://www.wikidata.org/wiki/Q625303","display_name":"Independence (probability theory)","level":2,"score":0.6022482514381409},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.4545939266681671},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.41472846269607544},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.06657460331916809},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.060137659311294556},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0568506121635437},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0}],"mesh":[],"locations_count":4,"locations":[{"id":"doi:10.1002/malq.19970430313","is_oa":true,"landing_page_url":"https://doi.org/10.1002/malq.19970430313","pdf_url":"https://onlinelibrary.wiley.com/doi/pdfdirect/10.1002/malq.19970430313","source":{"id":"https://openalex.org/S172351290","display_name":"Mathematical logic quarterly","issn_l":"0942-5616","issn":["0942-5616","1521-3870"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320595","host_organization_name":"Wiley","host_organization_lineage":["https://openalex.org/P4310320595"],"host_organization_lineage_names":["Wiley"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Mathematical Logic Quarterly","raw_type":"journal-article"},{"id":"pmh:oai:dare.uva.nl:openaire_cris_publications/1fb19a4b-cad7-4905-b50a-8aac058fb713","is_oa":false,"landing_page_url":"https://handle.uba.uva.nl/personal/pure/en/publications/forcing-in-finite-structures(1fb19a4b-cad7-4905-b50a-8aac058fb713).html","pdf_url":null,"source":{"id":"https://openalex.org/S4306400088","display_name":"UvA-DARE (University of Amsterdam)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I887064364","host_organization_name":"University of Amsterdam","host_organization_lineage":["https://openalex.org/I887064364"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Zambella, D 1997, 'Forcing in finite structures', Mathematical Logic Quarterly, vol. 43, pp. 401-412. https://doi.org/10.1002/malq.19970430313","raw_type":"info:eu-repo/semantics/publishedVersion"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.45.638","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.45.638","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"ftp://ftp.fwi.uva.nl/pub/theory/illc/researchreports/ML-96-11.text.ps.gz","raw_type":"text"},{"id":"pmh:uvapub:oai:dare.uva.nl:publications/1fb19a4b-cad7-4905-b50a-8aac058fb713","is_oa":false,"landing_page_url":"https://dare.uva.nl/personal/pure/en/publications/forcing-in-finite-structures(1fb19a4b-cad7-4905-b50a-8aac058fb713).html","pdf_url":null,"source":{"id":"https://openalex.org/S4306401843","display_name":"Data Archiving and Networked Services (DANS)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1322597698","host_organization_name":"Royal Netherlands Academy of Arts and Sciences","host_organization_lineage":["https://openalex.org/I1322597698"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Mathematical Logic Quarterly, 43, 401 - 412. Wiley-VCH Verlag","raw_type":"info:eu-repo/semantics/article"}],"best_oa_location":{"id":"doi:10.1002/malq.19970430313","is_oa":true,"landing_page_url":"https://doi.org/10.1002/malq.19970430313","pdf_url":"https://onlinelibrary.wiley.com/doi/pdfdirect/10.1002/malq.19970430313","source":{"id":"https://openalex.org/S172351290","display_name":"Mathematical logic quarterly","issn_l":"0942-5616","issn":["0942-5616","1521-3870"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320595","host_organization_name":"Wiley","host_organization_lineage":["https://openalex.org/P4310320595"],"host_organization_lineage_names":["Wiley"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Mathematical Logic Quarterly","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2115500515.pdf"},"referenced_works_count":18,"referenced_works":["https://openalex.org/W73235108","https://openalex.org/W636367345","https://openalex.org/W639289183","https://openalex.org/W802852870","https://openalex.org/W1504491664","https://openalex.org/W1572440476","https://openalex.org/W2014850486","https://openalex.org/W2029390834","https://openalex.org/W2036656440","https://openalex.org/W2045924252","https://openalex.org/W2060270693","https://openalex.org/W2074052574","https://openalex.org/W2091961944","https://openalex.org/W2128026324","https://openalex.org/W2167115661","https://openalex.org/W2169713712","https://openalex.org/W2462776419","https://openalex.org/W4248733413"],"related_works":["https://openalex.org/W1902951782","https://openalex.org/W1521859395","https://openalex.org/W4301376359","https://openalex.org/W1754605724","https://openalex.org/W2796739203","https://openalex.org/W4287811509","https://openalex.org/W3022132071","https://openalex.org/W3177600251","https://openalex.org/W2768698559","https://openalex.org/W2604429467"],"abstract_inverted_index":{"Abstract":[0],"We":[1],"present":[2],"a":[3,10,13,48,67],"simple":[4],"and":[5,45,70],"completely":[6],"model\u2010theoretical":[7],"proof":[8],"of":[9,12,15,19,43],"strengthening":[11],"theorem":[14,35],"Ajtai:":[16],"The":[17],"independence":[18],"the":[20,34,40],"pigeonhole":[21],"principle":[22],"from":[23,61],"I":[24],"\u0394":[25],"0":[26],"(":[27],"R":[28],").":[29],"With":[30],"regard":[31],"to":[32,39,66],"strength,":[33],"proved":[36],"here":[37],"corresponds":[38],"complexity/proof\u2010theoretical":[41],"results":[42],"[10]":[44],"[14],":[46],"but":[47],"different":[49],"combinatorics":[50],"is":[51],"used.":[52],"Techniques":[53],"inspired":[54],"by":[55],"Razborov":[56],"[11]":[57],"replace":[58],"those":[59],"derived":[60],"H\u00e5stad":[62],"[8].":[63],"This":[64],"leads":[65],"much":[68],"shorter":[69],"very":[71],"direct":[72],"construction.":[73]},"counts_by_year":[{"year":2017,"cited_by_count":1},{"year":2014,"cited_by_count":1}],"updated_date":"2026-04-04T16:13:02.066488","created_date":"2025-10-10T00:00:00"}