Resolving finite indeterminacy
type: Item
instance of: scholarly article
title: Resolving finite indeterminacy
zbMATH Open document ID: 1498.03160
DOI: 10.1145/3373718.3394777
author: Daniel Wessel
author: Peter Schuster
published in: Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science
publication date: 2021-01-21T00:00:00Z
Mathematics Subject Classification ID: 03F65
Mathematics Subject Classification ID: 13A15
zbMATH DE Number: 7299515
zbMATH Keywords: Krull's lemma
zbMATH Keywords: computational content
zbMATH Keywords: dynamical proof
zbMATH Keywords: finite tree
zbMATH Keywords: geometric logic
zbMATH Keywords: inductive generation
zbMATH Keywords: non-deterministic axiom
zbMATH Keywords: prime ideals
zbMATH Keywords: proof-theoretic conservation
MaRDI profile type: MaRDI publication profile
full work available at URL: https://doi.org/10.1145/3373718.3394777
OpenAlex ID: W3032306896
description: scientific article; zbMATH DE number 7299515