Analysis without actual infinity

DOI10.2307/2273760zbMath0466.03024OpenAlexW2162543506MaRDI QIDQ3918108

Jan Mycielski

Publication date: 1981

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2273760

zbMATH Keywords

consistencyfirst-order theoryfinite modelsrecursive axiomatizationprobabilistic theorems

Mathematics Subject Classification ID

Constructive and recursive analysis (03F60)

Related Items

A constructive approach to nonstandard analysis, The meaning of pure mathematics, On the relationship between algebra and analysis, Finite mathematics., Point-free topological spaces, functions and recursive points; filter foundation for recursive analysis. I

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item