A portrait of Alfred Tarski

DOI10.1007/BF03023831zbMATH0733.01022WikidataQ55970201MaRDI QIDQ809989FDOQ809989

Authors Steven R. Givant

Publication date 1991

Published in The Mathematical Intelligencer (Search for Journal in Brave)

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) Biographies, obituaries, personalia, bibliographies (01A70)

Cites work

• scientific article; zbMATH DE number 4133018 (Why is no real title available?)
• scientific article; zbMATH DE number 3148408 (Why is no real title available?)
• scientific article; zbMATH DE number 3720895 (Why is no real title available?)
• scientific article; zbMATH DE number 193143 (Why is no real title available?)
• scientific article; zbMATH DE number 3004089 (Why is no real title available?)
• scientific article; zbMATH DE number 3273156 (Why is no real title available?)
• scientific article; zbMATH DE number 3316901 (Why is no real title available?)
• scientific article; zbMATH DE number 3339390 (Why is no real title available?)
• scientific article; zbMATH DE number 3192066 (Why is no real title available?)
• scientific article; zbMATH DE number 3196257 (Why is no real title available?)
• scientific article; zbMATH DE number 3198011 (Why is no real title available?)
• scientific article; zbMATH DE number 3020851 (Why is no real title available?)
• scientific article; zbMATH DE number 3053259 (Why is no real title available?)
• scientific article; zbMATH DE number 3062899 (Why is no real title available?)
• scientific article; zbMATH DE number 3070503 (Why is no real title available?)
• A solution of the decision problem for the Lewis systems S2 and S4, with an application to topology
• Algebraic treatment of the notion of satisfiability
• An extended arithmetic of ordinal numbers
• An interpolation theorem for irredundant bases of closure structures
• Boolean Algebras with Operators. Part I
• Cancellation laws in the arithmetic of cardinals
• Cylindric algebras. Part II
• Definability and decision problems in arithmetic
• Elementary properties of Abelian groups
• Grundzüge der Systemenkalküls I
• Metamathematical discussion of some affine geometries
• On algebras whose factor algebras are Boolean
• On the calculus of relations
• On the isomorphism of Lindenbaum algebras with fields of sets
• Possible cardinalities of irredundant bases for finite closure structures
• Refinement properties for relational structures
• Remarks on direct products of commutative semigroups
• Some Application of Nevanlinna Theory to Mathematical Logic: Identities Exponential Functions
• The first order properties of products of algebraic systems
• Undecidable theories

Cited in

(5)

• Relation algebras of Sugihara, Belnap, Meyer, and Church
• Bjarni Jónsson's contributions in algebra
• Address at the Princeton University Bicentennial Conference on Problems of Mathematics (December 17–19, 1946), By Alfred Tarski
• Unifying threads in Alfred Tarski's work
• On the Warsaw interactions of logic and mathematics in the years 1919--1939

This page was built for publication: A portrait of Alfred Tarski

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q809989)