Introduction to model theory and to the metamathematics of algebra
From MaRDI portal
Publication:2626205
zbMath0118.25302MaRDI QIDQ2626205
Publication date: 1963
Published in: Studies in Logic and the Foundations of Mathematics (Search for Journal in Brave)
Related Items
Model-theoretic aspects of unification, Polyhedral compactifications. I, A MODEL-THEORETIC CHARACTERIZATION OF MONADIC SECOND ORDER LOGIC ON INFINITE WORDS, The Manin-Mumford conjecture and the model theory of difference fields, Abstract representations of biological systems in supercategories, A notion of effectiveness in arbitrary structures, Decision procedures for real and p‐adic fields, The quest for a characterization of hom-properties of finite character, Uniform interpolation and compact congruences, Dieter Klaua -- obituary (1930--2014), Unnamed Item, The Interior Operator Logic and Product Topologies, ON SYMMETRIC CUTS OF A REAL-CLOSED FIELD, Bernstein's inequality on algebraic curves, Why Horn formulas matter in computer science: initial structures and generic examples, A survey of proof theory, Unnamed Item, Topological Examples of Projective Modules, FIELDS WITH SEVERAL COMMUTING DERIVATIONS, Zur Theorie Algorithmisch Abgeschlossener Modellklassen, Rings of Continuous Integer-Valued Functions and Nonstandard Arithmetic, Anneaux preordonnes, The decision problem for formulas in prenex conjunctive normal form with binary disjunctions, EXTENSIONAL PROCESSING OF PROBABILITY MEASURES, Spectrum of the field of computable real numbers, Discrete circle actions: A note using non-standard analysis, Numbers and models, standard and nonstandard, Nonstandard analysis: its creator and place, Real algebraic geometry and the 17th Hilbert problem, Solvability of theories of certain classes of elimination graphs, Persistent and invariant formulas relative to theories of higher order, The model completion of the theory of commutative regular rings, Constrained extensions of differential fields, Rings of real-valued continuous functions. II, Set theory and the analyst, Interpolation properties of superintuitionistic logics, On the Lattice of Recursively Enumerable Sets, An Almost Everywhere Direct Power, Congruences and Hoehnke radicals on graphs, Categorical approach to modelling and to coupling of models, Computable Algebraic Structures and Nonstandard Arithmetic, Towards a general theory of formally p-adic fields, On the relationship between algebra and analysis, Metalogic, Schopenhauer and Universal Logic, Decidable theories of preordered fields, Сompanions of (n1, n2)-Jonsson theory, Fields with automorphism and valuation, Unnamed Item, Varieties of misrepresentation and homomorphism, Resolutions of Singularities in Prime Characteristic for almost all Primes, Syntactic characterisations of amalgamation, convexity and related properties, Unnamed Item, The number of fragments of the perfect class of the Jonsson spectrum, The model-companion of a class of structures, The property of being a model complete theory is preserved by Cartesian extensions, A remark on two-dimensional local rings with the property of approximation, An Algebraic Proof of a Theorem of A. Robinson, SMT-based verification of data-aware processes: a model-theoretic approach, Differentiation and infinitesimal relatives in peirce’s 1870 paper on logic: A new interpretation, Completeness and categoricity: Frege, gödel and model theory, Syntactic characterizations of closure under pullbacks and of locally polypresentable categories, Relational theories with null values and non-herbrand stable models, Axiomatizing geometric constructions, On the realization of convex polytopes, Euler's formula and Möbius functions, Classes of models for selected axiomatic theories of choice, Every recursive enumerable extension of a theory of linear order has a constructive model, Variants of RADO'S Selection Lemma and their Applications, The Model Companion of the Theory of Commutative Rings Without Nilpotent Elements, Rational choice and polynomial measurement models, Solvability of the theory of integers with addition, order, and multiplication by an arbitrary number, On the theory of quadratic forms over formally real fields, Existentially closed structures, Quadratische Semi-Ordnungen und quadratische Formen, Amalgams of torsion-free nilpotent groups of class three, Definability of classes of graphs in the first order predicate calculus with identity, Model-completeness and elimination of quantifiers for subdirect products of structures, Abraham Robinson 1918-1974, Completeness theorems for continuous functions and product topologies, Finite equational bases for finite algebras in a congruence-distributive equational class, Borel preference orders in markets with a continuum of traders, Preservation theorems for limits of structures and global sections of sheaves of structures, Positive symmetric functions, Modellvollständigkeit der Mittelpunktsgeometrie und der Theorie der Vektorgruppen, On 3-Rewritable Groups, Su una classe equazionale di algebre, Cylindric Algebras of First-Order Languages, A.D. Taimanov and model theory in Kazakhstan, Dichte, Archimedizität und Starrheit angeordneter Körper, Harmonious logic: Craig's interpolation theorem and its descendants, Perturbations Near Zero of the Leading Coefficient of Solutions to a Nonlinear Differential Equation, Embedding problems for modules and rings with application to model- companions, Sheaves and Boolean valued model theory, Elementary properties of semigroups of transformations of ordered sets, A Nullstellensatz and a Positivstellensatz in semialgebraic geometry, Some examples of ultraproducts, Inductive theories and their forcing companions, Maximizing a lower bound on the computational complexity, Radicals and subdirect products in models, Some general techniques on linear preserver problems, Some Combinatorial Theorems Equivalent to the Prime Ideal Theorem, Physical Axiomatics, Applied model theory and metamathematics. An Abraham Robinson memorial problem list, On the transfer of an abstract nullstellensatz, European Meeting of the Association for Symbolic Logic, Bristol, England, 1973
