Campagne de collecte 15 septembre 2024 – 1 octobre 2024 C'est quoi, la collecte de fonds?

Volume 54; Issue 1

Main
Journal of Symbolic Logic
Volume 54; Issue 1

Journal of Symbolic Logic

Volume 54; Issue 1

1

Front Matter

Journal:

Journal of Symbolic Logic

Année:

1989

Langue:

english

Fichier:

PDF, 103 KB

english, 1989

2

Finite Injury and ∑1-Induction

Michael Mytilinaios

Journal:

Journal of Symbolic Logic

Année:

1989

Langue:

english

Fichier:

PDF, 277 KB

english, 1989

3

A Construction of Non-Well-Founded Sets within Martin-Löf's Type Theory

Ingrid Lindström

Journal:

Journal of Symbolic Logic

Année:

1989

Langue:

english

Fichier:

PDF, 182 KB

english, 1989

4

Positive Σ Operations on Ordinals and Normal Filters on Greatly Mahlo Cardinals

Journal:

Journal of Symbolic Logic

Année:

1989

Langue:

english

Fichier:

PDF, 209 KB

english, 1989

5

Compact and Majorizable Functionals of Finite Type

Journal:

Journal of Symbolic Logic

Année:

1989

Langue:

english

Fichier:

PDF, 280 KB

english, 1989

6

Consistency Results About Filters and the Number of Inequivalent Growth Types

Andreas Blass and Claude Laflamme

Journal:

Journal of Symbolic Logic

Année:

1989

Langue:

english

Fichier:

PDF, 198 KB

english, 1989

7

Models with Second Order Properties in Successors of Singulars

Journal:

Journal of Symbolic Logic

Année:

1989

Langue:

english

Fichier:

PDF, 386 KB

english, 1989

8

Finite extensions and the number of countable models

Millar, Terrence

Journal:

Journal of Symbolic Logic

Année:

1989

Langue:

english

Fichier:

PDF, 531 KB

english, 1989

9

Finitely based theories

Hrushovski, Ehud

Journal:

Journal of Symbolic Logic

Année:

1989

Langue:

english

Fichier:

PDF, 479 KB

english, 1989

10

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, Paris 1987, 147 pp.

Journal:

Journal of Symbolic Logic

Année:

1989

Langue:

english

Fichier:

PDF, 512 KB

english, 1989

11

Patching ideal families and enforcing reflection

Leary, Christopher C.

Journal:

Journal of Symbolic Logic

Année:

1989

Langue:

english

Fichier:

PDF, 794 KB

english, 1989

12

Intensional logic and two-sorted type theory

Zimmermann, Thomas Ede

Journal:

Journal of Symbolic Logic

Année:

1989

Langue:

english

Fichier:

PDF, 323 KB

english, 1989

13

Martin's axioms, measurability and equiconsistency results

Ihoda, Jaime I., Shelah, Saharon

Journal:

Journal of Symbolic Logic

Année:

1989

Langue:

english

Fichier:

PDF, 1.00 MB

english, 1989

14

Models with the ω-property

Journal:

Journal of Symbolic Logic

Année:

1989

Langue:

english

Fichier:

PDF, 928 KB

english, 1989

15

Complementation in the Turing degrees

Slaman, Theodore A., Steel, John R.

Journal:

Journal of Symbolic Logic

Année:

1989

Langue:

english

Fichier:

PDF, 1.28 MB

english, 1989

16

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

Malitz, Jerome I.

Journal:

Journal of Symbolic Logic

Année:

1989

Langue:

english

Fichier:

PDF, 334 KB

english, 1989

17

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

Cohen, Daniel H.

Journal:

Journal of Symbolic Logic

Année:

1989

Langue:

english

Fichier:

PDF, 515 KB

english, 1989

18

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

Hirschfeld, Joram

Journal:

Journal of Symbolic Logic

Année:

1989

Langue:

english

Fichier:

PDF, 323 KB

english, 1989

19

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

