Intuitionistic Version of the Los-Tarski-Robinson Theorem

Annals of the Japan Association for Philosophy of Science 4 (5):323-332 (1975)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.4288/jafpos1956.4.323

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,098

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Interpolation Theorem and Characterization Theorem.Nobuyoshi Motohashi - 1972 - Annals of the Japan Association for Philosophy of Science 4 (2):85-150.
Intuitionistic Predicate Calculus with ^|^epsilon;-Symbol.Kokio Shirai - 1971 - Annals of the Japan Association for Philosophy of Science 4 (1):49-67.
Bernays and the Completeness Theorem.Walter Dean - 2017 - Annals of the Japan Association for Philosophy of Science 25:45-55.
Type Theory and the Theory of Meaning: Towards an Intuitionistic View of Language.Hirofumi Saito - 2006 - Annals of the Japan Association for Philosophy of Science 14 (2):113-121.
Extending the Family of Intuitionistic Many-Valued Logics Introduced by Rousseau.Mitio Takano - 1986 - Annals of the Japan Association for Philosophy of Science 7 (1):47-56.
Bell's Theorem and the Theory of Relativity.Yutaka Tanaka - 1992 - Annals of the Japan Association for Philosophy of Science 8 (2):49-67.
Cut-Elimination in the Intuitionistic Many-Valued Logic Based on a Partial Order.Mitio Takano - 1988 - Annals of the Japan Association for Philosophy of Science 7 (3):117-123.
Use and Misuse of G^|^ouml;del's Theorem.Shingo Fujita - 2003 - Annals of the Japan Association for Philosophy of Science 12 (1):1-14.
An Extension of the Craig-Sch^|^uuml;tte Interpolation Theorem.Takashi Nagashima - 1966 - Annals of the Japan Association for Philosophy of Science 3 (1):12-18.
On a Relationship between Gödel's Second Incompleteness Theorem and Hilbert's Program.Ryota Akiyoshi - 2009 - Annals of the Japan Association for Philosophy of Science 17:13-29.

Analytics

Added to PP
2016-06-30

Downloads
16 (#934,884)

6 months
3 (#1,045,901)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Interpolation Theorem and Characterization Theorem.Nobuyoshi Motohashi - 1972 - Annals of the Japan Association for Philosophy of Science 4 (2):85-150.

Add more references