scientific article; zbMATH DE number 895222

zbMATH Open0847.03007MaRDI QIDQ4883232FDOQ4883232

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

Publication date: 18 September 1996

Title of this publication is not available (Why is that?)

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

zbMATH Keywords

classical field theoryundecidabilityaxiomatic systemclassical physicsSuppes predicatesfirst quantized theories

Mathematics Subject Classification ID

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

Cited In (9)

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

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)