{"id":"https://openalex.org/W2401293881","doi":"https://doi.org/10.1093/jigpal/jzw009","title":"L\u00f6wenheim\u2013Skolem theorems for non-classical first-order algebraizable logics: Table 1.","display_name":"L\u00f6wenheim\u2013Skolem theorems for non-classical first-order algebraizable logics: Table 1.","publication_year":2016,"publication_date":"2016-05-10","ids":{"openalex":"https://openalex.org/W2401293881","doi":"https://doi.org/10.1093/jigpal/jzw009","mag":"2401293881"},"language":"en","primary_location":{"id":"doi:10.1093/jigpal/jzw009","is_oa":false,"landing_page_url":"https://doi.org/10.1093/jigpal/jzw009","pdf_url":null,"source":{"id":"https://openalex.org/S2734381524","display_name":"Logic Journal of IGPL","issn_l":"1367-0751","issn":["1367-0751","1368-9894"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311648","host_organization_name":"Oxford University Press","host_organization_lineage":["https://openalex.org/P4310311648","https://openalex.org/P4310311647"],"host_organization_lineage_names":["Oxford University Press","University of Oxford"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Logic Journal of IGPL","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"http://library.utia.cas.cz/separaty/2016/MTR/noguera-0469168.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5000023318","display_name":"Pilar Dellunde","orcid":"https://orcid.org/0000-0002-8198-5475"},"institutions":[{"id":"https://openalex.org/I123044942","display_name":"Universitat Aut\u00f2noma de Barcelona","ror":"https://ror.org/052g8jq94","country_code":"ES","type":"education","lineage":["https://openalex.org/I123044942"]},{"id":"https://openalex.org/I4210091183","display_name":"Barcelona Graduate School of Mathematics","ror":"https://ror.org/00d5dd272","country_code":"ES","type":"education","lineage":["https://openalex.org/I4210091183"]},{"id":"https://openalex.org/I4210131846","display_name":"Artificial Intelligence Research Institute","ror":"https://ror.org/03c0ach84","country_code":"ES","type":"facility","lineage":["https://openalex.org/I134820265","https://openalex.org/I4210131846"]}],"countries":["ES"],"is_corresponding":true,"raw_author_name":"Pilar Dellunde","raw_affiliation_strings":["Department of Philosophy, Universit\u00e4t Autonoma de Barcelona, Campus UAB, 08193 Bellaterra, Catalonia, Spain; Artificial Intelligence Research Institute (IIIA), Barcelona Graduate School of Mathematics Campus UAB, 08193 Bellaterra, Catalonia, Spain","Artificial Intelligence Research Institute (IIIA), Barcelona Graduate School of Mathematics Campus UAB, 08193 Bellaterra, Catalonia, Spain","Department of Philosophy, Universit\u00e4t Autonoma de Barcelona, Campus UAB, 08193 Bellaterra, Catalonia, Spain"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Philosophy, Universit\u00e4t Autonoma de Barcelona, Campus UAB, 08193 Bellaterra, Catalonia, Spain; Artificial Intelligence Research Institute (IIIA), Barcelona Graduate School of Mathematics Campus UAB, 08193 Bellaterra, Catalonia, Spain","institution_ids":["https://openalex.org/I123044942","https://openalex.org/I4210131846"]},{"raw_affiliation_string":"Artificial Intelligence Research Institute (IIIA), Barcelona Graduate School of Mathematics Campus UAB, 08193 Bellaterra, Catalonia, Spain","institution_ids":["https://openalex.org/I4210091183","https://openalex.org/I4210131846"]},{"raw_affiliation_string":"Department of Philosophy, Universit\u00e4t Autonoma de Barcelona, Campus UAB, 08193 Bellaterra, Catalonia, Spain","institution_ids":["https://openalex.org/I123044942"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5030110698","display_name":"\u00c0ngel Garc\u00eda-Cerda\u00f1a","orcid":"https://orcid.org/0000-0001-6847-6257"},"institutions":[{"id":"https://openalex.org/I134820265","display_name":"Consejo Superior de Investigaciones Cient\u00edficas","ror":"https://ror.org/02gfc7t72","country_code":"ES","type":"government","lineage":["https://openalex.org/I134820265"]},{"id":"https://openalex.org/I170486558","display_name":"Universitat Pompeu Fabra","ror":"https://ror.org/04n0g0b29","country_code":"ES","type":"education","lineage":["https://openalex.org/I170486558"]},{"id":"https://openalex.org/I4210131846","display_name":"Artificial Intelligence Research Institute","ror":"https://ror.org/03c0ach84","country_code":"ES","type":"facility","lineage":["https://openalex.org/I134820265","https://openalex.org/I4210131846"]}],"countries":["ES"],"is_corresponding":false,"raw_author_name":"\u00c0ngel Garc\u00eda-Cerda\u00f1a","raw_affiliation_strings":["Artificial Intelligence Research Institute (IIIA), Spanish National Research Council (CSIC), Campus UAB, 08193 Bellaterra, Catalonia, Spain; Department of Information and Communication Technologies, University Pompeu Fabra, Tanger 122-140, 08018 Barcelona, Catalonia, Spain","Artificial Intelligence Research Institute (IIIA), Spanish National Research Council (CSIC), Campus UAB, 08193 Bellaterra, Catalonia, Spain","Department of Information and Communication Technologies, University Pompeu Fabra, Tanger 122-140, 08018 Barcelona, Catalonia, Spain"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Artificial Intelligence Research Institute (IIIA), Spanish National Research Council (CSIC), Campus UAB, 08193 Bellaterra, Catalonia, Spain; Department of Information and Communication Technologies, University Pompeu Fabra, Tanger 122-140, 08018 Barcelona, Catalonia, Spain","institution_ids":["https://openalex.org/I4210131846"]},{"raw_affiliation_string":"Artificial Intelligence Research Institute (IIIA), Spanish National Research Council (CSIC), Campus UAB, 08193 Bellaterra, Catalonia, Spain","institution_ids":["https://openalex.org/I134820265","https://openalex.org/I4210131846"]},{"raw_affiliation_string":"Department of Information and Communication Technologies, University Pompeu Fabra, Tanger 122-140, 08018 Barcelona, Catalonia, Spain","institution_ids":["https://openalex.org/I170486558"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5038642668","display_name":"Carles Noguera","orcid":"https://orcid.org/0000-0003-4910-599X"},"institutions":[{"id":"https://openalex.org/I4210119419","display_name":"Czech Academy of Sciences, Institute of Information Theory and Automation","ror":"https://ror.org/03h1hsz49","country_code":"CZ","type":"facility","lineage":["https://openalex.org/I202391551","https://openalex.org/I4210119419"]}],"countries":["CZ"],"is_corresponding":false,"raw_author_name":"Carles Noguera","raw_affiliation_strings":["Institute of Information Theory and Automation, Czech Academy of Sciences, Pod vodarenskou vezi 4, 182 00 Prague, Czech Republic"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Institute of Information Theory and Automation, Czech Academy of Sciences, Pod vodarenskou vezi 4, 182 00 Prague, Czech Republic","institution_ids":["https://openalex.org/I4210119419"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":6,"corresponding_author_ids":["https://openalex.org/A5000023318"],"corresponding_institution_ids":["https://openalex.org/I123044942","https://openalex.org/I4210091183","https://openalex.org/I4210131846"],"apc_list":{"value":4151,"currency":"USD","value_usd":4151},"apc_paid":null,"fwci":3.5897,"has_fulltext":true,"cited_by_count":19,"citation_normalized_percentile":{"value":0.93184515,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":98},"biblio":{"volume":"24","issue":"3","first_page":"321","last_page":"345"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11727","display_name":"Advanced Algebra and Logic","score":0.9997000098228455,"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.9997000098228455,"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/T11567","display_name":"semigroups and automata theory","score":0.992900013923645,"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.9921000003814697,"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/homomorphism","display_name":"Homomorphism","score":0.7973188161849976},{"id":"https://openalex.org/keywords/mathematical-proof","display_name":"Mathematical proof","score":0.6133265495300293},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.6098967790603638},{"id":"https://openalex.org/keywords/predicate","display_name":"Predicate (mathematical logic)","score":0.5768753290176392},{"id":"https://openalex.org/keywords/equivalence","display_name":"Equivalence (formal languages)","score":0.5184304714202881},{"id":"https://openalex.org/keywords/first-order-logic","display_name":"First-order logic","score":0.5081586837768555},{"id":"https://openalex.org/keywords/first-order","display_name":"First order","score":0.47693175077438354},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.4270167946815491},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.42070603370666504},{"id":"https://openalex.org/keywords/order","display_name":"Order (exchange)","score":0.4205370843410492},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.42004984617233276},{"id":"https://openalex.org/keywords/calculus","display_name":"Calculus (dental)","score":0.3320941925048828},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.2630937695503235},{"id":"https://openalex.org/keywords/applied-mathematics","display_name":"Applied mathematics","score":0.14088457822799683},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.054009824991226196}],"concepts":[{"id":"https://openalex.org/C4042151","wikidata":"https://www.wikidata.org/wiki/Q215111","display_name":"Homomorphism","level":2,"score":0.7973188161849976},{"id":"https://openalex.org/C108710211","wikidata":"https://www.wikidata.org/wiki/Q11538","display_name":"Mathematical proof","level":2,"score":0.6133265495300293},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.6098967790603638},{"id":"https://openalex.org/C140146324","wikidata":"https://www.wikidata.org/wiki/Q1144319","display_name":"Predicate (mathematical logic)","level":2,"score":0.5768753290176392},{"id":"https://openalex.org/C2780069185","wikidata":"https://www.wikidata.org/wiki/Q7977945","display_name":"Equivalence (formal languages)","level":2,"score":0.5184304714202881},{"id":"https://openalex.org/C100481476","wikidata":"https://www.wikidata.org/wiki/Q4055684","display_name":"First-order logic","level":2,"score":0.5081586837768555},{"id":"https://openalex.org/C2987642246","wikidata":"https://www.wikidata.org/wiki/Q5452196","display_name":"First order","level":2,"score":0.47693175077438354},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.4270167946815491},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.42070603370666504},{"id":"https://openalex.org/C182306322","wikidata":"https://www.wikidata.org/wiki/Q1779371","display_name":"Order (exchange)","level":2,"score":0.4205370843410492},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.42004984617233276},{"id":"https://openalex.org/C2777686260","wikidata":"https://www.wikidata.org/wiki/Q144037","display_name":"Calculus (dental)","level":2,"score":0.3320941925048828},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.2630937695503235},{"id":"https://openalex.org/C28826006","wikidata":"https://www.wikidata.org/wiki/Q33521","display_name":"Applied mathematics","level":1,"score":0.14088457822799683},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.054009824991226196},{"id":"https://openalex.org/C199343813","wikidata":"https://www.wikidata.org/wiki/Q12128","display_name":"Dentistry","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/C10138342","wikidata":"https://www.wikidata.org/wiki/Q43015","display_name":"Finance","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/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0}],"mesh":[],"locations_count":6,"locations":[{"id":"doi:10.1093/jigpal/jzw009","is_oa":false,"landing_page_url":"https://doi.org/10.1093/jigpal/jzw009","pdf_url":null,"source":{"id":"https://openalex.org/S2734381524","display_name":"Logic Journal of IGPL","issn_l":"1367-0751","issn":["1367-0751","1368-9894"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311648","host_organization_name":"Oxford University Press","host_organization_lineage":["https://openalex.org/P4310311648","https://openalex.org/P4310311647"],"host_organization_lineage_names":["Oxford University Press","University of Oxford"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Logic Journal of IGPL","raw_type":"journal-article"},{"id":"pmh:oai:asep.lib.cas.cz:CavUnEpca/0469168","is_oa":true,"landing_page_url":"http://hdl.handle.net/11104/0269405","pdf_url":"http://library.utia.cas.cz/separaty/2016/MTR/noguera-0469168.pdf","source":{"id":"https://openalex.org/S7407055266","display_name":"ASEP","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"public-domain","license_id":"https://openalex.org/licenses/public-domain","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"info:eu-repo/semantics/article"},{"id":"pmh:oai:digital.csic.es:10261/139430","is_oa":true,"landing_page_url":"http://hdl.handle.net/10261/139430","pdf_url":"http://hdl.handle.net/10261/139430","source":{"id":"https://openalex.org/S4306400616","display_name":"DIGITAL.CSIC (Spanish National Research Council (CSIC))","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I134820265","host_organization_name":"Consejo Superior de Investigaciones Cient\u00edficas","host_organization_lineage":["https://openalex.org/I134820265"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Art\u00edculo"},{"id":"pmh:oai:ddd.uab.cat:154680","is_oa":true,"landing_page_url":"https://ddd.uab.cat/record/154680","pdf_url":null,"source":{"id":"https://openalex.org/S4306400380","display_name":"Dip\u00f2sit Digital de Documents de la UAB (Universitat Aut\u00f2noma de Barcelona)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I123044942","host_organization_name":"Universitat Aut\u00f2noma de Barcelona","host_organization_lineage":["https://openalex.org/I123044942"],"host_organization_lineage_names":[],"type":"repository"},"license":"public-domain","license_id":"https://openalex.org/licenses/public-domain","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Article"},{"id":"pmh:oai:open-archive.highwire.org:igpl:24/3/321","is_oa":false,"landing_page_url":"http://jigpal.oxfordjournals.org/cgi/content/short/24/3/321","pdf_url":null,"source":{"id":"https://openalex.org/S4406923041","display_name":"HighWire Press Open Archive","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"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:usiena-air.unisi.it:11365/1200703","is_oa":true,"landing_page_url":"https://academic.oup.com/jigpal/article/24/3/321/2893146","pdf_url":null,"source":{"id":"https://openalex.org/S4377196319","display_name":"Use Siena air (University of Siena)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I102064193","host_organization_name":"University of Siena","host_organization_lineage":["https://openalex.org/I102064193"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"info:eu-repo/semantics/article"}],"best_oa_location":{"id":"pmh:oai:asep.lib.cas.cz:CavUnEpca/0469168","is_oa":true,"landing_page_url":"http://hdl.handle.net/11104/0269405","pdf_url":"http://library.utia.cas.cz/separaty/2016/MTR/noguera-0469168.pdf","source":{"id":"https://openalex.org/S7407055266","display_name":"ASEP","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"public-domain","license_id":"https://openalex.org/licenses/public-domain","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"info:eu-repo/semantics/article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2401293881.pdf","grobid_xml":"https://content.openalex.org/works/W2401293881.grobid-xml"},"referenced_works_count":33,"referenced_works":["https://openalex.org/W1026721552","https://openalex.org/W1480405493","https://openalex.org/W1519478560","https://openalex.org/W1528689085","https://openalex.org/W1768521931","https://openalex.org/W1988150580","https://openalex.org/W1988776462","https://openalex.org/W1992818631","https://openalex.org/W1993301779","https://openalex.org/W1997196510","https://openalex.org/W2033088754","https://openalex.org/W2065260235","https://openalex.org/W2091957209","https://openalex.org/W2094497404","https://openalex.org/W2097386663","https://openalex.org/W2110182592","https://openalex.org/W2119353490","https://openalex.org/W2122808108","https://openalex.org/W2143075874","https://openalex.org/W2154274300","https://openalex.org/W2168995070","https://openalex.org/W2285371954","https://openalex.org/W2506954980","https://openalex.org/W2601523163","https://openalex.org/W2799061192","https://openalex.org/W2912565176","https://openalex.org/W4211007335","https://openalex.org/W4211036707","https://openalex.org/W4231792667","https://openalex.org/W4243173857","https://openalex.org/W4252113473","https://openalex.org/W6648411679","https://openalex.org/W6735779031"],"related_works":["https://openalex.org/W9401168","https://openalex.org/W2344806731","https://openalex.org/W1569934489","https://openalex.org/W4231685078","https://openalex.org/W1569638283","https://openalex.org/W2027669012","https://openalex.org/W1509357264","https://openalex.org/W2025497968","https://openalex.org/W1548774506","https://openalex.org/W2952558131"],"abstract_inverted_index":{"This":[0],"article":[1],"is":[2],"a":[3,15],"contribution":[4],"to":[5],"the":[6],"model":[7],"theory":[8],"of":[9,18,29,37],"non-classical":[10,55],"first-order":[11,19],"predicate":[12],"logics.":[13],"In":[14],"wide":[16],"framework":[17],"systems":[20],"based":[21],"on":[22],"algebraizable":[23],"logics,":[24,56],"we":[25,46],"study":[26],"several":[27],"notions":[28],"homomorphisms":[30],"between":[31],"models":[32,64],"and":[33,42,49,60],"find":[34],"suitable":[35],"definitions":[36],"elementary":[38,40,43],"homomorphism,":[39],"substructure":[41],"equivalence.":[44],"Then":[45],"obtain":[47],"(downward":[48],"upward)":[50],"Lowenheim-Skolem":[51],"theorems":[52],"for":[53],"these":[54],"by":[57,61],"direct":[58],"proofs":[59],"describing":[62],"their":[63],"as":[65],"classical":[66],"two-sorted":[67],"models.":[68]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":1},{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":4},{"year":2019,"cited_by_count":3},{"year":2018,"cited_by_count":5},{"year":2017,"cited_by_count":1},{"year":2016,"cited_by_count":2}],"updated_date":"2026-08-01T09:00:35.917206","created_date":"2016-06-24T00:00:00"}