scientific article; zbMATH DE number 5838313
From MaRDI portal
Publication:3069633
Cited in
(20)- A new model construction by making a detour via intuitionistic theories. III: Ultrafinitistic proofs of conservations of \(\Sigma_1^1\) collection
- Metamathematical properties of a constructive multi-typed theory
- Fundamental notions of analysis in subsystems of second-order arithmetic
- Grothendieck's unifying vision of geometry
- Program size complexity of correction grammars in the Ershov hierarchy
- Changing a Semantics: Opportunism or Courage?
- scientific article; zbMATH DE number 619555 (Why is no real title available?)
- Primitive recursion and the chain antichain principle
- The Borel complexity of isomorphism for o-minimal theories
- Reverse mathematics, Young diagrams, and the ascending chain condition
- Computation and indispensability
- Reverse mathematics of the finite downwards closed subsets of ordered by inclusion and adjacent Ramsey for fixed dimension
- Direct construction of Scott ideals
- What is worthy of investigation? Philosophical attitudes and their impact on mathematical development by the example of discovering 10-adic numbers
- A new model construction by making a detour via intuitionistic theories. IV: A closer connection between \(\mathrm{KP} \omega\) and \(\mathrm{BI}\).
- Searching problems above arithmetical transfinite recursion
- Properties of range sets of continuous functions in reverse mathematics
- Constructivity conditions on immune sets
- Reductions of well-ordering principles to combinatorial theorems
- Complex analysis in subsystems of second order arithmetic
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 Q3069633)
