A semantical proof of De Jongh's theorem

DOI10.1007/BF01387763zbMath0712.03047OpenAlexW2095552684MaRDI QIDQ1812961

Jaap van Oosten

Publication date: 25 June 1992

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

Full work available at URL: https://doi.org/10.1007/bf01387763

zbMATH Keywords

Kleene's realizabilityDe Jongh's maximality theoremintuitionistic first-order arithmetic HAintuitionistic first-order predicate logicsheaf models of realizability

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30) Metamathematics of constructive systems (03F50)

Related Items

Realizability Models Separating Various Fan Theorems ⋮ THE FIRST-ORDER LOGIC OF CZF IS INTUITIONISTIC FIRST-ORDER LOGIC ⋮ Substitutions of \(\Sigma_1^0\)-sentences: Explorations between intuitionistic propositional logic and intuitionistic arithmetic ⋮ Relative and modified relative realizability

Cites Work

• Unnamed Item
• Unnamed Item
• The lambda calculus, its syntax and semantics
• Classical recursion theory. The theory of functions and sets of natural numbers
• Constructivism in mathematics. An introduction. Volume II
• Metamathematical investigation of intuitionistic arithmetic and analysis. With contributions by C. A. Smorynski, J. I. Zucker and W. A. Howard
• The upper semi-lattice of degrees of recursive unsolvability
• SOME VARIANTS OF THE NOTION OF REALIZABILITY FOR PREDICATE FORMULAS
• ABSOLUTE REALIZABILITY OF PREDICATE FORMULAS
• Relativized realizability in intuitionistic arithmetic of all finite types

This page was built for publication: A semantical proof of De Jongh's theorem