Pages that link to "Item:Q4836046"

The following pages link to Free-variable axiomatic foundations of infinitesimal analysis: A fragment with finitary consistency proof (Q4836046):

Displaying 4 items.

• Future development of scientific structures closer to experiments: response to F. A. Muller (Q408323) (← links)
• More infinity for a better finitism (Q636387) (← links)
• The Dirac delta function in two settings of reverse mathematics (Q661294) (← links)
• Forcing in Proof Theory (Q4678943) (← links)