Constructive assertions in an extension of classical mathematics

DOI10.2307/2273147MaRDI QIDQ3949046zbMATH OpenOpenAlexFDO

Authors Vladimir Lifschitz

Publication date 1982

Published in Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.2307/2273147

zbMATH Keywords

additional unary predicateeffective computabilitygeneralized Church's thesisMarkov's principleselection axiomsemanticsthe number x is knownuniformity scheme

Mathematics Subject Classification ID

Computability and recursion theory on ordinals, admissible sets, etc. (03D60) Metamathematics of constructive systems (03F50) Abstract data types; algebraic specification (68Q65)

Cited in

(3)

• Towards formalizing non-monotonic reasoning in physics: logical approach based on physical induction and its relation to Kolmogorov complexity
• Intuitionistic analysis at the end of time
• The knowing mathematician

This page was built for publication: Constructive assertions in an extension of classical mathematics

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