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

DOI10.1007/BF01147693zbMath0421.03019OpenAlexW2145305313MaRDI QIDQ1132867

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

dependent choicesecond order arithmeticconservative extension of classical analysis

Mathematics Subject Classification ID

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

Cites Work

• Models of second order arithmetic with definable Skolem functions
• Unnamed Item

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