One conservative extension of formal mathematical analysis with a scheme of dependent choice

DOI10.1007/BF01147693MaRDI QIDQ1132867zbMATH OpenOpenAlexFDO

Authors A. M. Levin

Publication date 1978

Published in Mathematical Notes (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/bf01147693

zbMATH Keywords

conservative extension of classical analysisdependent choicesecond order arithmetic

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) General logic (03B99) Other set-theoretic hypotheses and axioms (03E65) Nonclassical and second-order set theories (03E70) Nonstandard models of arithmetic (03H15)

Cites work

• scientific article; zbMATH DE number 3389036 (Why is no real title available?)
• Models of second order arithmetic with definable Skolem functions

This page was built for publication: One conservative extension of formal mathematical analysis with a scheme of dependent choice

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1132867)