منابع مشابه
Lindenbaum Algebras and Partial Conservativity
A partial Lindenbaum algebra TA, where A is a theory extending Peano arithmetic and T G {LTn,£n}, is the full Lindenbaum algebra for A restricted to sentences in A provably equivalent to rn-sentences. Using a new result on pairs of partially conservative sentences, we show that Tl£ and E^ are not isomorphic.
متن کاملForcing with Propositional Lindenbaum Algebras
We prove equivalence between the forcing with propositional Lindenbaum algebras and the Cohen forcing with finite partial functions.
متن کاملOn the Structure of Lindenbaum Algebras: an Approach Using Algebraic Logic
The following problem of algebraic logic is investigated: to determine those Boolean algebras which admit the structure of a nondiscrete cylindric algebra. A partial solution is found, and is then used to give an algebraic characterization of the Lindenbaum algebras of formulas of several broad classes of countable theories.
متن کاملModel Companions of Theories with An Automorphism
For a theory T in L, T is the theory of the models of T with an automorphism. If T is an unstable model complete theory without the independence property, then T has no model companion. If T is an unstable model complete theory and T has the amalgamation property, then T has no model companion. If T is model complete and has the fcp, then T has no model completion.
متن کاملModel Companions of TAut for Stable T
Let T be a complete first order theory in a countable relational language L. We assume relation symbols have been added to make each formula equivalent to a predicate. Adjoin a new unary function symbol σ to obtain the language Lσ; TAut is obtained by adding axioms asserting that σ is an L-automorphism. The modern study of the model companion of theories with an automorphism has two aspects. On...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Fundamenta Mathematicae
سال: 1979
ISSN: 0016-2736,1730-6329
DOI: 10.4064/fm-104-3-213-219