A portrait of Alfred Tarski
From MaRDI portal
Publication:809989
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)