The Journal of Symbolic Logic: Volume 54 - Issue 1

Compact and majorizable functionals of finite type
Marc Bezem
Published online by Cambridge University Press:

12 March 2014, pp. 271-280
- Article
- - Get access
    
    Check if you have access via personal or institutional login
    
    Log in Register
- Export citation
The main result of this paper will be that various notions of majorizability and compactness coincide in the full typestructure over the natural numbers. Moreover we shall show that the extensional typestructure of strongly majorizable functionals can be obtained by applying Zucker's construction ( )E to any of these coinciding intensional typestructures. A different result is proved in the typestructure of effective operations, where not every majorizable functional is compact. Finally we shall introduce the concept of relative compactness in the full typestructure and prove that there are just two degrees of compactness.

Logic, semantics, metamathematics, Papers from 1923 to 1938, by Alfred Tarski, translated by J. H. Woodger, second edition edited and introduced by John Corcoran, Hackett Publishing Company, Indianapolis 1983, xxx + 506 pp.
I. Grattan-Guinness
Published online by Cambridge University Press:

12 March 2014, pp. 281-282
- Article
- - Get access
    
    Check if you have access via personal or institutional login
    
    Log in Register
- Export citation

Gödel remembered, Salzburg 10–12 July 1983, edited by Paul Weingartner and Leopold Schmetterer, History of logic, no. 4, Bibliopolis, Naples1987, 187 pp.
John W. Dawson, Jr.
Published online by Cambridge University Press:

12 March 2014, pp. 282-284
- Article
- - Get access
    
    Check if you have access via personal or institutional login
    
    Log in Register
- Export citation

Modèles non standard en arithmétique et théorie des ensembles, Publications mathématiques de l'Université Paris VII, no. 22, U.E.R. de Mathématiques, Paris1987, 147 pp.
Peter Clote
Published online by Cambridge University Press:

12 March 2014, pp. 284-287
- Article
- - Get access
    
    Check if you have access via personal or institutional login
    
    Log in Register
- Export citation

Neil Immerman. Upper and lower bounds for first order expressibility. Journal of computer and system sciences, vol. 25 (1982), pp. 76–98. - Neil Immerman. Relational queries computable in polynomial time. Information and control, vol. 68 (1986), pp. 86–104. - Neil Immerman. Languages that capture complexity classes. SIAM journal on computing, vol. 16 (1987), pp. 760–778.
Samuel Buss
Published online by Cambridge University Press:

12 March 2014, pp. 287-288
- Article
- - Get access
    
    Check if you have access via personal or institutional login
    
    Log in Register
- Export citation

Jean H. Gallier. Logic for computer science. Foundations of automatic theorem proving. Harper & Row computer science and technology series. Harper & Row, New York1986, xv + 511 pp.
Frank Pfenning
Published online by Cambridge University Press:

12 March 2014, pp. 288-289
- Article
- - Get access
    
    Check if you have access via personal or institutional login
    
    Log in Register
- Export citation

P. T. Johnstone. Notes on logic and set theory. Cambridge University Press, Cambridge etc. 1987, x + 111 pp.
Jerome I. Malitz
Published online by Cambridge University Press:

12 March 2014, pp. 289-290
- Article
- - Get access
    
    Check if you have access via personal or institutional login
    
    Log in Register
- Export citation

Nigel J. Cutland. Nonstandard measure theory and its applications. The bulletin of the London Mathematical Society, vol. 15 (1983), pp. 529–589.
Joram Hirschfeld
Published online by Cambridge University Press:

12 March 2014, pp. 290-291
- Article
- - Get access
    
    Check if you have access via personal or institutional login
    
    Log in Register
- Export citation

Stewart Shapiro. Second-order languages and mathematical practice. The journal of symbolic logic, vol. 50 (1985), pp. 714–742.
Geoffrey Hellman
Published online by Cambridge University Press:

12 March 2014, pp. 291-293
- Article
- - Get access
    
    Check if you have access via personal or institutional login
    
    Log in Register
- Export citation

Richard Routley with Val Plumwood, Robert K. Meyer, and Ross T. Brady. Relevant logics and their rivals. Part I. The basic philosophical and semantical theory. Ridgeview Publishing Company, Atascadero, Calif., 1982, xv + 460 pp.
Daniel H. Cohen
Published online by Cambridge University Press:

