Two Hypergrαph Theorems Equivalent toBPI
Notre Dame Journal of Formal Logic 31 (2):232-240 (1990)
Abstract
This article has no associated abstract. (fix it)DOI
10.1305/ndjfl/1093635418
Links
PhilArchive
External links
(no proxy)
Setup an account with your affiliations in order to access resources via your University's proxy server
Through your library
- Sign in / register and customize your OpenURL resolver
- Configure custom resolver
My notes
Similar books and articles
Two hypergraph theorems equivalent to ${\rm BPI}$.Robert H. Cowen - 1990 - Notre Dame Journal of Formal Logic 31 (2):232-240.
Restricted versions of the Tukey-Teichmüller theorem that are equivalent to the Boolean prime ideal theorem.R. E. Hodel - 2005 - Archive for Mathematical Logic 44 (4):459-472.
Reverse Mathematics and Completeness Theorems for Intuitionistic Logic.Takeshi Yamazaki - 2001 - Notre Dame Journal of Formal Logic 42 (3):143-148.
Preservation theorems without continuum hypothesis.George C. Nelson - 1998 - Studia Logica 60 (3):343-355.
Deduction theorems for weak implicational logics.M. W. Bunder - 1982 - Studia Logica 41 (2-3):95 - 108.
On some Theorems Equivalent with the Axiom of Choice.Bernhard Banaschewski - 1961 - Mathematical Logic Quarterly 7 (17‐18):279-282.
Connections between axioms of set theory and basic theorems of universal algebra.H. Andréka, Á Kurucz & I. Németi - 1994 - Journal of Symbolic Logic 59 (3):912-923.
On defining necessity in terms of entailment.Dennis Henry & Michael Byrd - 1979 - Studia Logica 38 (2):95 - 104.
Four relevant Gentzen systems.Steve Giambrone & Aleksandar Kron - 1987 - Studia Logica 46 (1):55 - 71.
Two further combinatorial theorems equivalent to the 1-consistency of peano arithmetic.Peter Clote & Kenneth Mcaloon - 1983 - Journal of Symbolic Logic 48 (4):1090-1104.
Review: S. Mrowka, Fundamenta mathemattcae; Bernhard Banaschewski, On Some Theorems Equivalent with the Axiom of Choice. [REVIEW]Azriel Lévy - 1963 - Journal of Symbolic Logic 28 (2):168-168.
Separation and weak könig's lemma.A. James Humphreys & Stephen G. Simpson - 1999 - Journal of Symbolic Logic 64 (1):268-278.
The 3-Stratifiable Theorems of.Marcel Crabbé - 1999 - Notre Dame Journal of Formal Logic 40 (2):174-182.
Analytics
Added to PP
2014-04-07
Downloads
7 (#1,044,144)
6 months
1 (#447,993)
2014-04-07
Downloads
7 (#1,044,144)
6 months
1 (#447,993)
Historical graph of downloads
