Archive for Mathematical Logic [Book Review]

Bulletin of Symbolic Logic 7 (4):534-535 (2001)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2687805

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,923

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

Wolfgang Burr and Volker Hartung. A characterization of the Σ 1 -definable functions of KPω + (uniform AC). Archive for mathematical logic, vol. 37 no. 3 (1998), pp. 199–214. - Wolfgang Burr. A Diller—Nahm-style functional interpretation of KPω. Archive for mathematical logic, vol. 39 no. 8 (2000), pp. 599–604. [REVIEW]Reinhard Kahle - 2001 - Bulletin of Symbolic Logic 7 (4):532-533.
On cut elimination in the presence of perice rule.Lev Gordeev - 1987 - Archive for Mathematical Logic 26 (1):147-164.
Propositional logic of continuous transformations in Cantor space.Grigori Mints & Ting Zhang - 2005 - Archive for Mathematical Logic 44 (6):783-799.
Provability in predicate product logic.Michael C. Laskowski & Shirin Malekpour - 2007 - Archive for Mathematical Logic 46 (5-6):365-378.
Strongly meager sets of size continuum.Tomek Bartoszynski & Saharon Shelah - 2003 - Archive for Mathematical Logic 42 (8):769-779.
On the [mathematical formula]-cub game on [mathematical formula] and [mathematical formula].Taneli Huuskonen, Tapani Hyttinen & Mika Rautila - 1999 - Archive for Mathematical Logic 38 (8):549-557.
Reviewed Work: Recent papers on the tree property. Aronszajn trees and failure of the Singular Cardinal Hypothesis. Journal of Mathematical Logic, vol. 9, no. 1 , The tree property at ℵ ω+1. Journal of Symbolic Logic, vol. 77, no. 1 , The tree property and the failure of SCH at uncountable confinality. Archive for Mathematical Logic, vol. 51, no. 5-6 , The tree property and the failure of the Singular Cardinal Hypothesis at [image]. Journal of Symbolic Logic, vol. 77, no. 3 , Aronszajn trees and the successors of a singular cardinal. Archive for Mathematical Logic, vol. 52, no. 5-6 , The tree property up to ℵ ω+1. Journal of Symbolic Logic. vol. 79, no. 2 by Itay Neeman; Dima Sinapova; Spencer Unger. [REVIEW]Review by: James Cummings - 2015 - Bulletin of Symbolic Logic 21 (2):188-192.
A characterization of the [mathematical formula]-definable functions of [mathematical formula].Wolfgang Burr & Volker Hartung - 1997 - Archive for Mathematical Logic 36 (3).
The problem of the formalization of constructive topology.Silvio Valentini - 2005 - Archive for Mathematical Logic 44 (1):115-129.
An ordinal analysis of parameter free Π12-comprehension.Michael Rathjen - 2005 - Archive for Mathematical Logic 44 (3):263-362.
The decision problem for [mathematical formula]-lattices with [mathematical formula] prime.Carlo Toffalori - 1997 - Archive for Mathematical Logic 36 (2).
A hierarchy of filters smaller than [mathematical formula].Yoshihiro Abe - 1997 - Archive for Mathematical Logic 36 (6).
Erratum: “Forcing and antifoundation”. [REVIEW]Athanassios Tzouvaras - 2005 - Archive for Mathematical Logic 44 (5):663-663.
P 0 1 \pi^0_1 -presentations of algebras.Bakhadyr Khoussainov, Theodore Slaman & Pavel Semukhin - 2006 - Archive for Mathematical Logic 45 (6):769-781.
Advances in the ŁΠ and \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}\end{document} logics. [REVIEW]Petr Cintula - 2003 - Archive for Mathematical Logic 42 (5):449-468.

Analytics

Added to PP
2016-06-30

Downloads
13 (#1,062,726)

6 months
2 (#1,255,269)

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

Add more references