{"id":"arxiv/2602.19056","url":"https://arxiv.org/abs/2602.19056","tags":["math.LO"],"score":0,"title":"Affine logic with the integration operator","domain":"math.LO","source":"arxiv","authors":["Seyed-Mohammad Bagheri"],"reviews":0,"subject":"math.LO","summary":"Affine continuous logic is extended to affine integration logic. Affine compactness theorem is proved by both the ultramean construction and Henkin's method. Also, a proof system and a completeness theorem are given. An appropriate variant of the Keisler-Shelah isomorphism theorem holds in this setting. This helps us to characterize non-forking extensions in affine stable theories by means of the notion of elementary embedding in the expanded logic.","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-02-22","reactions":{}}