scientific article; zbMATH DE number 895222

zbMATH Open0847.03007MaRDI QIDQ4883232FDOQ4883232

Authors Francisco Antonio Doria, N. C. A. da Costa

Publication date 18 September 1996

zbMATH Keywords

classical field theoryundecidabilityaxiomatic systemclassical physicsSuppes predicatesfirst quantized theories

Mathematics Subject Classification ID

Physics (00A79) Foundations of classical theories (including reverse mathematics) (03B30)

Recommendations

• scientific article; zbMATH DE number 1163917
• A Suppes predicate for general relativity and set-theoretically generic spacetimes
• Suppes predicates for space-time
• Janus-faced physics: on Hilbert's 6th problem

Cited in

(9)

• scientific article; zbMATH DE number 6892974 (Why is no real title available?)
• Dynamical system where proving chaos is equivalent to proving Fermat's conjecture
• Janus-faced physics: on Hilbert's 6th problem
• Base changeable sets and mathematical simulation of the evolution of systems
• Suppes predicate for classes of structures and the notion of transportability
• Undecidable Hopf bifurcation with undecidable fixed point
• On Hilbert's sixth problem
• On Jaśkowski's discussive logics
• Sets and functions in theoretical physics

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4883232)