Relative consistency of the general axiom of superuniversality for sets, \(n\)-tuples and operations

DOI10.1007/BF01759325zbMath0792.03032OpenAlexW1976366017MaRDI QIDQ1312954

Massimo Clavelli

Publication date: 24 February 1994

Published in: Annali di Matematica Pura ed Applicata. Serie Quarta (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf01759325

zbMATH Keywords

relative consistencyaxioms of free constructiontheory with pairs, \(n\)-tuples and operations as primitive objects

Mathematics Subject Classification ID

Consistency and independence results (03E35)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Relative consistency of the general axiom of superuniversality for sets, \(n\)-tuples and operations