{"id":"https://openalex.org/W2070893208","doi":"https://doi.org/10.1007/s11225-012-9451-6","title":"On some Classes of Heyting Algebras with Successor that have the Amalgamation Property","display_name":"On some Classes of Heyting Algebras with Successor that have the Amalgamation Property","publication_year":2012,"publication_date":"2012-10-19","ids":{"openalex":"https://openalex.org/W2070893208","doi":"https://doi.org/10.1007/s11225-012-9451-6","mag":"2070893208"},"language":"en","primary_location":{"id":"doi:10.1007/s11225-012-9451-6","is_oa":false,"landing_page_url":"https://doi.org/10.1007/s11225-012-9451-6","pdf_url":null,"source":{"id":"https://openalex.org/S30880287","display_name":"Studia Logica","issn_l":"0039-3215","issn":["0039-3215","1572-8730"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Studia Logica","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"http://sedici.unlp.edu.ar/handle/10915/146211","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5085903531","display_name":"Jos\u00e9 Luis Castiglioni","orcid":"https://orcid.org/0000-0002-8334-1753"},"institutions":[{"id":"https://openalex.org/I874386039","display_name":"Universidad Nacional de La Plata","ror":"https://ror.org/01tjs6929","country_code":"AR","type":"education","lineage":["https://openalex.org/I874386039"]}],"countries":["AR"],"is_corresponding":true,"raw_author_name":"Jos\u00e9 L. Castiglioni","raw_affiliation_strings":["Departamento de Matem\u00e1tica, Facultad de Cs. Exactas, Universidad Nacional de La Plata, CC 172, La Plata, 1900, Argentina","Departamento de Matem\u00e1tica, Facultad de Cs. Exactas, Universidad Nacional de La Plata, La Plata, Argentina 1900#TAB#"],"affiliations":[{"raw_affiliation_string":"Departamento de Matem\u00e1tica, Facultad de Cs. Exactas, Universidad Nacional de La Plata, CC 172, La Plata, 1900, Argentina","institution_ids":["https://openalex.org/I874386039"]},{"raw_affiliation_string":"Departamento de Matem\u00e1tica, Facultad de Cs. Exactas, Universidad Nacional de La Plata, La Plata, Argentina 1900#TAB#","institution_ids":["https://openalex.org/I874386039"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5082353140","display_name":"Hern\u00e1n Javier San Mart\u00edn","orcid":"https://orcid.org/0000-0002-9187-0970"},"institutions":[{"id":"https://openalex.org/I874386039","display_name":"Universidad Nacional de La Plata","ror":"https://ror.org/01tjs6929","country_code":"AR","type":"education","lineage":["https://openalex.org/I874386039"]}],"countries":["AR"],"is_corresponding":false,"raw_author_name":"Hern\u00e1n J. San Mart\u00edn","raw_affiliation_strings":["Departamento de Matem\u00e1tica, Facultad de Cs. Exactas, Universidad Nacional de La Plata, CC 172, La Plata, 1900, Argentina","Departamento de Matem\u00e1tica, Facultad de Cs. Exactas, Universidad Nacional de La Plata, La Plata, Argentina 1900#TAB#"],"affiliations":[{"raw_affiliation_string":"Departamento de Matem\u00e1tica, Facultad de Cs. Exactas, Universidad Nacional de La Plata, CC 172, La Plata, 1900, Argentina","institution_ids":["https://openalex.org/I874386039"]},{"raw_affiliation_string":"Departamento de Matem\u00e1tica, Facultad de Cs. Exactas, Universidad Nacional de La Plata, La Plata, Argentina 1900#TAB#","institution_ids":["https://openalex.org/I874386039"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5085903531"],"corresponding_institution_ids":["https://openalex.org/I874386039"],"apc_list":{"value":2290,"currency":"EUR","value_usd":2890},"apc_paid":null,"fwci":0.3455,"has_fulltext":false,"cited_by_count":4,"citation_normalized_percentile":{"value":0.63237066,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":96},"biblio":{"volume":"100","issue":"6","first_page":"1255","last_page":"1269"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11727","display_name":"Advanced Algebra and Logic","score":0.9998000264167786,"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.9998000264167786,"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.9976000189781189,"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.9868999719619751,"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.7612950801849365},{"id":"https://openalex.org/keywords/heyting-algebra","display_name":"Heyting algebra","score":0.7350161075592041},{"id":"https://openalex.org/keywords/successor-cardinal","display_name":"Successor cardinal","score":0.7256098985671997},{"id":"https://openalex.org/keywords/variety","display_name":"Variety (cybernetics)","score":0.6066784858703613},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.5036422610282898},{"id":"https://openalex.org/keywords/interior-algebra","display_name":"Interior algebra","score":0.47020775079727173},{"id":"https://openalex.org/keywords/completeness","display_name":"Completeness (order theory)","score":0.4617467224597931},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.40094542503356934},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.32807159423828125},{"id":"https://openalex.org/keywords/division-algebra","display_name":"Division algebra","score":0.1639501452445984},{"id":"https://openalex.org/keywords/algebra-representation","display_name":"Algebra representation","score":0.13043949007987976}],"concepts":[{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.7612950801849365},{"id":"https://openalex.org/C187062830","wikidata":"https://www.wikidata.org/wiki/Q1617044","display_name":"Heyting algebra","level":3,"score":0.7350161075592041},{"id":"https://openalex.org/C75306776","wikidata":"https://www.wikidata.org/wiki/Q7632662","display_name":"Successor cardinal","level":2,"score":0.7256098985671997},{"id":"https://openalex.org/C136197465","wikidata":"https://www.wikidata.org/wiki/Q1729295","display_name":"Variety (cybernetics)","level":2,"score":0.6066784858703613},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.5036422610282898},{"id":"https://openalex.org/C203254541","wikidata":"https://www.wikidata.org/wiki/Q10894825","display_name":"Interior algebra","level":5,"score":0.47020775079727173},{"id":"https://openalex.org/C17231256","wikidata":"https://www.wikidata.org/wiki/Q5156540","display_name":"Completeness (order theory)","level":2,"score":0.4617467224597931},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.40094542503356934},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.32807159423828125},{"id":"https://openalex.org/C138354692","wikidata":"https://www.wikidata.org/wiki/Q1231309","display_name":"Division algebra","level":4,"score":0.1639501452445984},{"id":"https://openalex.org/C14394260","wikidata":"https://www.wikidata.org/wiki/Q4723980","display_name":"Algebra representation","level":3,"score":0.13043949007987976},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.0},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1007/s11225-012-9451-6","is_oa":false,"landing_page_url":"https://doi.org/10.1007/s11225-012-9451-6","pdf_url":null,"source":{"id":"https://openalex.org/S30880287","display_name":"Studia Logica","issn_l":"0039-3215","issn":["0039-3215","1572-8730"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Studia Logica","raw_type":"journal-article"},{"id":"pmh:oai:sedici.unlp.edu.ar:10915/146211","is_oa":true,"landing_page_url":"http://sedici.unlp.edu.ar/handle/10915/146211","pdf_url":null,"source":{"id":"https://openalex.org/S4306400803","display_name":"El Servicio de Difusi\u00f3n de la Creaci\u00f3n Intelectual (National University of La Plata)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I874386039","host_organization_name":"Universidad Nacional de La Plata","host_organization_lineage":["https://openalex.org/I874386039"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-nc-sa","license_id":"https://openalex.org/licenses/cc-by-nc-sa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"reponame:SEDICI (UNLP)","raw_type":"info:eu-repo/semantics/article"},{"id":"pmh:oai:ri.conicet.gov.ar:11336/95178","is_oa":true,"landing_page_url":"http://hdl.handle.net/11336/95178","pdf_url":null,"source":{"id":"https://openalex.org/S4306401400","display_name":"Conicet","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I4210104196","host_organization_name":"Centro Cient\u00edfico Tecnol\u00f3gico - Nordeste","host_organization_lineage":["https://openalex.org/I4210104196"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-nc-sa","license_id":"https://openalex.org/licenses/cc-by-nc-sa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"info:eu-repo/semantics/article"}],"best_oa_location":{"id":"pmh:oai:sedici.unlp.edu.ar:10915/146211","is_oa":true,"landing_page_url":"http://sedici.unlp.edu.ar/handle/10915/146211","pdf_url":null,"source":{"id":"https://openalex.org/S4306400803","display_name":"El Servicio de Difusi\u00f3n de la Creaci\u00f3n Intelectual (National University of La Plata)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I874386039","host_organization_name":"Universidad Nacional de La Plata","host_organization_lineage":["https://openalex.org/I874386039"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-nc-sa","license_id":"https://openalex.org/licenses/cc-by-nc-sa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"reponame:SEDICI (UNLP)","raw_type":"info:eu-repo/semantics/article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":13,"referenced_works":["https://openalex.org/W112963507","https://openalex.org/W1488578548","https://openalex.org/W1564327923","https://openalex.org/W1973539826","https://openalex.org/W1994951938","https://openalex.org/W2011700761","https://openalex.org/W2039807511","https://openalex.org/W2053722013","https://openalex.org/W2088685215","https://openalex.org/W2140223009","https://openalex.org/W2157374667","https://openalex.org/W2585440023","https://openalex.org/W2598159508"],"related_works":["https://openalex.org/W4220804952","https://openalex.org/W2581929395","https://openalex.org/W4385493048","https://openalex.org/W1976154566","https://openalex.org/W1994149745","https://openalex.org/W4313479059","https://openalex.org/W24156492","https://openalex.org/W161795538","https://openalex.org/W2109494992","https://openalex.org/W2099405882"],"abstract_inverted_index":null,"counts_by_year":[{"year":2019,"cited_by_count":2},{"year":2015,"cited_by_count":1}],"updated_date":"2026-04-05T17:49:38.594831","created_date":"2025-10-10T00:00:00"}