Skip to main content
SpringerLink
Log in

Absolute L-Realizability and Intuitionistic Logic

  • Brief Communications
  • Published:
Moscow University Mathematics Bulletin Aims and scope

Abstract

An absolute L-realizability of predicate formulas is introduced for all countable extensions L of the language of arithmetic. It is proved that the intuitionistic logic is not sound with this semantics.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

References

  1. S. C. Kleene, Introduction to Metamathematics (North-Holland Publishing Company, 1952; IL, Moscow, 1957).

    MATH  Google Scholar 

  2. V. E. Plisko, “Absolute Realizability of Predicate Formulas,” Izvestiya Akad. Nauk SSSR, Matem. 47 (2), 315 (1983).

    MathSciNet  Google Scholar 

  3. S. Salehi, “Primitive Recursive Realizability and Basic Arithmetic,” Bull. Symbol. Logic. 7 (1), 147 (2001).

    Google Scholar 

  4. W. Ruitenburg, “Basic Predicate Calculus,” Notre Dame J. Formal Logic 39 (1), 18 (1998).

    Article  MathSciNet  MATH  Google Scholar 

  5. A. Yu. Konovalov and V. E. Plisko, “On Hyperarithmetical Realizability,” Matem. Zametki 98 (5), 725 (2015) [Math. Notes 98 (5), 778 (2015)].

    Article  MathSciNet  MATH  Google Scholar 

  6. A. Yu. Konovalov, “Arithmetical Realizability and Basic Logic,” Vestn. Mosk. Univ., Matem. Mekhan., No. 1, 52 (2016).

    MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Faculty of Mechanics and Mathematics, Moscow State University, Leninskie Gory, Moscow, 119991, Russia

    A. Yu. Konovalov

Authors
  1. A. Yu. Konovalov
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to A. Yu. Konovalov.

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Konovalov, A.Y. Absolute L-Realizability and Intuitionistic Logic. Moscow Univ. Math. Bull. 74, 79–82 (2019). https://doi.org/10.3103/S0027132219020086

Download citation

  • Received:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.3103/S0027132219020086

Search

Navigation