A minimal predicative set theory
From MaRDI portal
Publication:1344436
DOI10.1305/ndjfl/1094061860zbMath0816.03023OpenAlexW2077162222MaRDI QIDQ1344436
Franco Montagna, Antonella Mancini
Publication date: 20 July 1995
Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1305/ndjfl/1094061860
Related Items
Strong Logics of First and Second Order ⋮ Decidability and completeness for open formulas of membership theories ⋮ Obituary: Franco Montagna (1948--2015) ⋮ Pairs, sets and sequences in first-order theories ⋮ MUTUAL INTERPRETABILITY OF ROBINSON ARITHMETIC AND ADJUNCTIVE SET THEORY WITH EXTENSIONALITY ⋮ The scope of Gödel's first incompleteness theorem ⋮ Predicative logic and formal arithmetic ⋮ Rules and arithmetics ⋮ Faith \& falsity ⋮ The predicative Frege hierarchy ⋮ Deflationism beyond arithmetic ⋮ CARDINAL ARITHMETIC IN THE STYLE OF BARON VON MÜNCHHAUSEN