Proof mining in topological dynamics
type: Item
instance of: scholarly article
title: Proof mining in topological dynamics
zbMATH Open document ID: 1188.03043
DOI: 10.1215/00294527-2008-022
author: Philipp Gerhardy
published in: Notre Dame Journal of Formal Logic
publication date: 2010-01-13T00:00:00Z
Mathematics Subject Classification ID: 03F10
Mathematics Subject Classification ID: 54H20
zbMATH DE Number: 5657678
zbMATH Keywords: coloring
zbMATH Keywords: monotone functional interpretation
zbMATH Keywords: proof mining
zbMATH Keywords: topological dynamics
MaRDI profile type: Publication
full work available at URL: https://doi.org/10.1215/00294527-2008-022
OpenAlex ID: W2040673954
description: scientific article; zbMATH DE number 5657678