Reviews
Zentralblatt MATH Reviews
- S. Müller-Stach: Der Code der Mathematik
- S. Maschio: A Categorical Reading of the Numerical Existence Property in Constructive Foundations
- N. A´Campo: A natural construction for the real numbers
- D. Dzhafarov, S. Flood, R. Solomon, L. Westrick: Effectiveness for the dual Ramsey theorem
- Y-K. Chan: Foundations of constructive probability theory, Encyclopedia of Mathematics and its Applications 177, Cambridge University Press, xiii, 612 p. (2021)
- J. Longley, D. Normann: Higher-order computability, Berlin: Springer. xvi, 571~p. (2015)
- B. M. Kapron, F. Steinberg: Type-two polynomial-time and restricted lookahead
- T. Kawai: Principles of bar induction and continuity on Baire space
- M. Hendtlass: Fixed point theorems in constructive mathematics
- M. Hendtlass and P. Schuster: Minima and best approximations in constructive analysis
- D. Normann: Experiments on an internal approach to typed algorithms in analysis
- N. Weaver: Intuitionism and the liar paradox
Mathematical Reviews
- E. Frittaion, T. Nemoto, M. Rathjen: Choice and independence of premise rules in intuitionistic set theory
- T. van Gessel: Questions in Two-Dimensional Logic
- P. Pawlowski, R. Urbaniak: Informal Provability, First-Order BAT Logic and First Steps Towards a Formal Theory of Informal Provability
- I. Ciardelli, G. Grilletti: Coherence in inquisitive first-order logic
- G. Fellin, P. Schuster, D. Wessel: The Jacobson radical of a propositional theory
- M. Erdelyi-Szabo: Encoding true second-order arithmetic in the real-algebraic structure of models of intuitionistic elementary analysis
- L. Estrada-Gonzalez, L., C. L. Tanus-Pimentel: Variable sharing in connexive logic
- V. Brattka, G. Gherardi: Weihrauch goes Brouwerian
- T. Nemoto: A constructive proof of the dense existence of nowhere-differentiable functions in C[0, 1]
- M. Frank: Interpolating between choices for the approximate intermediate value theorem
- P. Collins: Computable analysis with applications to dynamic systems
- J. Berger, G. Svindland: Convexity and unique minimum points
- J. Millson, C. Strasser: A logic for best explanations
- P. Osinenko, S. Streif: A constructive version of the extremum value theorem for spaces of vector-valued functions
- H. Diener, M. Hendtlass: Bishop's lemma
- D. Rinaldi, P. Schuster, D. Wessel: Eliminating disjunctions by disjunction elimination
- D. Bridges, M. Hendtlass, E. Palmgren: A constructive Examination of Rectifiability
- A. Mahboubi: An induction principle over real numbers
- C. Duguid: Graph theory and the identity of indiscernibles
- Vít Punčochář: Intensionalisation of Logical Operators
- A. G. Melnikov and K. M. Ng: Computable structures and operations on the space of continuous functions
Journals
- Notre Dame Journal of Formal Logic
- Erkennnis
- Review of Symbolic Logic
- Documenta Matematicae
- Logical Methods in Computer Science
- Philosophical Transactions of the Royal Society A
- Journal of Logic and Analysis
- Journal of Logic and Computation
- Mathematical Logic Quarterly
- Bulletin of Symbolic Logic
- Archive for Mathematical Logic
- Computability
- Journal of the Indian Mathematical Society
- Indagationes Mathematicae
- Fuzzy sets and systems
- Philosophia Mathematica
- European Journal of Mathematics
- Discussiones Mathematicae - General Algebra and Applications
- Open Mathematics
- Book proposal for Birkhäuser/Springer
- Handbook of Constructive Mathematics
- Various Conference Proceedings
Back to my webpage
Last modified: 24.03.2024