Predicate Logics of Constructive Arithmetical Theories

DOI10.2178/JSL/1164060457MaRDI QIDQ3416116zbMATH OpenOpenAlexFDO

Authors 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

constructive logicHeyting arithmeticpredicate logics of arithmetical theoriesrelative interpretations

Mathematics Subject Classification ID

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

Recommendations

• Arithmetic complexity of the predicate logics of certain complete arithmetic theories
• scientific article; zbMATH DE number 1567841
• Constructive formalization of the Tennenbaum theorem and its applications
• Constructive validity is nonarithmetic
• scientific article; zbMATH DE number 1285754

Cites work

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

Cited in

(15)

• Lewis meets Brouwer: constructive strict implication
• Predicativity and constructive mathematics
• The semantics of realizability for the constructive set theory based on hyperarithmetical predicates
• Challenges to predicative foundations of arithmetic
• scientific article; zbMATH DE number 4174914 (Why is no real title available?)
• scientific article; zbMATH DE number 3878894 (Why is no real title available?)
• Positive Arithmetic Without Exchange Is a Subclassical Logic
• Closed Fragments of Provability Logics of Constructive Theories
• scientific article; zbMATH DE number 1285754 (Why is no real title available?)
• Predicative Fragments of Frege Arithmetic
• scientific article; zbMATH DE number 1567841 (Why is no real title available?)
• Comparing Constructive Arithmetical Theories Based on NP-PIND and coNP-PIND
• scientific article; zbMATH DE number 857449 (Why is no real title available?)
• Predicative logic and formal arithmetic
• Constructive formalization of the Tennenbaum theorem and its applications

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

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