Truth definition for $\Delta _ 0$ formulas and PSPACE computations
-
Published:2021
Issue:1
Volume:252
Page:1-38
-
ISSN:0016-2736
-
Container-title:Fundamenta Mathematicae
-
language:en
-
Short-container-title:Fund. Math.
Publisher
Institute of Mathematics, Polish Academy of Sciences
Subject
Algebra and Number Theory