Decidability and Specker sequences in intuitionistic mathematics

DOI10.1002/malq.200710094zbMath1192.03046OpenAlexW2030330301MaRDI QIDQ3650323

Rasoul Ramezanian, Mohammad Ardeshir

Publication date: 14 December 2009

Published in: Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/malq.200710094

zbMATH Keywords

decidabilityintuitionistic mathematicsSpecker sequences

Mathematics Subject Classification ID

Constructive and recursive analysis (03F60) Decidability of theories and sets of sentences (03B25) Intuitionistic mathematics (03F55)

Related Items (2)

On the constructive notion of closure maps ⋮ The double negation of the intermediate value theorem

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Constructivism in mathematics. An introduction. Volume I
• An interpretation of intuitionistic analysis
• Specker sequences revisited
• Nicht konstruktiv beweisbare Sätze der Analysis

This page was built for publication: Decidability and Specker sequences in intuitionistic mathematics