The axiom of elementary sets on the edge of Peircean expressibility

DOI 10.2178/jsl/1122038922</link>zbMath 1100.03042</link>OpenAlex W2164129037</link>Wikidata Q114005174</link> Scholia Q114005174</link>MaRDI QID Q5718697</link>

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 (2)

Three-variable statements of set-pairing ⋮ Tarski’s Influence on Computer Science

Cites Work

• 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
• Unnamed Item

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