Some Philosophical Aspects of Abstract Model Theory

1817 LIBRARIES a₁ abstract model theory arguments atomic sentence axiomatic set theory Barwise logic Barwise's Beth property cardinal CHIGAN MICHIGAN class of L-structures completeness concept of logic corresponding defined definition discussed EL(q elementary logic elements equivalent example express extended Lindström logic fact formula Gothenburg holds identity inclusion morphism individual constants isomorphism Kripke semantics L-class L-sentence lemma logic satisfies logical consequence logical constant logical truth Löwenheim-Skolem properties m-logic m-UN MICHI n-ary predicate symbol non-logical constants occurring non-logical symbols notion of logic number of places one-one morphism philosophical predicate logic proof procedure property of logics proposition quantifier of type quantifier symbols questions reasonable relation occurs relativization replacing representation theorem second-order logic second-order relations semantic sequence logic set of sentences set theory stants structures Subst substitution Suppose syntactic tion truth functional truth relation truth value UNIVERSIT UNIVERSITY VERSITY variables vocabulary