The following pages link to On the metamathematics of algebra (Q2649408):
Displaying 26 items.
- The given (Q791521) (← links)
- Generalized galois theory and its application to complexity (Q1156188) (← links)
- Definability of classes of graphs in the first order predicate calculus with identity (Q1219882) (← links)
- Four studies in metamathematics (Q1220068) (← links)
- Abraham Robinson 1918-1974 (Q1231902) (← links)
- Model-companions and definability in existentially complete structures (Q1254309) (← links)
- Generic automorphisms of fields (Q1377642) (← links)
- Properties of existentially closed companions (Q1757651) (← links)
- Model completeness, uniform interpolants and superposition calculus. (With applications to verification of data-aware processes) (Q2051565) (← links)
- Rational identities and applications to algebra and geometry (Q2541376) (← links)
- A reduction-principle for infinite formulas (Q2625364) (← links)
- Countable infinite existentially closed models of universally axiomatizable theories (Q2959166) (← links)
- The compactness of first-order logic:from gödel to lindström (Q3141183) (← links)
- Two concepts from the theory of models (Q3233191) (← links)
- Properties preserved under algebraic constructions (Q3257768) (← links)
- Model Theory for the Higher Order Predicate Calculus (Q3260562) (← links)
- (Q3265664) (← links)
- On Unions of Chains of Models (Q3274968) (← links)
- Theory of models with generalized atomic formulas (Q3293397) (← links)
- Leon Henkin the Reviewer (Q3454809) (← links)
- Alfred Tarski's work in model theory (Q3755424) (← links)
- The Mathematical Development of Set Theory from Cantor to Cohen (Q4879892) (← links)
- SMT-based verification of data-aware processes: a model-theoretic approach (Q5139282) (← links)
- The Context of Inference (Q5208107) (← links)
- Elementary Classes Closed Under Descending Intersection (Q5528635) (← links)
- Defining algebraic elements (Q5675713) (← links)
