{"id":"https://openalex.org/W4415513998","doi":"https://doi.org/10.33048/semi.2025.22.020","title":"Type-preserving formulas in weakly o-minimal theories","display_name":"Type-preserving formulas in weakly o-minimal theories","publication_year":2025,"publication_date":"2025-08-30","ids":{"openalex":"https://openalex.org/W4415513998","doi":"https://doi.org/10.33048/semi.2025.22.020"},"language":"ru","primary_location":{"id":"doi:10.33048/semi.2025.22.020","doi":"https://doi.org/10.33048/semi.2025.22.020","is_oa":true,"landing_page_url":"https://doi.org/10.33048/semi.2025.22.020","pdf_url":"https://math-semr.ru/sites/math-semr.ru/files/2025-04/p0294-0306.pdf","source":{"id":"https://openalex.org/S4210192361","display_name":"Sibirskie Elektronnye Matematicheskie Izvestiya","issn_l":"1813-3304","issn":["1813-3304"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":["dongbi-d","norway-1","poland-40","russia-white-list-2"],"host_organization":"https://openalex.org/I4210096862","host_organization_name":"Sobolev Institute of Mathematics","host_organization_lineage":["https://openalex.org/I4210096862"],"host_organization_lineage_names":[],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Sibirskie Elektronnye Matematicheskie Izvestiya","raw_type":"journal-article"},"volume":null,"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://math-semr.ru/sites/math-semr.ru/files/2025-04/p0294-0306.pdf","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5113844515","display_name":"B. Sh. Kulpeshov","orcid":"https://orcid.org/0000-0002-4242-0463","observed_orcids":["https://orcid.org/0000-0002-4242-0463"]},"institutions":[{"id":"https://openalex.org/I171571821","display_name":"Kazakh-British Technical University","ror":"https://ror.org/01rn0fp76","country_code":"KZ","type":"education","lineage":["https://openalex.org/I171571821"]},{"id":"https://openalex.org/I4210151480","display_name":"Institute of Mathematics and Mathematical Modeling","ror":"https://ror.org/05xx3wf87","country_code":"KZ","type":"government","lineage":["https://openalex.org/I4210151480"]}],"countries":["KZ"],"is_corresponding":true,"raw_author_name":"B. Sh. Kulpeshov","raw_affiliation_strings":["Institute of Mathematics and Mathematical Modeling; Kazakh British Technical University"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Institute of Mathematics and Mathematical Modeling; Kazakh British Technical University","institution_ids":["https://openalex.org/I171571821","https://openalex.org/I4210151480"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5113844515"],"corresponding_institution_ids":["https://openalex.org/I171571821","https://openalex.org/I4210151480"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":{"value":0.3646419,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"22","issue":"1","first_page":"294","last_page":"306"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11151","display_name":"Advanced Topology and Set Theory","score":0.9984999895095825,"subfield":{"id":"https://openalex.org/subfields/2608","display_name":"Geometry and Topology"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11151","display_name":"Advanced Topology and Set Theory","score":0.9984999895095825,"subfield":{"id":"https://openalex.org/subfields/2608","display_name":"Geometry and Topology"},"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/T11703","display_name":"Rings, Modules, and Algebras","score":0.0003000000142492354,"subfield":{"id":"https://openalex.org/subfields/2602","display_name":"Algebra and Number Theory"},"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/T13400","display_name":"Mathematical and Theoretical Analysis","score":9.999999747378752e-05,"subfield":{"id":"https://openalex.org/subfields/2610","display_name":"Mathematical Physics"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/model-theory-of-ordered-structures","display_name":"model theory of ordered structures","score":0.6449999809265137}],"concepts":[{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.4442000091075897},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.28380000591278076},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.2606000006198883},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.25679999589920044},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.25450000166893005},{"id":"https://openalex.org/C2777686260","wikidata":"https://www.wikidata.org/wiki/Q144037","display_name":"Calculus (dental)","level":2,"score":0.25029999017715454},{"id":"https://openalex.org/C9652623","wikidata":"https://www.wikidata.org/wiki/Q190109","display_name":"Field (mathematics)","level":2,"score":0.2443999946117401},{"id":"https://openalex.org/C91229774","wikidata":"https://www.wikidata.org/wiki/Q193885","display_name":"Infinitesimal","level":2,"score":0.2418999969959259},{"id":"https://openalex.org/C61797465","wikidata":"https://www.wikidata.org/wiki/Q1188986","display_name":"Term (time)","level":2,"score":0.23960000276565552},{"id":"https://openalex.org/C2777212361","wikidata":"https://www.wikidata.org/wiki/Q5127848","display_name":"Class (philosophy)","level":2,"score":0.23720000684261322}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.33048/semi.2025.22.020","doi":"https://doi.org/10.33048/semi.2025.22.020","is_oa":true,"landing_page_url":"https://doi.org/10.33048/semi.2025.22.020","pdf_url":"https://math-semr.ru/sites/math-semr.ru/files/2025-04/p0294-0306.pdf","source":{"id":"https://openalex.org/S4210192361","display_name":"Sibirskie Elektronnye Matematicheskie Izvestiya","issn_l":"1813-3304","issn":["1813-3304"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":["dongbi-d","norway-1","poland-40","russia-white-list-2"],"host_organization":"https://openalex.org/I4210096862","host_organization_name":"Sobolev Institute of Mathematics","host_organization_lineage":["https://openalex.org/I4210096862"],"host_organization_lineage_names":[],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Sibirskie Elektronnye Matematicheskie Izvestiya","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.33048/semi.2025.22.020","doi":"https://doi.org/10.33048/semi.2025.22.020","is_oa":true,"landing_page_url":"https://doi.org/10.33048/semi.2025.22.020","pdf_url":"https://math-semr.ru/sites/math-semr.ru/files/2025-04/p0294-0306.pdf","source":{"id":"https://openalex.org/S4210192361","display_name":"Sibirskie Elektronnye Matematicheskie Izvestiya","issn_l":"1813-3304","issn":["1813-3304"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":["dongbi-d","norway-1","poland-40","russia-white-list-2"],"host_organization":"https://openalex.org/I4210096862","host_organization_name":"Sobolev Institute of Mathematics","host_organization_lineage":["https://openalex.org/I4210096862"],"host_organization_lineage_names":[],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Sibirskie Elektronnye Matematicheskie Izvestiya","raw_type":"journal-article"},"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4415513998.pdf","grobid_xml":"https://content.openalex.org/works/W4415513998.grobid-xml"},"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W2135487436","https://openalex.org/W4284710929","https://openalex.org/W4235297776","https://openalex.org/W6903615020","https://openalex.org/W2801511658","https://openalex.org/W4413134270","https://openalex.org/W4410030773","https://openalex.org/W3200523577","https://openalex.org/W2763882608","https://openalex.org/W2517483354"],"abstract_inverted_index":{"In":[0],"the":[1,26,61],"present":[2],"paper":[3],"we":[4],"study":[5],"properties":[6],"of":[7,28,31],"p-preserving":[8,33,44],"convex-to-right":[9,34],"(left)":[10,35],"formulas":[11],"in":[12,25],"weakly":[13],"o-minimal":[14],"theories,":[15],"where":[16],"p":[17],"is":[18,22,38,49,58],"a":[19,32,43],"non-algebraic":[20],"1-type.It":[21],"proved":[23],"that":[24,37,48],"case":[27],"an":[29],"existence":[30],"formula":[36,47],"not":[39,51],"equivalence-generating,":[40],"there":[41],"exists":[42],"convex-toleft":[45],"(right)":[46],"also":[50],"equivalence-generating;":[52],"it":[53,57],"was":[54],"shown":[55],"how":[56],"built":[59],"from":[60],"original":[62],"formula.":[63]},"counts_by_year":[],"updated_date":"2026-10-07T09:51:55.459714","created_date":"2025-10-24T00:00:00"}