Solution of a problem of Tarski

DOI10.4064/fm-47-2-179-204zbMath0093.01305OpenAlexW1414078958MaRDI QIDQ5895878

Abraham Robinson

Publication date: 1959

Published in: Fundamenta Mathematicae (Search for Journal in Brave)

Full work available at URL: https://eudml.org/doc/213531

zbMATH Keywords

foundations, philosophy and logic of mathematics

Related Items (17)

Automated analysis of cryptographic assumptions in generic group models ⋮ Superrosiness and dense pairs of geometric structures ⋮ On lovely pairs of geometric structures ⋮ Dimensions, matroids, and dense pairs of first-order structures ⋮ A uniform method for proving lower bounds on the computational complexity of logical theories ⋮ Structures having o-minimal open core ⋮ Pairs of theories satisfying a Mordell–Lang condition ⋮ On coincidence of dimensions in closed ordered differential fields ⋮ $\mathbb \{Q\}$ muni de l’arithmétique faible de Penzin est décidable ⋮ Idéaux et types sur les corps séparablement clos ⋮ Open core and small groups in dense pairs of topological structures ⋮ Abraham Robinson, 1918-1974 ⋮ Elementary pairs of models ⋮ Model Complete Theories with a Distinguished Substructure ⋮ Small sets in dense pairs ⋮ CHARACTERIZING O-MINIMAL GROUPS IN TAME EXPANSIONS OF O-MINIMAL STRUCTURES ⋮ Topological fields with a generic derivation

This page was built for publication: Solution of a problem of Tarski