| Publication | Date of Publication | Type |
|---|
| https://portal.mardi4nfdi.de/entity/Q5258538 | 2015-06-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4870980 | 1996-03-28 | Paper |
| Abraham Robinson's Notes | 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) | 1986-01-01 | Paper |
| On the finiteness theorem of Siegel and Mahler concerning diophantine equations | 1975-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4059131 | 1975-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4071198 | 1975-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4075425 | 1975-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4079589 | 1975-01-01 | Paper |
| Nonstandard Exchange Economies | 1975-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4088812 | 1974-01-01 | Paper |
| A note on topological model theory | 1974-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4401932 | 1974-01-01 | Paper |
| Ordered differential fields | 1973-01-01 | Paper |
| Nonstandard points on algebraic curves | 1973-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4049191 | 1973-01-01 | Paper |
| Metamathematical problems | 1973-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5685077 | 1973-01-01 | Paper |
| Function Theory on Some Nonarchimedean Fields | 1973-01-01 | Paper |
| Inductive theories and their forcing companions | 1972-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4052117 | 1972-01-01 | Paper |
| A Limit Theorem on the Cores of Large Standard Exchange Economies | 1972-01-01 | Paper |
| A limit theorem on the cores of large standard exchange economies | 1972-01-01 | Paper |
| The nonstandard λ:φ24(x): model. I. The technique of nonstandard analysis in theoretical physics | 1972-01-01 | Paper |
| The nonstandard λ:φ24(x): model. II. The standard model from a nonstandard point of view | 1972-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5659672 | 1972-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5613180 | 1971-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5626647 | 1971-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5633987 | 1971-01-01 | Paper |
| On the notion of algebraic closedness for noncommutative groups and fields | 1971-01-01 | Paper |
| Elementary embeddings of fields of power series | 1970-01-01 | Paper |
| Completing theories by forcing | 1970-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5572325 | 1969-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5579011 | 1969-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5588617 | 1969-01-01 | Paper |
| Compactification of groups and rings and nonstandard analysis | 1969-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5612457 | 1969-01-01 | Paper |
| From a formalist's point of view | 1969-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5537577 | 1968-01-01 | Paper |
| On Flexural Wave Propagation in Non-Homogeneous Elastic Plates | 1968-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5534205 | 1967-01-01 | Paper |
| Nonstandard arithmetic | 1967-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5583839 | 1967-01-01 | Paper |
| Non-standard analysis | 1966-01-01 | Paper |
| Solution of an invariant subspace problem of K. T. Smith and P. R. Halmos | 1966-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5525313 | 1966-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5538944 | 1966-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5551149 | 1966-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5559235 | 1966-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5336323 | 1965-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5527179 | 1965-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5536263 | 1965-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5596725 | 1965-01-01 | Paper |
| On generalized limits and linear functionals | 1964-01-01 | Paper |
| Random-Access Stored-Program Machines, an Approach to Programming Languages | 1964-01-01 | Paper |
| Introduction to model theory and to the metamathematics of algebra | 1963-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3847262 | 1963-01-01 | Paper |
| On Languages Which are Based on Non-Standard Arithmetic | 1963-01-01 | Paper |
| Local Partial Differential Algebra | 1963-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5625148 | 1962-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5625155 | 1962-01-01 | Paper |
| A note on embedding problems | 1962-01-01 | Paper |
| On the D Calculus for Linear Differential Equations with Constant Coefficients | 1961-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3284604 | 1961-01-01 | Paper |
| Local Differential Algebra | 1961-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5331472 | 1961-01-01 | Paper |
| Elementary Properties of Ordered Abelian Groups | 1960-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5537408 | 1960-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5554992 | 1960-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5567841 | 1960-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5614671 | 1960-01-01 | Paper |
| Solution of a problem of Tarski | 1959-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5559228 | 1959-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5625310 | 1959-01-01 | Paper |
| Outline of an Introduction to Mathematical Logic I | 1958-01-01 | Paper |
| Outline of an Introduction to Mathematical Logic II | 1958-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3253782 | 1958-01-01 | Paper |
| RELATIVE MODEL-COMPLETENESS AND THE ELIMINATION OF QUANTIFIERS | 1958-01-01 | Paper |
| Some problems of definability in the lower predicate calculus | 1957-01-01 | Paper |
| Wave Propagation in a Heterogeneous Elastic Medium | 1957-01-01 | Paper |
| Syntactical Transforms | 1957-01-01 | Paper |
| On the representation of Herbrand functions in algebraically closed fields | 1957-01-01 | Paper |
| Complete theories | 1956-01-01 | Paper |
| Further remarks on ordered fields and definite functions | 1956-01-01 | Paper |
| On the motion of small particles in a potential field of flow | 1956-01-01 | Paper |
| Note on a problem of L. Henkin | 1956-01-01 | Paper |
| Solution of a problem by Erdös-Gillman-Henriksen | 1956-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3238066 | 1956-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3240238 | 1956-01-01 | Paper |
| Completeness and persistence in the theory of models | 1956-01-01 | Paper |
| Note on An Embedding Theorem for Algebraic Systems | 1955-01-01 | Paper |
| Mixed Problems for Hyperbolic Partial Differential Equations | 1955-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5848176 | 1955-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5850527 | 1955-01-01 | Paper |
| On ordered fields and definite functions | 1955-01-01 | Paper |
| Metamathematical Considerations On The Relative Irreducibility Of Polynomials | 1955-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3230358 | 1955-01-01 | Paper |
| On predicates in algebraically closed fields | 1954-01-01 | Paper |
| Core-Consistency and Total Inclusion for Methods of Summability | 1954-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5829781 | 1954-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5818468 | 1953-01-01 | Paper |
| Non-uniform supersonic flow | 1953-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5816107 | 1952-01-01 | Paper |
| On the metamathematics of algebra | 1951-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5804834 | 1951-01-01 | Paper |
| On the Integration of Hyperbolic Differential Equations | 1950-01-01 | Paper |
| On Functional Transformations and Summability | 1950-01-01 | Paper |
| On Non-Associative Systems | 1949-01-01 | Paper |
| ON SOURCE AND VORTEX DISTRIBUTIONS IN THE LINEARIZED THEORY OF STEADY SUPERSONIC FLOW | 1948-01-01 | Paper |
| The characterization of algebraic plane curves | 1947-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5834742 | 1941-01-01 | Paper |
| On the independence of the axioms of definiteness (Axiome der Bestimmtheit). | 1939-01-01 | Paper |
| On the independence of the axioms of definiteness (Axiome der Bestimmtheit) | 1939-01-01 | Paper |
