Elimination of Skolem functions for monotone formulas in analysis
From MaRDI portal
Publication:1267846
DOI10.1007/s001530050104zbMath0916.03040OpenAlexW2001283416MaRDI QIDQ1267846
Publication date: 25 November 1998
Published in: Archive for Mathematical Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s001530050104
Functionals in proof theory (03F10) Second- and higher-order arithmetic and fragments (03F35) Proof theory in general (including proof-theoretic semantics) (03F03) Relative consistency and interpretations (03F25)
Related Items
NON-PRINCIPAL ULTRAFILTERS, PROGRAM EXTRACTION AND HIGHER-ORDER REVERSE MATHEMATICS ⋮ 2009 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '09 ⋮ Term extraction and Ramsey's theorem for pairs ⋮ Program extraction for 2-random reals ⋮ Primitive recursion and the chain antichain principle ⋮ Things that can and things that cannot be done in PRA ⋮ On the computational content of the Bolzano-Weierstraß Principle ⋮ Local stability of ergodic averages ⋮ On the arithmetical content of restricted forms of comprehension, choice and general uniform boundedness