12 March 2014, pp. 293-296
- Article
- - Get access
    
    Check if you have access via personal or institutional login
    
    Log in Register
- Export citation

Graham Oddie. Likeness to truth. The University of Western Ontario series in philosophy of science, vol. 30. D. Reidel Publishing Company, Dordrecht etc. 1986, xv + 218 pp.
Ilkka Niiniluoto
Published online by Cambridge University Press:

12 March 2014, pp. 296-297
- Article
- - Get access
    
    Check if you have access via personal or institutional login
    
    Log in Register
- Export citation

Ilkka Niiniluoto. Truthlikeness. Synthese library, vol. 195. D. Reidel Publishing Company, Dordrecht etc. 1987, xvii + 518 pp.
David Pearce
Published online by Cambridge University Press:

12 March 2014, pp. 297-300
- Article
- - Get access
    
    Check if you have access via personal or institutional login
    
    Log in Register
- Export citation

John R. Searle and Daniel Vanderveken. Foundations of illocutionary logic. Cambridge University Press, Cambridge etc. 1985, xi + 227 pp.
Jerrold M. Sadock
Published online by Cambridge University Press:

12 March 2014, pp. 300-302
- Article
- - Get access
    
    Check if you have access via personal or institutional login
    
    Log in Register
- Export citation

Notices
Published online by Cambridge University Press:

12 March 2014, pp. 303-304
- Article
- - Get access
    
    Check if you have access via personal or institutional login
    
    Log in Register
- Export citation

JSL volume 54 issue 1 Cover and Front matter
Published online by Cambridge University Press:

12 March 2014, pp. f1-f2
- Article
- - You have access
- PDF
- Export citation

JSL volume 54 issue 1 Cover and Back matter
Published online by Cambridge University Press:

12 March 2014, pp. b1-b2
- Article
- - You have access
- PDF
- Export citation

The Journal of Symbolic Logic

Refine listing

Actions for selected content:

Volume 54 - Issue 1 - March 1989

Research Article

Compact and majorizable functionals of finite type

Reviews

Logic, semantics, metamathematics, Papers from 1923 to 1938, by Alfred Tarski, translated by J. H. Woodger, second edition edited and introduced by John Corcoran, Hackett Publishing Company, Indianapolis 1983, xxx + 506 pp.

Gödel remembered, Salzburg 10–12 July 1983, edited by Paul Weingartner and Leopold Schmetterer, History of logic, no. 4, Bibliopolis, Naples1987, 187 pp.

Modèles non standard en arithmétique et théorie des ensembles, Publications mathématiques de l'Université Paris VII, no. 22, U.E.R. de Mathématiques, Paris1987, 147 pp.

Jean H. Gallier. Logic for computer science. Foundations of automatic theorem proving. Harper & Row computer science and technology series. Harper & Row, New York1986, xv + 511 pp.

P. T. Johnstone. Notes on logic and set theory. Cambridge University Press, Cambridge etc. 1987, x + 111 pp.

Nigel J. Cutland. Nonstandard measure theory and its applications. The bulletin of the London Mathematical Society, vol. 15 (1983), pp. 529–589.

Stewart Shapiro. Second-order languages and mathematical practice. The journal of symbolic logic, vol. 50 (1985), pp. 714–742.

Richard Routley with Val Plumwood, Robert K. Meyer, and Ross T. Brady. Relevant logics and their rivals. Part I. The basic philosophical and semantical theory. Ridgeview Publishing Company, Atascadero, Calif., 1982, xv + 460 pp.

Graham Oddie. Likeness to truth. The University of Western Ontario series in philosophy of science, vol. 30. D. Reidel Publishing Company, Dordrecht etc. 1986, xv + 218 pp.

Ilkka Niiniluoto. Truthlikeness. Synthese library, vol. 195. D. Reidel Publishing Company, Dordrecht etc. 1987, xvii + 518 pp.

John R. Searle and Daniel Vanderveken. Foundations of illocutionary logic. Cambridge University Press, Cambridge etc. 1985, xi + 227 pp.

Other

Notices

Front matter

JSL volume 54 issue 1 Cover and Front matter

Back matter

JSL volume 54 issue 1 Cover and Back matter

The Journal of Symbolic Logic

Refine listing

Actions for selected content:

Save Search

Volume 54 - Issue 1 - March 1989

Research Article

Reviews

Other

Front matter

Back matter