Everything about Constructive analysis

🧭 Start here: a 6-step reading path

1. Read the overview: Constructive analysisA 5-minute orientation
2. Skim a recent paper: The Pantheon+ Analysis: Cosmological ConstraintsInfluential work since 2022
3. Pick up a classic book: Structural analysisThe most-reprinted book on the subject
4. Read the landmark paper: A constructive analysis of RMCited 93 times
5. Go sideways: Heyting arithmeticA closely related topic
6. Go sideways: Inhabited setA closely related topic

🏆 Landmark papers (most cited)

• A constructive analysis of RM

  Arnon Avron · 1987 · Journal of Symbolic Logic · 93 citations

• Set Theoretic Foundations for Constructive Analysis

  Harvey Friedman · 1977 · The Annals of Mathematics · 77 citations

• Constructive mathematics: a foundation for computable analysis

  Douglas S. Bridges · 1999 · Theoretical Computer Science · 56 citations

• Developments in Constructive Nonstandard Analysis

  Erik Palmgren · 1998 · Bulletin of Symbolic Logic · 34 citations

• Constructive analysis, types and exact real numbers

  HERMAN GEUVERS, MILAD NIQUI, BAS SPITTERS · 2007 · Mathematical Structures in Computer Science · 20 citations

• A constructive approach to nonstandard analysis

  Erik Palmgren · 1995 · Annals of Pure and Applied Logic · 19 citations

• Compactness in constructive analysis revisited

  Christoph Kreitz, Klaus Weihrauch · 1987 · Annals of Pure and Applied Logic · 18 citations

• Analysis of strategies for constructive general block placement

  S. Wimer, I. Koren · 1988 · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · 17 citations

🆕 Influential since 2022

• The Pantheon+ Analysis: Cosmological Constraints

  Dillon Brout, Dan Scolnic, Brodie Popovic · 2022 · The Astrophysical Journal · 1,451 citations

• Exercises for developing civil‐military collaboration capability: A constructive alignment analysis

  Erik Hedlund, Aida Alvinius · 2024 · Journal of Contingencies and Crisis Management · 7 citations

• Thermoelectric active window frame: Constructive integration and preheating analysis

  Pablo Arias-Salazar, Amaia Zuazua-Ros, José Antonio Sacristán-Fernández · 2024 · Journal of Building Engineering · 4 citations

• Multivariate pattern analysis of cooperation and competition in constructive action

  G.G. Knyazev, A.N. Savostyanov, A.V. Bocharov · 2024 · Neuropsychologia · 4 citations

• Constructive-Functional Analysis and Sizing of Hydraulic Filters

  Nicușor Baroiu, Georgiana Alexandra Moroșanu · 2022 · Annals of ”Dunarea de Jos” University of Galati, Fascicle V, Technologies in machine building · 3 citations

📚 Books worth reading

• Structural analysisA. Ghali, Amin Ghali · 1972
• The analysis and design of linear circuitsRoland E. Thomas, Albert J. Rosa · 1994
• Construction project managementRichard Hudson Clough, Richard H. Clough · 1972
• Building structuresMalcolm Millais · 1997
• Structural and Stress AnalysisT. H. G. Megson, T. H. G. Megson · 1995
• Structural analysisR. C. Coates · 1972
• Structure in architectureMario George Salvadori, Robert L. Heller · 1963
• Peterson's stress concentration factorsWalter D. Pilkey, Deborah F., PhD Pilkey · 1997

Ranked by number of editions on Open Library, a rough measure of how lasting a book is.

🔗 Related topics

• Heyting arithmetic In mathematical logic, Heyting arithmetic H A {\displaystyle {\mathsf {HA}}} is an axiomatization of arithmetic in accordance with the philosophy of intuitionis…
• Inhabited set In mathematics, a set A {\displaystyle A} is inhabited if there exists an element a ∈ A {\displaystyle a\in A} . In classical mathematics, the property…
• Church's thesis (constructive mathematics) In constructive mathematics, Church's thesis C T {\displaystyle {\mathrm {CT} }} is the principle stating that all total functions are computable functions…
• Markov's principle Markov's principle (also known as the Leningrad principle), named after Andrey Markov Jr, is a conditional existence statement for which there are many…
• Harrop formula In intuitionistic logic, the Harrop formulae, named after Ronald Harrop, are the class of formulae inductively defined as follows: Atomic formulae are…
• Minimal logic Minimal logic, or minimal calculus, is a symbolic logic system originally developed by Ingebrigt Johansson under the name "Minimalkalkül". It is a paraconsisten…
• Intuitionistic logic Intuitionistic logic, sometimes more generally called constructive logic, refers to systems of symbolic logic that differ from the systems used for classical…
• Symmetric matrix In linear algebra, a symmetric matrix is a square matrix that is equal to its transpose. Formally, A is symmetric ⟺ A = A T . {\displaystyle A{\text{…