| Publication | Date of Publication | Type |
|---|
scientific article; zbMATH DE number 6449019 (Why is no real title available?)
| 2015-06-23 | Paper |
scientific article; zbMATH DE number 861256 (Why is no real title available?)
| 1996-03-28 | Paper |
Abraham Robinson's Notes
Annals of the Japan Association for Philosophy of Science | 1988-01-01 | Paper |
Introduction to model theory and to the metamathematics of algebra. 2nd ed. (2nd print.). (With a preface by H. Jerome Keisler)
Studies in Logic and the Foundations of Mathematics | 1986-01-01 | Paper |
scientific article; zbMATH DE number 3473961 (Why is no real title available?)
| 1975-01-01 | Paper |
Nonstandard Exchange Economies
Econometrica | 1975-01-01 | Paper |
On the finiteness theorem of Siegel and Mahler concerning diophantine equations
Journal of Number Theory | 1975-01-01 | Paper |
scientific article; zbMATH DE number 3497872 (Why is no real title available?)
| 1975-01-01 | Paper |
scientific article; zbMATH DE number 3487398 (Why is no real title available?)
| 1975-01-01 | Paper |
scientific article; zbMATH DE number 3494348 (Why is no real title available?)
| 1975-01-01 | Paper |
scientific article; zbMATH DE number 3435469 (Why is no real title available?)
| 1974-01-01 | Paper |
A note on topological model theory
Fundamenta Mathematicae | 1974-01-01 | Paper |
scientific article; zbMATH DE number 3508489 (Why is no real title available?)
| 1974-01-01 | Paper |
scientific article; zbMATH DE number 3420740 (Why is no real title available?)
| 1973-01-01 | Paper |
Metamathematical problems
Journal of Symbolic Logic | 1973-01-01 | Paper |
Function Theory on Some Nonarchimedean Fields
The American Mathematical Monthly | 1973-01-01 | Paper |
scientific article; zbMATH DE number 3463776 (Why is no real title available?)
| 1973-01-01 | Paper |
Nonstandard points on algebraic curves
Journal of Number Theory | 1973-01-01 | Paper |
Ordered differential fields
Journal of Combinatorial Theory. Series A | 1973-01-01 | Paper |
scientific article; zbMATH DE number 3467087 (Why is no real title available?)
| 1972-01-01 | Paper |
scientific article; zbMATH DE number 3390930 (Why is no real title available?)
| 1972-01-01 | Paper |
A Limit Theorem on the Cores of Large Standard Exchange Economies
Proceedings of the National Academy of Sciences | 1972-01-01 | Paper |
A limit theorem on the cores of large standard exchange economies
Proceedings of the National Academy of Sciences | 1972-01-01 | Paper |
Inductive theories and their forcing companions
Israel Journal of Mathematics | 1972-01-01 | Paper |
The nonstandard λ:φ24(x): model. I. The technique of nonstandard analysis in theoretical physics
Journal of Mathematical Physics | 1972-01-01 | Paper |
The nonstandard λ:φ24(x): model. II. The standard model from a nonstandard point of view
Journal of Mathematical Physics | 1972-01-01 | Paper |
scientific article; zbMATH DE number 3335896 (Why is no real title available?)
| 1971-01-01 | Paper |
scientific article; zbMATH DE number 3351552 (Why is no real title available?)
| 1971-01-01 | Paper |
On the notion of algebraic closedness for noncommutative groups and fields
Journal of Symbolic Logic | 1971-01-01 | Paper |
scientific article; zbMATH DE number 3360158 (Why is no real title available?)
| 1971-01-01 | Paper |
Elementary embeddings of fields of power series
Journal of Number Theory | 1970-01-01 | Paper |
Completing theories by forcing
Annals of Mathematical Logic | 1970-01-01 | Paper |
scientific article; zbMATH DE number 3290302 (Why is no real title available?)
| 1969-01-01 | Paper |
scientific article; zbMATH DE number 3335009 (Why is no real title available?)
| 1969-01-01 | Paper |
Compactification of groups and rings and nonstandard analysis
Journal of Symbolic Logic | 1969-01-01 | Paper |
From a formalist's point of view
Dialectica | 1969-01-01 | Paper |
scientific article; zbMATH DE number 3307529 (Why is no real title available?)
| 1969-01-01 | Paper |
scientific article; zbMATH DE number 3298825 (Why is no real title available?)
| 1969-01-01 | Paper |
On Flexural Wave Propagation in Non-Homogeneous Elastic Plates
SIAM Journal on Applied Mathematics | 1968-01-01 | Paper |
scientific article; zbMATH DE number 3248771 (Why is no real title available?)
| 1968-01-01 | Paper |
scientific article; zbMATH DE number 3246235 (Why is no real title available?)
| 1967-01-01 | Paper |
Nonstandard arithmetic
Bulletin of the American Mathematical Society | 1967-01-01 | Paper |
scientific article; zbMATH DE number 3302267 (Why is no real title available?)
| 1967-01-01 | Paper |
scientific article; zbMATH DE number 3237795 (Why is no real title available?)
| 1966-01-01 | Paper |
Non-standard analysis
Studies in Logic and the Foundations of Mathematics | 1966-01-01 | Paper |
Solution of an invariant subspace problem of K. T. Smith and P. R. Halmos
Pacific Journal of Mathematics | 1966-01-01 | Paper |
scientific article; zbMATH DE number 3252225 (Why is no real title available?)
| 1966-01-01 | Paper |
scientific article; zbMATH DE number 3266612 (Why is no real title available?)
| 1966-01-01 | Paper |
scientific article; zbMATH DE number 3275572 (Why is no real title available?)
| 1966-01-01 | Paper |
scientific article; zbMATH DE number 3251410 (Why is no real title available?)
| 1965-01-01 | Paper |
scientific article; zbMATH DE number 3209172 (Why is no real title available?)
| 1965-01-01 | Paper |
scientific article; zbMATH DE number 3316860 (Why is no real title available?)
| 1965-01-01 | Paper |
scientific article; zbMATH DE number 3239739 (Why is no real title available?)
| 1965-01-01 | Paper |
Random-Access Stored-Program Machines, an Approach to Programming Languages
Journal of the ACM | 1964-01-01 | Paper |
On generalized limits and linear functionals
Pacific Journal of Mathematics | 1964-01-01 | Paper |
Local Partial Differential Algebra
| 1963-01-01 | Paper |
Introduction to model theory and to the metamathematics of algebra
Studies in Logic and the Foundations of Mathematics | 1963-01-01 | Paper |
On Languages Which are Based on Non-Standard Arithmetic
Nagoya Mathematical Journal | 1963-01-01 | Paper |
scientific article; zbMATH DE number 3180519 (Why is no real title available?)
| 1963-01-01 | Paper |
scientific article; zbMATH DE number 3349800 (Why is no real title available?)
| 1962-01-01 | Paper |
scientific article; zbMATH DE number 3349807 (Why is no real title available?)
| 1962-01-01 | Paper |
A note on embedding problems
Fundamenta Mathematicae | 1962-01-01 | Paper |
scientific article; zbMATH DE number 3166227 (Why is no real title available?)
| 1961-01-01 | Paper |
Local Differential Algebra
| 1961-01-01 | Paper |
scientific article; zbMATH DE number 3204610 (Why is no real title available?)
| 1961-01-01 | Paper |
On the D Calculus for Linear Differential Equations with Constant Coefficients
The Mathematical Gazette | 1961-01-01 | Paper |
scientific article; zbMATH DE number 3250591 (Why is no real title available?)
| 1960-01-01 | Paper |
Elementary Properties of Ordered Abelian Groups
| 1960-01-01 | Paper |
scientific article; zbMATH DE number 3269897 (Why is no real title available?)
| 1960-01-01 | Paper |
scientific article; zbMATH DE number 3337681 (Why is no real title available?)
| 1960-01-01 | Paper |
scientific article; zbMATH DE number 3285202 (Why is no real title available?)
| 1960-01-01 | Paper |
scientific article; zbMATH DE number 3349995 (Why is no real title available?)
| 1959-01-01 | Paper |
Solution of a problem of Tarski
Fundamenta Mathematicae | 1959-01-01 | Paper |
scientific article; zbMATH DE number 3275565 (Why is no real title available?)
| 1959-01-01 | Paper |
Outline of an Introduction to Mathematical Logic I
Canadian Mathematical Bulletin | 1958-01-01 | Paper |
Outline of an Introduction to Mathematical Logic II
Canadian Mathematical Bulletin | 1958-01-01 | Paper |
scientific article; zbMATH DE number 3137348 (Why is no real title available?)
| 1958-01-01 | Paper |
RELATIVE MODEL-COMPLETENESS AND THE ELIMINATION OF QUANTIFIERS
Dialectica | 1958-01-01 | Paper |
Syntactical Transforms
| 1957-01-01 | Paper |
On the representation of Herbrand functions in algebraically closed fields
Journal of Symbolic Logic | 1957-01-01 | Paper |
Some problems of definability in the lower predicate calculus
Fundamenta Mathematicae | 1957-01-01 | Paper |
Wave Propagation in a Heterogeneous Elastic Medium
Journal of Mathematics and Physics | 1957-01-01 | Paper |
Complete theories
Studies in Logic and the Foundations of Mathematics | 1956-01-01 | Paper |
On the motion of small particles in a potential field of flow
Communications on Pure and Applied Mathematics | 1956-01-01 | Paper |
scientific article; zbMATH DE number 3124826 (Why is no real title available?)
| 1956-01-01 | Paper |
Further remarks on ordered fields and definite functions
Mathematische Annalen | 1956-01-01 | Paper |
Note on a problem of L. Henkin
Journal of Symbolic Logic | 1956-01-01 | Paper |
scientific article; zbMATH DE number 3122945 (Why is no real title available?)
| 1956-01-01 | Paper |
Completeness and persistence in the theory of models
Mathematical Logic Quarterly | 1956-01-01 | Paper |
Solution of a problem by Erdös-Gillman-Henriksen
Proceedings of the American Mathematical Society | 1956-01-01 | Paper |
Mixed Problems for Hyperbolic Partial Differential Equations
Proceedings of the London Mathematical Society | 1955-01-01 | Paper |
Metamathematical Considerations On The Relative Irreducibility Of Polynomials
Canadian Journal of Mathematics | 1955-01-01 | Paper |
On ordered fields and definite functions
Mathematische Annalen | 1955-01-01 | Paper |
scientific article; zbMATH DE number 3109417 (Why is no real title available?)
| 1955-01-01 | Paper |
Note on An Embedding Theorem for Algebraic Systems
Journal of the London Mathematical Society | 1955-01-01 | Paper |
scientific article; zbMATH DE number 3115893 (Why is no real title available?)
| 1955-01-01 | Paper |
scientific article; zbMATH DE number 3111916 (Why is no real title available?)
| 1955-01-01 | Paper |
Core-Consistency and Total Inclusion for Methods of Summability
Canadian Journal of Mathematics | 1954-01-01 | Paper |
On predicates in algebraically closed fields
Journal of Symbolic Logic | 1954-01-01 | Paper |
scientific article; zbMATH DE number 3090960 (Why is no real title available?)
| 1954-01-01 | Paper |
scientific article; zbMATH DE number 3079564 (Why is no real title available?)
| 1953-01-01 | Paper |
Non-uniform supersonic flow
Quarterly of Applied Mathematics | 1953-01-01 | Paper |
scientific article; zbMATH DE number 3077150 (Why is no real title available?)
| 1952-01-01 | Paper |
On the metamathematics of algebra
Studies in Logic and the Foundations of Mathematics | 1951-01-01 | Paper |
scientific article; zbMATH DE number 3065689 (Why is no real title available?)
| 1951-01-01 | Paper |
On the Integration of Hyperbolic Differential Equations
Journal of the London Mathematical Society | 1950-01-01 | Paper |
On Functional Transformations and Summability
Proceedings of the London Mathematical Society | 1950-01-01 | Paper |
On Non-Associative Systems
Proceedings of the Edinburgh Mathematical Society | 1949-01-01 | Paper |
ON SOURCE AND VORTEX DISTRIBUTIONS IN THE LINEARIZED THEORY OF STEADY SUPERSONIC FLOW
The Quarterly Journal of Mechanics and Applied Mathematics | 1948-01-01 | Paper |
The characterization of algebraic plane curves
Duke Mathematical Journal | 1947-01-01 | Paper |
scientific article; zbMATH DE number 3095932 (Why is no real title available?)
| 1941-01-01 | Paper |
On the independence of the axioms of definiteness (Axiome der Bestimmtheit)
Journal of Symbolic Logic | 1939-01-01 | Paper |
On the independence of the axioms of definiteness (Axiome der Bestimmtheit).
Journal of Symbolic Logic | 1939-01-01 | Paper |
