Arbitrariness and genericity: or on how to speak of the unspeakable
Logical consequence, reasoning and computation (logcons) and sistemics, self-organ...
THE MEANING OF ARITHMETICAL SENTENCES, THE SET-THEORETIC DEFINABILITY AND THE ROLE...
A logical analysis of the notion of consistency in set theoretical practice
Origins of generic point in algebraic geometry and mathematical practice