Pfenning, Frank

Journal:

Journal of Symbolic Logic

Année:

1989

Langue:

english

Fichier:

PDF, 328 KB

english, 1989

20

Oddie Graham. 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.

Niiniluoto, Ilkka

Journal:

Journal of Symbolic Logic

Année:

1989

Langue:

english

Fichier:

PDF, 330 KB

english, 1989

21

Abstract hierarchies and degrees

Ivanov, Ljubomir L.

Journal:

Journal of Symbolic Logic

Année:

1989

Langue:

english

Fichier:

PDF, 673 KB

english, 1989

22

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

Grattan-Guinness, I.

Journal:

Journal of Symbolic Logic

Année:

1989

Langue:

english

Fichier:

PDF, 298 KB

english, 1989

23

Ultrafilters of character ω 1

Hart, Klaas Pieter

Journal:

Journal of Symbolic Logic

Année:

1989

Langue:

english

Fichier:

PDF, 1008 KB

english, 1989

24

Notices

Journal:

Journal of Symbolic Logic

Année:

1989

Langue:

english

Fichier:

PDF, 265 KB

english, 1989

25

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

Dawson, John W.

Journal:

Journal of Symbolic Logic

Année:

1989

Langue:

english

Fichier:

PDF, 415 KB

english, 1989

26

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

Journal:

Journal of Symbolic Logic

Année:

1989

Langue:

english

Fichier:

PDF, 328 KB

english, 1989

27

Classification and interpretation

Baudisch, Andreas

Journal:

Journal of Symbolic Logic

Année:

1989

Langue:

english

Fichier:

PDF, 1.47 MB

english, 1989

28

Sequential theories and infinite distributivity in the lattice of chapters

Journal:

Journal of Symbolic Logic

Année:

1989

Langue:

english

Fichier:

PDF, 1.09 MB

english, 1989

29

Generalizations of the one-dimensional version of the Kruskal-Friedman theorems

Journal:

Journal of Symbolic Logic

Année:

1989

Langue:

english

Fichier:

PDF, 1.60 MB

english, 1989

30

JSL volume 54 issue 1 Cover and Back matter

Journal:

Journal of Symbolic Logic

Année:

1989

Langue:

english

Fichier:

PDF, 6.29 MB

english, 1989

31

Kueker's conjecture for stable theories

Hrushovski, Ehud

Journal:

Journal of Symbolic Logic

Année:

1989

Langue:

english

Fichier:

PDF, 1016 KB

english, 1989

32

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

Sadock, Jerrold M.

Journal:

Journal of Symbolic Logic

Année:

1989

Langue:

english

Fichier:

PDF, 400 KB

english, 1989

33

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

Hellman, Geoffrey

Journal:

Journal of Symbolic Logic

Année:

1989

Langue:

english

Fichier:

PDF, 420 KB

english, 1989

34

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

Journal:

Journal of Symbolic Logic

Année:

1989

Langue:

english

Fichier:

PDF, 520 KB

english, 1989

35

Herbrand-Analysen zweier Beweise des Satzes von Roth: Polynomiale Anzahlschranken

Journal:

Journal of Symbolic Logic

Année:

1989

Fichier:

PDF, 1.69 MB

1989

36

JSL volume 54 issue 1 Cover and Front matter

Journal:

Journal of Symbolic Logic

Année:

1989

Langue:

english

Fichier:

PDF, 7.19 MB

english, 1989

37

Subgroups of small index in infinite symmetric groups. II

Shelah, Saharon, Thomas, Simon

Journal:

Journal of Symbolic Logic

Année:

1989

Langue:

english

Fichier:

PDF, 387 KB

english, 1989

38

Back Matter

Journal:

Journal of Symbolic Logic

Année:

1989

Langue:

english

Fichier:

PDF, 113 KB

english, 1989

39

Notices

Journal:

Journal of Symbolic Logic

Année:

1989

Langue:

english

Fichier:

PDF, 121 KB

english, 1989