Reflecting and unfolding
type: Item
instance of: scholarly article
title: Reflecting and unfolding
DOI: 10.1007/978-3-030-97303-2_19
author: Andrea Cantini
publication date: 2022-10-28T00:00:00Z
Mathematics Subject Classification ID: 03A05
Mathematics Subject Classification ID: 01A20
Mathematics Subject Classification ID: 01A35
Mathematics Subject Classification ID: 01A45
Mathematics Subject Classification ID: 01A50
Mathematics Subject Classification ID: 01A60
Mathematics Subject Classification ID: 03F03
Mathematics Subject Classification ID: 03F25
Mathematics Subject Classification ID: 03F35
zbMATH DE Number: 7608784
zbMATH Keywords: operation
zbMATH Keywords: truth
zbMATH Keywords: unfolding
zbMATH Keywords: implicit commitment
MaRDI profile type: Publication
full work available at URL: 978-3-030-97303-2 19
OpenAlex ID: W4285180115
cites work: Theories of Proof-Theoretic Strength Ψ (ΓΩ +1)
cites work: Notes on Formal Theories of Truth
cites work: Logical frameworks for truth and abstraction. An axiomatic study
cites work: About Truth and Types
cites work: INCOMPLETENESS VIA PARADOX AND COMPLETENESS
cites work: Arithmetical Reflection and the Provability of Soundness
cites work: Q5595153
cites work: Q3671968
cites work: Reflecting on incompleteness
cites work: The Operational Perspective: Three Routes
cites work: The unfolding of non-finitist arithmetic
cites work: UNFOLDING FINITIST ARITHMETIC
cites work: Q3487327
cites work: TRUTH AND SPEED-UP
cites work: Derivatives of normal functions in reverse mathematics
cites work: Q5760848
cites work: Q3005147
cites work: Q3764122
cites work: Construction of Satisfaction Classes for Nonstandard Models
cites work: Q5608740
cites work: CONSERVATIVITY FOR THEORIES OF COMPOSITIONAL TRUTH VIA CUT ELIMINATION
cites work: The implicit commitment of arithmetical theories and its semantic core
cites work: A flexible type system for the small Veblen ordinal
cites work: Q5489367
cites work: Q4220572
cites work: Unfolding Schematic Systems
description: scientific article; zbMATH DE number 7608784