The axiom of elementary sets on the edge of Peircean expressibility

DOI10.2178/JSL/1122038922MaRDI QIDQ5718697zbMATHOpenAlexWikidataFDO

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

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

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 \(\varepsilon\)-expressions over abstract sets
• Publication:4503910

Cites work

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

Cited in

(3)

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

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)