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
