• Mathematics, Computer Science
  • Published 1975

'Abolition of the Fregean Axiom', in: Logic Colloquium, Symposium on Logic Held at Boston, 1972-73

@inproceedings{Suszko1975AbolitionOT,
  title={'Abolition of the Fregean Axiom', in: Logic Colloquium, Symposium on Logic Held at Boston, 1972-73},
  author={Roman Suszko and Rh Parikh},
  year={1975}
}
Combinatorial functors.- Equality between functionals.- The use of abstract language in elementary metamathematics: Some pedagogic examples.- Weak monadic second order theory of succesor is not elementary-recursive.- The variable.- Abolition of the fregean axiom.- A realizability interpretation of the theory of species. 

Topics from this paper.