id	author	title	date	pages	extension	mime	words	sentence	flesch	summary	cache	txt
3t945q50t96	Nicolas Chavarria	Some Results in Continuous Logic	2023		.txt	text/plain	177	8	50	Finally, we consider a double extension of the classical result of positive primitive elimination in modules, first to abelian groups with length functions, and then to abelian groups with length functions and homomorphisms to compact groups. This is described in the context of the dualities that underpin the logic and it is obtained through the use of maps to compact metrizable structures.	cache/3t945q50t96.txt	txt/3t945q50t96.txt