Pages that link to "Item:Q2626205"

The following pages link to Introduction to model theory and to the metamathematics of algebra (Q2626205):

Displaying 50 items.

• The quest for a characterization of hom-properties of finite character (Q274710) (← links)
• Dieter Klaua -- obituary (1930--2014) (Q277556) (← links)
• Nonstandard analysis: its creator and place (Q383351) (← links)
• Numbers and models, standard and nonstandard (Q601779) (← links)
• Syntactic characterizations of closure under pullbacks and of locally polypresentable categories (Q676312) (← links)
• Harmonious logic: Craig's interpolation theorem and its descendants (Q1024116) (← links)
• Applied model theory and metamathematics. An Abraham Robinson memorial problem list (Q1071758) (← links)
• Why Horn formulas matter in computer science: initial structures and generic examples (Q1089797) (← links)
• Real algebraic geometry and the 17th Hilbert problem (Q1135324) (← links)
• Rings of real-valued continuous functions. II (Q1138547) (← links)
• Interpolation properties of superintuitionistic logics (Q1140079) (← links)
• Towards a general theory of formally p-adic fields (Q1147758) (← links)
• On the relationship between algebra and analysis (Q1149950) (← links)
• Decidable theories of preordered fields (Q1155098) (← links)
• A remark on two-dimensional local rings with the property of approximation (Q1164101) (← links)
• On the realization of convex polytopes, Euler's formula and Möbius functions (Q1212691) (← links)
• Classes of models for selected axiomatic theories of choice (Q1213842) (← links)
• Every recursive enumerable extension of a theory of linear order has a constructive model (Q1214407) (← links)
• Rational choice and polynomial measurement models (Q1216263) (← links)
• Definability of classes of graphs in the first order predicate calculus with identity (Q1219882) (← links)
• Model-completeness and elimination of quantifiers for subdirect products of structures (Q1222162) (← links)
• Abraham Robinson 1918-1974 (Q1231902) (← links)
• Completeness theorems for continuous functions and product topologies (Q1232838) (← links)
• Finite equational bases for finite algebras in a congruence-distributive equational class (Q1237798) (← links)
• Borel preference orders in markets with a continuum of traders (Q1238744) (← links)
• Preservation theorems for limits of structures and global sections of sheaves of structures (Q1247423) (← links)
• Positive symmetric functions (Q1248644) (← links)
• Modellvollständigkeit der Mittelpunktsgeometrie und der Theorie der Vektorgruppen (Q1259584) (← links)
• Bernstein's inequality on algebraic curves (Q1337586) (← links)
• The model completion of the theory of commutative regular rings (Q1394225) (← links)
• Constrained extensions of differential fields (Q1394262) (← links)
• Some general techniques on linear preserver problems (Q1583717) (← links)
• Varieties of misrepresentation and homomorphism (Q1705304) (← links)
• Maximizing a lower bound on the computational complexity (Q1838037) (← links)
• Discrete circle actions: A note using non-standard analysis (Q1916891) (← links)
• Congruences and Hoehnke radicals on graphs (Q2194532) (← links)
• Fields with automorphism and valuation (Q2204379) (← links)
• The property of being a model complete theory is preserved by Cartesian extensions (Q2212696) (← links)
• Solvability of the theory of integers with addition, order, and multiplication by an arbitrary number (Q2264657) (← links)
• On the theory of quadratic forms over formally real fields (Q2264819) (← links)
• Quadratische Semi-Ordnungen und quadratische Formen (Q2265464) (← links)
• Amalgams of torsion-free nilpotent groups of class three (Q2266122) (← links)
• A.D. Taimanov and model theory in Kazakhstan (Q2306026) (← links)
• Uniform interpolation and compact congruences (Q2363208) (← links)
• Anneaux preordonnes (Q2395891) (← links)
• Spectrum of the field of computable real numbers (Q2401539) (← links)
• Set theory and the analyst (Q2419681) (← links)
• Axiomatizing geometric constructions (Q2480964) (← links)
• Su una classe equazionale di algebre (Q2527945) (← links)
• Dichte, Archimedizität und Starrheit angeordneter Körper (Q2536970) (← links)