Tarski's theory of definability: Common themes in descriptive set theory, recursive function theory, classical pure logic, and finite-universe logic
type: Item
instance of: scholarly article
title: Tarski's theory of definability: Common themes in descriptive set theory, recursive function theory, classical pure logic, and finite-universe logic
zbMATH Open document ID: 1056.03019
author: J. W. Addison
published in: Annals of Pure and Applied Logic
publication date: 2004-08-06T00:00:00Z
Mathematics Subject Classification ID: 03C40
Mathematics Subject Classification ID: 03-03
Mathematics Subject Classification ID: 01A60
Mathematics Subject Classification ID: 03B10
Mathematics Subject Classification ID: 03C13
Mathematics Subject Classification ID: 03D20
Mathematics Subject Classification ID: 03E15
Mathematics Subject Classification ID: 03B70
Mathematics Subject Classification ID: 05C90
zbMATH DE Number: 2083173
zbMATH Keywords: definability
zbMATH Keywords: Tarski
zbMATH Keywords: Separation principles
zbMATH Keywords: Interpolation principles
zbMATH Keywords: Finite-universe logic
zbMATH Keywords: Prefix hierarchies
zbMATH Keywords: Bipartite graphs
zbMATH Keywords: Ehrenfeucht-Fraïssé games
zbMATH Keywords: Descriptive set theory
zbMATH Keywords: Recursive function theory
zbMATH Keywords: Classical pure logic
zbMATH Keywords: Finite model theory
MaRDI profile type: Publication
full work available at URL: j.apal.2003.10.009
OpenAlex ID: W2038489218
cites work: Separation principles in the hierarchies of classical and effective descriptive set theory
cites work: Q5343333
cites work: Q5519133
cites work: Q3235339
cites work: Recursive Predicates and Quantifiers
cites work: Q5796642
cites work: Q5812175
cites work: Separation principles in the hierarchy theory of pure first-order logic
cites work: Sur les théorèmes de séparation dans la Théorie des ensembles
cites work: On definable sets of positive integers
cites work: A general method to construct oracles realizing given relationships between complexity classes
cites work: Q5573961
cites work: Q5518360
cites work: Determinateness and the separation property
cites work: Address at the Princeton University Bicentennial Conference on Problems of Mathematics (December 17–19, 1946), By Alfred Tarski
cites work: A problem concerning the notion of definability
cites work: Les opérations logiques et les ensembles projectifs
cites work: Separation principles and the axiom of determinateness
DOI: 10.1016/J.APAL.2003.10.009
description: scientific article; zbMATH DE number 2083173