A portrait of Alfred Tarski
type: Item
instance of: scholarly article
title: A portrait of Alfred Tarski
zbMATH Open document ID: 0733.01022
DOI: 10.1007/BF03023831
author: Steven R. Givant
published in: The Mathematical Intelligencer
publication date: 1991-01-01T00:00:00Z
Mathematics Subject Classification ID: 01A70
Mathematics Subject Classification ID: 01A60
zbMATH DE Number: 4211994
Wikidata QID: Q55970201
MaRDI profile type: Publication
cites work: Refinement properties for relational structures
cites work: Q5810602
cites work: Q3910512
cites work: An extended arithmetic of ordinal numbers
cites work: The first order properties of products of algebraic systems
cites work: On algebras whose factor algebras are Boolean
cites work: Possible cardinalities of irredundant bases for finite closure structures
cites work: Q5616133
cites work: Cylindric algebras. Part II
cites work: Q5732648
cites work: Some Application of Nevanlinna Theory to Mathematical Logic: Identities Exponential Functions
cites work: Q5802109
cites work: Boolean Algebras with Operators. Part I
cites work: Q5728445
cites work: A solution of the decision problem for the Lewis systems S2 and S4, with an application to topology
cites work: Q5557896
cites work: Algebraic treatment of the notion of satisfiability
cites work: On the isomorphism of Lindenbaum algebras with fields of sets
cites work: Q5734410
cites work: Definability and decision problems in arithmetic
cites work: Metamathematical discussion of some affine geometries
cites work: Elementary properties of Abelian groups
cites work: Q4483504
cites work: Grundzüge der Systemenkalküls I
cites work: Q5761282
cites work: On the calculus of relations
cites work: Q5792485
cites work: Cancellation laws in the arithmetic of cardinals
cites work: Remarks on direct products of commutative semigroups
cites work: Q5596761
cites work: An interpolation theorem for irredundant bases of closure structures
cites work: Q4040000
cites work: Undecidable theories
cites work: Q3265664
cites work: Q3034454
description: scientific article; zbMATH DE number 4211994