The following pages link to Elliott Mendelson (Q587231):
Displaying 50 items.
- On the limit of the finite. The Hilbert programme in the context of formalism and finitism (Q441154) (← links)
- Some applications of extensions of ZF set theory (Q579248) (← links)
- Partition relations for successor cardinals (Q580335) (← links)
- (Q593410) (redirect page) (← links)
- On a missed opportunity for collaboration between historians and mathematicians: a biographical avalanche triggered by Professor Ioan James, FRS. (Q619766) (← links)
- `As if' reasoning in Vaihinger and Pasch (Q707710) (← links)
- Some new double induction and superinduction principles (Q751653) (← links)
- Axiomatics of set theory without element relation (Q768277) (← links)
- On the solution of an arbitrary system of linear equations (Q771836) (← links)
- Demi-primal algebras (Q795073) (← links)
- Real numbers and set theory -- extending the neo-Fregean programme beyond arithmetic (Q813413) (← links)
- Natural deduction and Curry's paradox (Q877241) (← links)
- Set-mappings on Dedekind sets (Q908905) (← links)
- Mathematics and conceptual analysis (Q928734) (← links)
- The ovals in the Excerpta Mathematica and the origins of Descartes' method of normals (Q990267) (← links)
- Princess Elizabeth of Bohemia and Descartes' letters (1650-1665) (Q990269) (← links)
- Two new algebraic equivalents to the axiom of choice (Q1121877) (← links)
- On a quasi-set theory (Q1203768) (← links)
- A paradox of Russell type (Q1312285) (← links)
- Non-well-founded sets via revision rules (Q1337508) (← links)
- A revision-theoretic analysis of the arithmetical hierarchy (Q1344437) (← links)
- A local two-sorted theory of classes and sets: MacLane's problem and Mostowski's program (Q1780370) (← links)
- Birkhoff's representation theorem is equivalent to the axiom of choice (Q1820782) (← links)
- Structures and structuralism in contemporary philosophy of mathematics (Q1840995) (← links)
- An introduction to mathematical logic and type theory: To truth through proof. (Q1847766) (← links)
- Why numbers are sets (Q1868173) (← links)
- On some recent criticism of Church's thesis (Q2394059) (← links)
- Second Thoughts about Church's Thesis and Mathematical Proofs (Q2761680) (← links)
- (Q3213348) (← links)
- Some proofs of independence in axiomatic set theory (Q3237140) (← links)
- The independence of a weak axiom of choice (Q3242257) (← links)
- The axiom of fundierung and the axiom of choice (Q3253790) (← links)
- On a Class of Universal Ordered Sets (Q3259766) (← links)
- (Q3317075) (← links)
- Races with Ties (Q3659790) (← links)
- (Q3722490) (← links)
- (Q3794432) (← links)
- (Q3962956) (← links)
- (Q4229041) (← links)
- (Q4729754) (← links)
- (Q4822942) (← links)
- (Q5245319) (← links)
- (Q5320764) (← links)
- (Q5493752) (← links)
- (Q5527012) (← links)
- (Q5551147) (← links)
- (Q5586197) (← links)
- (Q5635352) (← links)
- A Semantic Proof of the Eliminability of Descriptions (Q5724775) (← links)
- Logic and structure. (Q5906606) (← links)
