The axiom of elementary sets on the edge of Peircean expressibility

DOI10.2178/JSL/1122038922zbMATH Open1100.03042OpenAlexW2164129037WikidataQ114005174 ScholiaQ114005174MaRDI QIDQ5718697FDOQ5718697

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

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

zbMATH Keywords

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

Mathematics Subject Classification ID

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

Cites Work

• Definability with bounded number of bound variables
• Title not available (Why is that?)
• Upper and lower bounds for first order expressibility
• On Moschovakis closure ordinals
• Three-variable statements of set-pairing

Cited In (3)

• Three-variable statements of set-pairing
• Reasoning on relations, modalities, and sets
• 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)