The strength of extensionality. I: Weak weak set theories with infinity
type: Item
instance of: scholarly article
title: The strength of extensionality. I: Weak weak set theories with infinity
zbMATH Open document ID: 1166.03033
author: Kentaro Sato
published in: Annals of Pure and Applied Logic
publication date: 2009-03-25T00:00:00Z
Mathematics Subject Classification ID: 03F25
Mathematics Subject Classification ID: 03B30
Mathematics Subject Classification ID: 03E70
Mathematics Subject Classification ID: 03F35
zbMATH DE Number: 5532843
zbMATH Keywords: proof-theoretic ordinal
zbMATH Keywords: axiom of extensionality
zbMATH Keywords: intensional set theory
zbMATH Keywords: proof-theoretic strength of the axioms of set theory
zbMATH Keywords: axiom of regularity
MaRDI profile type: Publication
full work available at URL: j.apal.2008.09.010
OpenAlex ID: W1996243733
cites work: Q3937387
cites work: Q3992552
cites work: Q4075450
cites work: Proof-theoretic analysis by iterated reflection
cites work: The consistency of classical set theory relative to a set theory with intu1tionistic logic
cites work: Q3037432
cites work: Q3942954
cites work: Set theory. An introduction to independence proofs. 2nd print
cites work: Q3138834
cites work: Q4934564
cites work: Kripke-Platek set theory and the anti-foundation axiom
cites work: Forcing under Anti‐Foundation Axiom: An expression of the stalks
cites work: Q4220572
cites work: Q5537599
cites work: On Evans's vague object from set theoretic viewpoint
DOI: 10.1016/J.APAL.2008.09.010
description: scientific article; zbMATH DE number 5532843