Permutative Renamings in the Extended Fraenkel-Mostowski Set Theory

DOI10.2478/AICU-2014-0046zbMath1363.03023OpenAlexW1990465194WikidataQ57936455 ScholiaQ57936455MaRDI QIDQ2822991

Gabriel Ciobanu, Andrei Alexandru

Publication date: 5 October 2016

Published in: Annals of the Alexandru Ioan Cuza University - Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2478/aicu-2014-0046

zbMATH Keywords

extendend Fraenkel-Mostowski frameworkfinite support axiompermutative renamings

Mathematics Subject Classification ID

Logic in computer science (03B70) Nonclassical and second-order set theories (03E70)

This page was built for publication: Permutative Renamings in the Extended Fraenkel-Mostowski Set Theory