Pages that link to "Item:Q4531092"

The following pages link to An Intuitionistic Axiomatisation of Real Closed Fields (Q4531092):

Displaying 22 items.

• Morse decomposition of global attractors with infinite components (Q255376) (← links)
• Morse decompositions and Lyapunov functions for dynamically gradient multivalued semiflows (Q332722) (← links)
• Continuity of Lyapunov functions and of energy level for a generalized gradient semigroup (Q446210) (← links)
• Morse equation of attractors for nonsmooth dynamical systems (Q713338) (← links)
• The real-algebraic structure of Scott's model of intuitionistic analysis (Q1059071) (← links)
• Negation-free and contradiction-free proof of the Steiner-Lehmus theorem (Q1704083) (← links)
• Generalizing theorems in real closed fields (Q1899140) (← links)
• On the Morse theory of attractors: a functional approach (Q1979262) (← links)
• On the proof theory of infinitary modal logic (Q2106873) (← links)
• Morse theory and Lyapunov stability on manifolds (Q2248274) (← links)
• Morse decomposition of semiflows on topological spaces (Q2369893) (← links)
• Constructive completions of ordered sets, groups and fields (Q2488274) (← links)
• Geometrisation of first-order logic (Q2795295) (← links)
• Coinductive field of exact real numbers and general corecursion (Q2863898) (← links)
• Smooth Morse-Lyapunov functions of strong attractors for differential inclusions (Q2884600) (← links)
• A FORMALIZATION OF KANT’S TRANSCENDENTAL LOGIC (Q3094188) (← links)
• The Elementary Theory of Interval Real Numbers (Q3338211) (← links)
• A note on the axiomatisation of real numbers (Q3506319) (← links)
• Elementary constructive theory of ordered fields (Q3986779) (← links)
• (Q4211557) (← links)
• Théories géométriques pour l’algèbre des nombres réels (Q4635369) (← links)
• The theory of integrally closed domains is not finitely axiomatizable (Q5179280) (← links)