Set-theoretic reflection is equivalent to induction over well-founded classes
type: Item
instance of: scholarly article
title: Set-theoretic reflection is equivalent to induction over well-founded classes
zbMATH Open document ID: 1484.03105
author: Anton Freund
published in: Proceedings of the American Mathematical Society
publication date: 2020-08-20T00:00:00Z
full work available at URL: https://arxiv.org/abs/1909.00677
Mathematics Subject Classification ID: 03E30
Mathematics Subject Classification ID: 03B30
Mathematics Subject Classification ID: 03F05
zbMATH DE Number: 7237853
zbMATH Keywords: reflection
zbMATH Keywords: transitive model
zbMATH Keywords: induction
zbMATH Keywords: proper class
zbMATH Keywords: infinite proof
MaRDI profile type: Publication
OpenAlex ID: W2971620993
arXiv ID: 1909.00677
cites work: Admissible Sets and Structures
cites work: \(\Pi_1^1\)-comprehension as a well-ordering principle
cites work: Q4111536
cites work: Π12-logic, Part 1: Dilators
cites work: Introduction to \(\Pi^1_2\)-logic
cites work: Bar induction and \(\omega\) model reflection
cites work: Q5625138
cites work: On reflection principles
cites work: Reflection Principles and their Use for Establishing the Complexity of Axiomatic Systems
cites work: The optimality of induction as an axiomatization of arithmetic
cites work: Principles of reflection in axiomatic set theory
cites work: Reflection Principles in Fragments of Peano Arithmetic
cites work: A proof-theoretic characterization of the primitive recursive set functions
cites work: Proof theory of reflection
cites work: The Recursively Mahlo Property in Second Order Arithmetic
cites work: Ein System des Verknüpfenden Schliessens
cites work: Q4143279
cites work: Q3960691
cites work: Q3395521
cites work: Transfinite induction within Peano arithmetic
cites work: Q4674792
cites work: Q4367940
cites work: Q4689311
DOI: 10.1090/PROC/15103
description: scientific article; zbMATH DE number 7237853