Pages that link to "Item:Q5765811"
From MaRDI portal
The following pages link to New Foundations for Mathematical Logic (Q5765811):
Displayed 50 items.
- Sets and plural comprehension (Q484118) (← links)
- A disquotational theory of truth as strong as \(Z_2^-\) (Q496323) (← links)
- Conventionalism, consistency, and consistency sentences (Q514102) (← links)
- Platitudes in mathematics (Q514596) (← links)
- The correctness of Newman's typability algorithm and some of its extensions (Q549191) (← links)
- The usual model construction for NFU preserves information (Q691132) (← links)
- Beneš's partial model of NF: an old result revisited (Q740207) (← links)
- The graph conception of set (Q742483) (← links)
- Systems of combinatory logic related to Quine's `New Foundations' (Q809994) (← links)
- Frege's double correlation thesis and Quine's set theories NF and ML (Q1076005) (← links)
- Systems of combinatory logic related to predicative and ``mildly impredicative'' fragments of Quine's ``New Foundations'' (Q1208084) (← links)
- Property theory: The type-free approach \(v\). The Church approach (Q1319264) (← links)
- Issues in commonsense set theory (Q1346620) (← links)
- Broadening the iterative conception of set (Q1422104) (← links)
- Quine's conjecture on many-sorted logic (Q1708876) (← links)
- Choice principles in hyperuniverses (Q1919525) (← links)
- Representation of functions and total antisymmetric relations in monadic third order logic (Q2421520) (← links)
- Symmetry as a criterion for comprehension motivating Quine's `New Foundations' (Q2426734) (← links)
- The axiom scheme of acyclic comprehension (Q2443116) (← links)
- The categoricity question of certain grand logics (Q2651477) (← links)
- Strong axioms of infinity in <i>NFU</i> (Q2732269) (← links)
- What is Absolute Undecidability?† (Q2869810) (← links)
- Consistency of strictly impredicative NF and a little more … (Q3066796) (← links)
- ON THE TERMINATION OF RUSSELL’S DESCRIPTION ELIMINATION ALGORITHM (Q3096819) (← links)
- Russell, His Paradoxes, and Cantor's Theorem: Part I (Q3160753) (← links)
- Formal development of ordinal number theory (Q3228609) (← links)
- Identity, variables, and impredicative definitions (Q3233205) (← links)
- Unification of universes in set theory (Q3235354) (← links)
- On the relative consistency of set theory (Q3235355) (← links)
- A Set Theory Founded on Unique Generating Principle (Q3246551) (← links)
- Fragmentary structure of global knowledge: constructive processes for interoperability (Q3451527) (← links)
- Peano as logician (Q3772172) (← links)
- Inequivalence of the fragments of new foundations (Q3921216) (← links)
- Stratified languages (Q4032665) (← links)
- Automorphisms moving all non-algebraic points and an application to NF (Q4227868) (← links)
- A partial model of <b>NF</b> with E (Q4323039) (← links)
- Extensional quotients for type theory and the consistency problem for NF (Q4391434) (← links)
- The Empty Set, The Singleton, and the Ordered Pair (Q4650301) (← links)
- The equivalence of NF-style set theories with “tangled” type theories; the construction of <i>ω</i>-models of predicative NF (and more) (Q4836049) (← links)
- Some results on combinators in the system TRC (Q4948544) (← links)
- On the strength of a weak variant of the axiom of counting (Q5108092) (← links)
- ALGEBRAIC NEW FOUNDATIONS (Q5222536) (← links)
- Wittgenstein’s Diagonal Argument: A Variation on Cantor and Turing (Q5253922) (← links)
- What is Neologicism? (Q5479569) (← links)
- A System of Mutually Contradictory <i>n</i> Abstractions Whose Proper Sub-Systems Are all Mutually Consistent (Q5549793) (← links)
- On a set theory suggested by Dedecker and Ehresmann, II (Q5602918) (← links)
- On a Theory Objects Based on a Single Axiom Scheme (Q5607984) (← links)
- Strategic management control (Q5638095) (← links)
- On Cantor's theorem (Q5769239) (← links)
- On the consistency of Quine's <i>New foundations for mathematical logic</i> (Q5772178) (← links)