A portrait of Alfred Tarski
From MaRDI portal
Publication:809989
DOI10.1007/BF03023831zbMath0733.01022WikidataQ55970201 ScholiaQ55970201MaRDI QIDQ809989
Publication date: 1991
Published in: The Mathematical Intelligencer (Search for Journal in Brave)
History of mathematics in the 20th century (01A60) Biographies, obituaries, personalia, bibliographies (01A70)
Related Items
Bjarni Jónsson's contributions in algebra ⋮ On the Warsaw interactions of logic and mathematics in the years 1919--1939 ⋮ 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
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Cylindric algebras. Part II
- An interpolation theorem for irredundant bases of closure structures
- Possible cardinalities of irredundant bases for finite closure structures
- On algebras whose factor algebras are Boolean
- Undecidable theories
- Remarks on direct products of commutative semigroups
- On the isomorphism of Lindenbaum algebras with fields of sets
- The first order properties of products of algebraic systems
- Some Application of Nevanlinna Theory to Mathematical Logic: Identities Exponential Functions
- Metamathematical discussion of some affine geometries
- Refinement properties for relational structures
- An extended arithmetic of ordinal numbers
- Grundzüge der Systemenkalküls I
- On the calculus of relations
- Definability and decision problems in arithmetic
- Cancellation laws in the arithmetic of cardinals
- Boolean Algebras with Operators. Part I
- Algebraic treatment of the notion of satisfiability
- A solution of the decision problem for the Lewis systems S2 and S4, with an application to topology
- Elementary properties of Abelian groups
This page was built for publication: A portrait of Alfred Tarski
