The axiom of elementary sets on the edge of Peircean expressibility

DOI10.2178/JSL/1122038922zbMath1100.03042OpenAlexW2164129037WikidataQ114005174 ScholiaQ114005174MaRDI QIDQ5718697

Alberto Policriti, Andrea Formisano, Eugenio Giovanni Omodeo

Publication date: 16 January 2006

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2178/jsl/1122038922

zbMATH Keywords

pebble gamesweak set theories\(n\)-variable expressibility

Mathematics Subject Classification ID

Axiomatics of classical set theory and its fragments (03E30)

Related Items (3)

Three-variable statements of set-pairing ⋮ Tarski’s Influence on Computer Science ⋮ Reasoning on relations, modalities, and sets

Cites Work

• Unnamed Item
• Definability with bounded number of bound variables
• Upper and lower bounds for first order expressibility
• Three-variable statements of set-pairing
• On Moschovakis closure ordinals

This page was built for publication: The axiom of elementary sets on the edge of Peircean expressibility