An introduction of variables into the frame of the basic theories for the foundations of mathematics

zbMath0807.03003MaRDI QIDQ1335476

Ennio De Giorgi, Marco Forti, Giacomo Lenzi

Publication date: 10 October 1994

Published in: Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Serie IX. Rendiconti Lincei. Matematica e Applicazioni (Search for Journal in Brave)

Full work available at URL: https://eudml.org/doc/244111

zbMATH Keywords

correlationsvariableFoundations of Mathematicsbasic theories

Mathematics Subject Classification ID

Foundations of classical theories (including reverse mathematics) (03B30)

This page was built for publication: An introduction of variables into the frame of the basic theories for the foundations of mathematics