Differential equations in constructive analysis and in the recursive realizability topos

DOI10.1016/0022-4049(84)90027-6zbMATH Open0539.03041OpenAlexW2032779612MaRDI QIDQ793725FDOQ793725

Authors: Andre Scedrov 

Publication date: 1984

Published in: Journal of Pure and Applied Algebra (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0022-4049(84)90027-6

Recommendations

• A hypertopology intended for functional differential equations
• scientific article; zbMATH DE number 52566
• The arithmetic and topology of differential equations
• Model theory and differential equations
• Topological methods for differential equations and inclusions
• scientific article; zbMATH DE number 2066334
• scientific article; zbMATH DE number 891121
• scientific article; zbMATH DE number 1531889
• scientific article; zbMATH DE number 3261864
• scientific article; zbMATH DE number 4154917

zbMATH Keywords

approximate solutionscomputable analysisheat equationordinary differential equationswave equationeffective toposHeyting arithmeticrecursive solutionsconstructive theory of differential equationsPicard uniquenessrecursive realizability topos

Mathematics Subject Classification ID

Metamathematics of constructive systems (03F50) Other constructive mathematics (03F65) Categorical logic, topoi (03G30) Topoi (18B25) Constructive and recursive analysis (03F60)

Cites Work

• Title not available (Why is that?)
• Tripos theory
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• The wave equation with computable initial data such that its unique solution is not computable
• On the Nature of the Spectrum of Singular Second Order Linear Differential Equations
• Title not available (Why is that?)
• Principles of continuous choice and continuity of functions in formal systems for constructive mathematics
• A recursive function, defined on a compact interval and having a continuous derivative that is not recursive
• A computable ordinary differential equation which possesses no computable solution
• The Failure in Computable Analysis of a Classical Existence Theorem for Differential Equations
• Title not available (Why is that?)

Cited In (7)

• European Summer Meeting of the Association for Symbolic Logic
• Constructive reverse investigations into differential equations
• On real-valued homomorphisms in countably generated differential structures
• Title not available (Why is that?)
• Title not available (Why is that?)
• Behavioural differential equations: a coinductive calculus of streams, automata, and power series
• Point-free topological spaces, functions and recursive points; filter foundation for recursive analysis. I

This page was built for publication: Differential equations in constructive analysis and in the recursive realizability topos

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