The semantic isomorphism theorem in abstract algebraic logic
نویسندگان
چکیده
منابع مشابه
Abstract Algebraic Logic and the Deduction Theorem
ALGEBRAIC LOGIC AND THE DEDUCTION THEOREM W. J. BLOK AND D. PIGOZZI
متن کاملAlgebraic Groups up to Abstract Isomorphism
With any connected affine algebraic group G over an algebraically closed field K of characteristic zero, we associate another connected affine algebraic group D over K and a finite central subgroup F of D such that, up to isomorphism of algebraic groups, affine algebraic groups over K abstractly isomorphic to G are precisely of the form D/α(F )×Ks +, where α is an abstract automorphism of D and...
متن کاملCategorical Abstract Algebraic Logic: Equivalential
The theory of equivalential deductive systems, as introduced by Prucnal and Wroński and further developed by Czelakowski, is abstracted to cover the case of logical systems formalized as π-institutions. More precisely, the notion of an N-equivalence system for a given π-institution is introduced. A characterization theorem for N-equivalence systems, previously proven for N-parameterized equival...
متن کاملWhat is Abstract Algebraic Logic?
Our aim is to answer the question of the title, explaining which kind of problems form the nucleus of the branch of algebraic logic that has come to be known as Abstract Algebraic Logic. We give a concise account of the birth and evolution of the field, that led from the discovery of the connections between certain logical systems and certain algebraic structures to a general theory of algebrai...
متن کاملAn Isomorphism Theorem for Henselian Algebraic Extensions of Valued Fields
In general, the value groups and the residue elds do not suuce to classify the algebraic henselian extensions of a valued eld K, up to isomorphism over K. We deene a stronger, yet natural structure which carries information about additive and multiplica-tive congruences in the valued eld, extending the information carried by value groups and residue elds. We discuss the cases where these \mixed...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Annals of Pure and Applied Logic
سال: 2016
ISSN: 0168-0072
DOI: 10.1016/j.apal.2016.08.001