Predicate Logics of Constructive Arithmetical Theories

DOI10.2178/jsl/1164060457zbMath1116.03055OpenAlexW1991452220MaRDI QIDQ3416116

Albert Visser

Publication date: 19 January 2007

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

Full work available at URL: https://doi.org/10.2178/jsl/1164060457

zbMATH Keywords

Heyting arithmeticconstructive logicrelative interpretationspredicate logics of arithmetical theories

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30) Metamathematics of constructive systems (03F50) Relative consistency and interpretations (03F25)

Related Items (2)

Lewis meets Brouwer: constructive strict implication ⋮ Closed Fragments of Provability Logics of Constructive Theories

Cites Work

• Faith \& falsity
• Incompleteness in intuitionistic metamathematics
• Constructivism in mathematics. An introduction. Volume I
• No escape from Vardanyan's theorem
• SOME VARIANTS OF THE NOTION OF REALIZABILITY FOR PREDICATE FORMULAS
• The degree of the set of sentences of predicate provability logic that are true under every interpretation
• The nonderivability in intuitionistic formal systems of theorems on the continuity of effective operations
• THE NONARITHMETICITY OF THE CLASS OF REALIZABLE PREDICATE FORMULAS
• Fragments of Heyting arithmetic
• On the completenes principle: A study of provability in heyting's arithmetic and extensions
• Rules and arithmetics
• Substitutions of \(\Sigma_1^0\)-sentences: Explorations between intuitionistic propositional logic and intuitionistic arithmetic

This page was built for publication: Predicate Logics of Constructive Arithmetical Theories