A portrait of Alfred Tarski

DOI10.1007/BF03023831zbMATH Open0733.01022WikidataQ55970201 ScholiaQ55970201MaRDI 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

• Cylindric algebras. Part II
• Undecidable theories
• On the calculus of relations
• Boolean Algebras with Operators. Part I
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• A solution of the decision problem for the Lewis systems S2 and S4, with an application to topology
• Definability and decision problems in arithmetic
• Title not available (Why is that?)
• Title not available (Why is that?)
• Elementary properties of Abelian groups
• The first order properties of products of algebraic systems
• Title not available (Why is that?)
• Title not available (Why is that?)
• Some Application of Nevanlinna Theory to Mathematical Logic: Identities Exponential Functions
• Refinement properties for relational structures
• Title not available (Why is that?)
• Remarks on direct products of commutative semigroups
• Metamathematical discussion of some affine geometries
• An interpolation theorem for irredundant bases of closure structures
• Possible cardinalities of irredundant bases for finite closure structures
• Title not available (Why is that?)
• Title not available (Why is that?)
• Grundzüge der Systemenkalküls I
• Cancellation laws in the arithmetic of cardinals
• On algebras whose factor algebras are Boolean
• Title not available (Why is that?)
• On the isomorphism of Lindenbaum algebras with fields of sets
• Title not available (Why is that?)
• Title not available (Why is that?)
• An extended arithmetic of ordinal numbers
• Algebraic treatment of the notion of satisfiability

Cited In (5)

• Relation algebras of Sugihara, Belnap, Meyer, and Church
• 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
• Bjarni Jónsson's contributions in algebra

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)