{"id":"https://openalex.org/W2042927584","doi":"https://doi.org/10.2307/2694931","title":"Fibring: completeness preservation","display_name":"Fibring: completeness preservation","publication_year":2001,"publication_date":"2001-03-01","ids":{"openalex":"https://openalex.org/W2042927584","doi":"https://doi.org/10.2307/2694931","mag":"2042927584"},"language":"en","primary_location":{"id":"doi:10.2307/2694931","is_oa":false,"landing_page_url":"https://doi.org/10.2307/2694931","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/A5031039197","display_name":"Alberto Zanardo","orcid":null},"institutions":[{"id":"https://openalex.org/I138689650","display_name":"University of Padua","ror":"https://ror.org/00240q980","country_code":"IT","type":"education","lineage":["https://openalex.org/I138689650"]},{"id":"https://openalex.org/I4210157811","display_name":"Centro di Ricerca in Matematica Pura ed Applicata","ror":"https://ror.org/04fv5g904","country_code":"IT","type":"nonprofit","lineage":["https://openalex.org/I4210157811"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Alberto Zanardo","raw_affiliation_strings":["Dipartimento di Matematica Pura ed Applicata, University of Padova, Italy, E-mail:","University of Padova"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Dipartimento di Matematica Pura ed Applicata, University of Padova, Italy, E-mail:","institution_ids":["https://openalex.org/I4210157811"]},{"raw_affiliation_string":"University of Padova","institution_ids":["https://openalex.org/I138689650"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5105822466","display_name":"Am\u0131\u0301lcar Sernadas","orcid":"https://orcid.org/0000-0001-7895-8436"},"institutions":[{"id":"https://openalex.org/I4210122226","display_name":"Centre de Recerca Matem\u00e0tica","ror":"https://ror.org/020s51w82","country_code":"ES","type":"facility","lineage":["https://openalex.org/I4210122226","https://openalex.org/I4387153040"]}],"countries":["ES"],"is_corresponding":false,"raw_author_name":"Amilcar Sernadas","raw_affiliation_strings":["CMA, Departamento de Matematica, 1st, Portugal, E-mail:"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"CMA, Departamento de Matematica, 1st, Portugal, E-mail:","institution_ids":["https://openalex.org/I4210122226"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5020274709","display_name":"Cristina Sernadas","orcid":"https://orcid.org/0000-0002-5510-3512"},"institutions":[{"id":"https://openalex.org/I4210122226","display_name":"Centre de Recerca Matem\u00e0tica","ror":"https://ror.org/020s51w82","country_code":"ES","type":"facility","lineage":["https://openalex.org/I4210122226","https://openalex.org/I4387153040"]}],"countries":["ES"],"is_corresponding":false,"raw_author_name":"Cristina Sernadas","raw_affiliation_strings":["CMA, Departamento de Matem\u00e1tica, 1st, Portugal, E-mail:"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"CMA, Departamento de Matem\u00e1tica, 1st, Portugal, E-mail:","institution_ids":["https://openalex.org/I4210122226"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":8.0038,"has_fulltext":false,"cited_by_count":65,"citation_normalized_percentile":{"value":0.9798518,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":98},"biblio":{"volume":"66","issue":"1","first_page":"414","last_page":"439"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11727","display_name":"Advanced Algebra and Logic","score":0.9984999895095825,"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/T11727","display_name":"Advanced Algebra and Logic","score":0.9984999895095825,"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9975000023841858,"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.9965999722480774,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.647998571395874},{"id":"https://openalex.org/keywords/corollary","display_name":"Corollary","score":0.604240894317627},{"id":"https://openalex.org/keywords/congruence-relation","display_name":"Congruence relation","score":0.5983988046646118},{"id":"https://openalex.org/keywords/congruence","display_name":"Congruence (geometry)","score":0.5837619304656982},{"id":"https://openalex.org/keywords/equivalence","display_name":"Equivalence (formal languages)","score":0.5539355874061584},{"id":"https://openalex.org/keywords/completeness","display_name":"Completeness (order theory)","score":0.5516350269317627},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.43139541149139404},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.3940647840499878},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.3871392011642456},{"id":"https://openalex.org/keywords/calculus","display_name":"Calculus (dental)","score":0.3396070897579193},{"id":"https://openalex.org/keywords/mathematical-analysis","display_name":"Mathematical analysis","score":0.05696114897727966},{"id":"https://openalex.org/keywords/geometry","display_name":"Geometry","score":0.047968268394470215},{"id":"https://openalex.org/keywords/medicine","display_name":"Medicine","score":0.04651761054992676}],"concepts":[{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.647998571395874},{"id":"https://openalex.org/C2780012671","wikidata":"https://www.wikidata.org/wiki/Q1343870","display_name":"Corollary","level":2,"score":0.604240894317627},{"id":"https://openalex.org/C9973445","wikidata":"https://www.wikidata.org/wiki/Q8349849","display_name":"Congruence relation","level":2,"score":0.5983988046646118},{"id":"https://openalex.org/C132074034","wikidata":"https://www.wikidata.org/wiki/Q154210","display_name":"Congruence (geometry)","level":2,"score":0.5837619304656982},{"id":"https://openalex.org/C2780069185","wikidata":"https://www.wikidata.org/wiki/Q7977945","display_name":"Equivalence (formal languages)","level":2,"score":0.5539355874061584},{"id":"https://openalex.org/C17231256","wikidata":"https://www.wikidata.org/wiki/Q5156540","display_name":"Completeness (order theory)","level":2,"score":0.5516350269317627},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.43139541149139404},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.3940647840499878},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.3871392011642456},{"id":"https://openalex.org/C2777686260","wikidata":"https://www.wikidata.org/wiki/Q144037","display_name":"Calculus (dental)","level":2,"score":0.3396070897579193},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.05696114897727966},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.047968268394470215},{"id":"https://openalex.org/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","level":0,"score":0.04651761054992676},{"id":"https://openalex.org/C199343813","wikidata":"https://www.wikidata.org/wiki/Q12128","display_name":"Dentistry","level":1,"score":0.0}],"mesh":[],"locations_count":5,"locations":[{"id":"doi:10.2307/2694931","is_oa":false,"landing_page_url":"https://doi.org/10.2307/2694931","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/1183746380","is_oa":false,"landing_page_url":"http://projecteuclid.org/euclid.jsl/1183746380","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"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.31.5103","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.31.5103","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.cs.math.ist.utl.pt/ftp/pub/SernadasA/99-ZSS-fiblog3.ps","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.63.7410","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.63.7410","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.cs.math.ist.utl.pt/ftp/pub/SernadasA/99-ZSS-fiblog3.pdf","raw_type":"text"},{"id":"pmh:oai:www.research.unipd.it:11577/1428976","is_oa":false,"landing_page_url":"http://hdl.handle.net/11577/1428976","pdf_url":null,"source":{"id":"https://openalex.org/S4306402547","display_name":"Padua Research Archive (University of Padova)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I138689650","host_organization_name":"University of Padua","host_organization_lineage":["https://openalex.org/I138689650"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"info:eu-repo/semantics/article"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.6600000262260437,"id":"https://metadata.un.org/sdg/11","display_name":"Sustainable cities and communities"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":21,"referenced_works":["https://openalex.org/W1488267121","https://openalex.org/W1502499808","https://openalex.org/W1532021941","https://openalex.org/W1577589213","https://openalex.org/W1595342745","https://openalex.org/W2021257181","https://openalex.org/W2022355674","https://openalex.org/W2060709836","https://openalex.org/W2067202258","https://openalex.org/W2081329681","https://openalex.org/W2083392683","https://openalex.org/W2126382654","https://openalex.org/W2126414330","https://openalex.org/W2160331299","https://openalex.org/W2163751633","https://openalex.org/W2564698430","https://openalex.org/W2895500577","https://openalex.org/W2970205057","https://openalex.org/W3215530721","https://openalex.org/W4247797067","https://openalex.org/W4388311772"],"related_works":["https://openalex.org/W77573719","https://openalex.org/W2385511935","https://openalex.org/W3134823879","https://openalex.org/W2382432157","https://openalex.org/W4391061523","https://openalex.org/W2801977597","https://openalex.org/W2382598115","https://openalex.org/W2594479762","https://openalex.org/W2254343561","https://openalex.org/W2963246490"],"abstract_inverted_index":{"Abstract":[0],"A":[1,102],"completeness":[2,23,68,88],"theorem":[3],"is":[4,24,37,49,69,84,89,107],"established":[5],"for":[6],"logics":[7,31,46,64,76],"with":[8,11,32,47,65,77,97],"congruence":[9,33,36],"endowed":[10,96],"general":[12,18,80],"semantics":[13],"(in":[14],"the":[15,40,61],"style":[16],"of":[17,45,63,105],"frames).":[19],"As":[20],"a":[21],"corollary,":[22],"shown":[25,50,70],"to":[26,51,57,71],"be":[27,52,58,72],"preserved":[28,73,92],"by":[29,74,93],"fibring":[30,55,75,94,106],"provided":[34,85,108],"that":[35,87],"retained":[38],"in":[39,60],"resulting":[41],"logic.":[42],"The":[43],"class":[44,62],"equivalence":[48,78],"closed":[53],"under":[54],"and":[56,79,111],"included":[59],"congruence.":[66],"Thus,":[67],"semantics.":[81,101],"An":[82],"example":[83],"showing":[86],"not":[90],"always":[91],"ligics":[95],"standard":[98],"(non":[99],"general)":[100],"categorial":[103],"characterization":[104],"using":[109],"coproducts":[110],"cocartesian":[112],"liftings.":[113]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":2},{"year":2017,"cited_by_count":3},{"year":2016,"cited_by_count":3},{"year":2015,"cited_by_count":4},{"year":2014,"cited_by_count":2},{"year":2013,"cited_by_count":2},{"year":2012,"cited_by_count":1}],"updated_date":"2026-07-28T07:46:37.118299","created_date":"2025-10-10T00:00:00"}