Abrusci, VM and Ruet, P., Non-commutative logic I: the multiplicative fragment (1) 29} 64 Bridges, D., Richman, F. and Schuster, P., Linear independence without choice (1) 95} 102 Creed, P. and Truss, JK, On o-amorphous sets (2} 3) 185} 226 [Book Review]

, , &
Annals of Pure and Applied Logic 101 (1):299 (1999)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

2000

DOI

10.1016/s0168-0072(99)00029-9

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 107,826

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

Non-commutative logic I: the multiplicative fragment.V. Michele Abrusci & Paul Ruet - 1999 - Annals of Pure and Applied Logic 101 (1):29-64.
Baaz, M., HaHjek, P., Montagna, F. and Veith, H., Complexity of t-tautologies (1} 3) 3} 11 Beauquier, D. and Slissenko, A., A" rst order logic for speci" cation of timed algorithms: basic properties and a decidable class (1} 3) 13} 52. [REVIEW]L. Boasson, P. Cegielski, I. Guessarian, Y. Matiyasevich, E. Dantsin, M. Gavrilovich, E. A. Hirsch & B. Konev - 2001 - Annals of Pure and Applied Logic 113 (399):400.
Non-commutative logic I: the multiplicative fragment.P. Ruet & M. Abrusci - 1999 - Annals of Pure and Applied Logic 101 (1):29-64.
AsperoH, D. and Bagaria, J., Bounded forcing axioms and the continuum (3) 179} 203 Bagaria, J., see AsperoH, D.(3) 179} 203 Balcar, B. and Simon, P., The name for Kojman} Shelah collapsing function (1} 2) 131} 137. [REVIEW]G. JaKger, R. Kahle & T. Studer - 2001 - Annals of Pure and Applied Logic 109:243.
Bounded arithmetic and the polynomial hierarchy.Jan Krajíček, Pavel Pudlák & Gaisi Takeuti - 1991 - Annals of Pure and Applied Logic 52 (1-2):143-153.
BLASS. A., A game semantics for linear logic CENZER, D. and REMMEL, J., Polynomial-time Abehan groups CLOTE, P. and TAKEUTI, G., Bounded arithmetic for NC, ALogTIME, L and NL. [REVIEW]P. Lincoln, J. Mitchell & A. Scedrov - 1992 - Annals of Pure and Applied Logic 56:365.
E. P. Northrop, R. S. Fouch, I. R. Hershner, S. P. Hughart, W. S. Karush, J. S. Leech, D. M. Merriell, W. H. L. Meyer, H. F. Mist, A. L. Putnam, S. Sherman, G. F. Simmons, E. F. Trombley. Fundamental mathematics. Prepared for the general course Mathematics 1 in the College. Third edition, lithoprinted, vol. 1. The University of Chicago Press, Chicago1948, pp. vi, 1–281. - E. P. Northrop, R. S. Fouch, M. Friedman, S. P. Hughart, W. S. Karush, J. S. Leech, D. M. Merriell, W. H. L. Meyer, E. H. Ostrow, A. L. Putnam, G. F. Simmons, E. F. Trombley. Fundamental mathematics. Prepared for the general course Mathematics 1 in the College. Third edition, lithoprinted, vols. 2 and 3. The University of Chicago Press, Chicago1949, pp. v, 282–533; v, 534–921. [REVIEW]A. F. Bausch - 1950 - Journal of Symbolic Logic 14 (4):242-243.
The geometry of weakly minimal types.Steven Buechler - 1985 - Journal of Symbolic Logic 50 (4):1044-1053.
Thephilosophyofautomatedtheoremproving.Francis Jeffry Pelletier - unknown
∑2-constructions and I∑1.Marcia Groszek & Tamara Hummel - 1998 - Annals of Pure and Applied Logic 93 (1-3):83-101.

Analytics

Added to PP
2014-03-20

Downloads
25 (#1,037,317)

6 months
5 (#1,069,775)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

A version of o-minimality for the p-adics.Deirdre Haskell & Dugald Macpherson - 1997 - Journal of Symbolic Logic 62 (4):1075-1092.
Notes on local o‐minimality.Carlo Toffalori & Kathryn Vozoris - 2009 - Mathematical Logic Quarterly 55 (6):617-632.
One-dimensional fibers of rigid subanalytic sets.L. Lipshitz & Z. Robinson - 1998 - Journal of Symbolic Logic 63 (1):83-88.
On ℵ0‐categorical weakly circularly minimal structures.Beibut Sh Kulpeshov - 2006 - Mathematical Logic Quarterly 52 (6):555-574.

View all 7 citations / Add more citations

References found in this work

No references found.

Add more references