The axiom of elementary sets on the edge of Peircean expressibility

DOI10.2178/JSL/1122038922MaRDI QIDQ5718697zbMATH OpenOpenAlexWikidataFDO

Authors Andrea Formisano, Alberto Policriti, Eugenio 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

\(n\)-variable expressibilitypebble gamesweak set theories

Mathematics Subject Classification ID

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

Recommendations

• Three-variable statements of set-pairing
• scientific article; zbMATH DE number 193143
• The calculus of relations as a foundation for mathematics
• A derived algorithm for evaluating -expressions over abstract sets
• scientific article; zbMATH DE number 1507190

Cites work

• Definability with bounded number of bound variables
• scientific article; zbMATH DE number 193143 (Why is no real title available?)
• On Moschovakis closure ordinals
• Three-variable statements of set-pairing
• Upper and lower bounds for first order expressibility

Cited in

(3)

• Three-variable statements of set-pairing
• Tarski's influence on computer science
• Reasoning on relations, modalities, and sets

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5718697)