On the metamathematics of algebra
From MaRDI portal
Publication:2649408
zbMath0043.24702MaRDI QIDQ2649408
Publication date: 1951
Published in: Studies in Logic and the Foundations of Mathematics (Search for Journal in Brave)
Related Items
A reduction-principle for infinite formulas ⋮ Leon Henkin the Reviewer ⋮ Generic automorphisms of fields ⋮ Elementary Classes Closed Under Descending Intersection ⋮ Alfred Tarski's work in model theory ⋮ Two concepts from the theory of models ⋮ Countable infinite existentially closed models of universally axiomatizable theories ⋮ Model-theoretic aspects of unification ⋮ Generalized galois theory and its application to complexity ⋮ Properties preserved under algebraic constructions ⋮ Defining algebraic elements ⋮ The Mathematical Development of Set Theory from Cantor to Cohen ⋮ SMT-based verification of data-aware processes: a model-theoretic approach ⋮ Theory of models with generalized atomic formulas ⋮ Properties of existentially closed companions ⋮ Definability of classes of graphs in the first order predicate calculus with identity ⋮ Four studies in metamathematics ⋮ Abraham Robinson 1918-1974 ⋮ The Context of Inference ⋮ Model-companions and definability in existentially complete structures ⋮ Model completeness, uniform interpolants and superposition calculus. (With applications to verification of data-aware processes) ⋮ Rational identities and applications to algebra and geometry ⋮ Model Theory for the Higher Order Predicate Calculus ⋮ On Unions of Chains of Models ⋮ The given ⋮ The compactness of first-order logic:from gödel to lindström ⋮ Unnamed Item
This page was built for publication: On the metamathematics of algebra
