New Foundations for Mathematical Logic
From MaRDI portal
Cited in
(69)- Frege's double correlation thesis and Quine's set theories NF and ML
- Systems of combinatory logic related to predicative and ``mildly impredicative fragments of Quine's ``New Foundations
- Property theory: The type-free approach \(v\). The Church approach
- Issues in commonsense set theory
- Broadening the iterative conception of set
- Quine's conjecture on many-sorted logic
- Choice principles in hyperuniverses
- Representation of functions and total antisymmetric relations in monadic third order logic
- Symmetry as a criterion for comprehension motivating Quine's `New Foundations'
- The axiom scheme of acyclic comprehension
- The categoricity question of certain grand logics
- Strong axioms of infinity in NFU
- What is absolute undecidability?
- Consistency of strictly impredicative NF and a little more \(\dots \)
- On the termination of Russell's description elimination algorithm
- Russell, his paradoxes, and Cantor's theorem. I.
- Formal development of ordinal number theory
- Identity, variables, and impredicative definitions
- Unification of universes in set theory
- On the relative consistency of set theory
- A Set Theory Founded on Unique Generating Principle
- Fragmentary structure of global knowledge: constructive processes for interoperability
- scientific article; zbMATH DE number 3937155 (Why is no real title available?)
- Peano as logician
- Inequivalence of the fragments of new foundations
- Stratified languages
- Automorphisms moving all non-algebraic points and an application to NF
- A partial model of NF with E
- Extensional quotients for type theory and the consistency problem for NF
- The Empty Set, The Singleton, and the Ordered Pair
- The equivalence of NF-style set theories with “tangled” type theories; the construction of ω-models of predicative NF (and more)
- Sets and plural comprehension
- Some results on combinators in the system TRC
- A disquotational theory of truth as strong as \(Z_2^-\)
- On the strength of a weak variant of the axiom of counting
- Conventionalism, consistency, and consistency sentences
- Platitudes in mathematics
- ALGEBRAIC NEW FOUNDATIONS
- Wittgenstein's diagonal argument: a variation on Cantor and Turing
- What is Neologicism?
- The correctness of Newman's typability algorithm and some of its extensions
- A System of Mutually Contradictory n Abstractions Whose Proper Sub-Systems Are all Mutually Consistent
- On a set theory suggested by Dedecker and Ehresmann, II
- On a Theory Objects Based on a Single Axiom Scheme
- Strategic management control
- On Cantor's theorem
- On the consistency of Quine's New foundations for mathematical logic
- On the theory of types
- Definition by induction in quine's new foundations for mathematical logic
- Modality and description
- Non-standard models for formal logics
- A formal system of logic
- The axiom of infinity in Quine's New Foundations
- Some formal relative consistency proofs
- On ω-inconsistency and a so-called axiom of infinity
- A relative consistency proof
- The Burali-Forti paradox
- Simplified foundations for mathematical logic
- Russell, presupposition, and the vicious-circle principle
- Subsystems of Quine's ``New Foundations with predicativity restrictions
- Is Logic Relevant to Classifications?
- Identifying logical evidence
- The Cardinal Squaring Principle and an Alternative Axiomatization of NFU
- The usual model construction for NFU preserves information
- Intuition and observation
- Boffa's construction and models for \textsf{NFU}
- Beneš's partial model of NF: an old result revisited
- The graph conception of set
- Systems of combinatory logic related to Quine's `New Foundations'
This page was built for publication: New Foundations for Mathematical Logic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5765811)
