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

Volume 46; Issue 3

Main
Journal of Symbolic Logic
Volume 46; Issue 3

Journal of Symbolic Logic

Volume 46; Issue 3

1

Analysis Without Actual Infinity

Journal:

Journal of Symbolic Logic

Année:

1981

Langue:

english

Fichier:

PDF, 244 KB

english, 1981

2

Busy Beaver Sets and the Degrees of Unsolvability

Daley, Robert P.

Journal:

Journal of Symbolic Logic

Année:

1981

Langue:

english

Fichier:

PDF, 327 KB

english, 1981

3

The Ontology of William of Ockhamby Michael J. Loux

Review by: John Corcoran

Journal:

Journal of Symbolic Logic

Année:

1981

Langue:

english

Fichier:

PDF, 120 KB

english, 1981

4

Provability Interpretations of Modal Logicby Robert M. Solovay

Review by: George Boolos

Journal:

Journal of Symbolic Logic

Année:

1981

Langue:

english

Fichier:

PDF, 116 KB

english, 1981

5

Gonseth Ferdinand. Les fondements des mathematiques. De la géometrie d'Euclide à la relativé générate et à l'intuitionisme. A reprint of 3411. Librairie scientifique et technique. Albert Blanchard, Paris 1974, xiv + 243 pp.

Eggenberger, Peter

Journal:

Journal of Symbolic Logic

Année:

1981

Langue:

english

Fichier:

PDF, 255 KB

english, 1981

6

A result on implications of Σ 1-sentences and its application to normal form theorems

Girard, Jean-Yves, Päppinghaus, Peter

Journal:

Journal of Symbolic Logic

Année:

1981

Langue:

english

Fichier:

PDF, 643 KB

english, 1981

7

Recursive Boolean algebras with recursive atoms

Remmel, Jeffrey B.

Journal:

Journal of Symbolic Logic

Année:

1981

Langue:

english

Fichier:

PDF, 1.59 MB

english, 1981

8

An Algebraic Result about Soft Model Theoretical Equivalence Relations with an Application to H. Friedman's Fourth Problem

Daniele Mundici

Journal:

Journal of Symbolic Logic

Année:

1981

Langue:

english

Fichier:

PDF, 559 KB

english, 1981

9

Annual Meeting of the Association for Symbolic Logic, Washington, DC 1977

Journal:

Journal of Symbolic Logic

Année:

1981

Langue:

english

Fichier:

PDF, 1.03 MB

english, 1981

10

Notices

Journal:

Journal of Symbolic Logic

Année:

1981

Langue:

english

Fichier:

PDF, 179 KB

english, 1981

11

Predicate functors revisited

Journal:

Journal of Symbolic Logic

Année:

1981

Langue:

english

Fichier:

PDF, 350 KB

english, 1981

12

Meeting of the Association for Symbolic Logic, Karpacz, Poland, 1979

Pacholski, Leszek, Wierzejewski, Jedrzej

Journal:

Journal of Symbolic Logic

Année:

1981

Langue:

english

Fichier:

PDF, 956 KB

english, 1981

13

Shelah Saharon. End extensions and numbers of countable models. The journal of symbolic logic, vol. 43 (1978), pp. 550–562.

Journal:

Journal of Symbolic Logic

Année:

1981

Langue:

english

Fichier:

PDF, 252 KB

english, 1981

14

Preservation of saturation and stability in a variety of nilpotent groups

Journal:

Journal of Symbolic Logic

Année:

1981

Langue:

english

Fichier:

PDF, 959 KB

english, 1981

15

Rubin Matatyahu. Theories of linear order. Israel journal of mathematics, vol. 17 (1974), pp. 392–443.

Journal:

Journal of Symbolic Logic

Année:

1981

Langue:

english

Fichier:

PDF, 332 KB

english, 1981

16

Producing measurable cardinals beyond κ

Kleinberg, E. M.

Journal:

Journal of Symbolic Logic

Année:

1981

Langue:

english

Fichier:

PDF, 524 KB

english, 1981

17

The Metamathematics of Model Theory: Discovering Language in Action

Douglas E. Miller

Journal:

Journal of Symbolic Logic

Année:

1981

Langue:

english

Fichier:

PDF, 695 KB

english, 1981

18

First-Order Topological Axioms

R. D. Kopperman

Journal:

Journal of Symbolic Logic

Année:

1981

Langue:

english

Fichier:

PDF, 1015 KB

english, 1981

19

On the proof theory of the modal logic for arithmetic provability

Leivant, Daniel

Journal:

Journal of Symbolic Logic

Année:

1981

Langue:

english

Fichier:

PDF, 543 KB

english, 1981

20

JSL volume 46 issue 3 Cover and Back matter

Journal:

Journal of Symbolic Logic

Année:

1981

Langue:

english

Fichier:

PDF, 4.75 MB

english, 1981

21

Andréka H., Gergely T., and Németi I.. On universal algebraic constructions of logics. Studia logica, vol. 36 (1977), pp. 9–47.

Journal:

Journal of Symbolic Logic

Année:

1981

Langue:

english

Fichier:

PDF, 321 KB

english, 1981

22

JSL volume 46 issue 3 Cover and Front matter

Journal:

Journal of Symbolic Logic

Année:

1981

Langue:

english

Fichier:

PDF, 8.74 MB

english, 1981

23

Ellis Brian. Rational belief systems. APQ library of philosophy. Rowman and Littlefield, Totowa, N.J., 1979, ix + 118 pp.

Journal:

Journal of Symbolic Logic

Année:

1981

Langue:

english

Fichier:

PDF, 413 KB

english, 1981

24

Recursively presented Abelian groups: Effective p-Group theory. I

Journal:

Journal of Symbolic Logic

Année:

1981

Langue:

english

Fichier:

PDF, 660 KB

english, 1981

25

Friedman Sy D., β-recursion theory. Transactions of the American Mathematical Society, vol. 255 (1979), pp. 173–200.Friedman Sy D.. Post's problem without admissibility. Advances in mathematics, vol. 35 (1980), pp. 30–49.

Journal:

Journal of Symbolic Logic

Année:

1981

Langue:

english

Fichier:

PDF, 323 KB

english, 1981

26

Recursive isomorphism types of recursive Boolean algebras

Journal:

Journal of Symbolic Logic

Année:

1981

Langue:

english

Fichier:

PDF, 1.72 MB

english, 1981

27

Twilight graphs

Dekker, J. C. E.

Journal:

Journal of Symbolic Logic

Année:

1981

Langue:

english

Fichier:

PDF, 1.78 MB

english, 1981

28

Keisler H. Jerome. Elementary calculus. Prindle, Weber & Schmidt, Boston 1976, xviii + 880 + A61 pp.Keisler H. Jerome. Foundations of infinitesimal calculus. Prindle, Weber & Schmidt, Boston 1976, ix + 214 pp.

Journal:

Journal of Symbolic Logic

Année:

1981

Langue:

english

Fichier:

PDF, 441 KB

english, 1981

29

Some facts about Kurt Gödel

Journal:

Journal of Symbolic Logic

Année:

1981

Langue:

english

Fichier:

PDF, 599 KB

english, 1981

30

Isomorphism of structures in S-toposes

Journal:

Journal of Symbolic Logic

Année:

1981

Langue:

english

Fichier:

PDF, 604 KB

english, 1981

31

Théories instables

Journal:

Journal of Symbolic Logic

Année:

1981

Fichier:

PDF, 737 KB

1981

32

Facione Peter A. and Scherer Donald. Logic and logical thinking: a modular approach. McGraw-Hill Book Company, New York etc. 1978, xii + 495 pp.

Journal:

Journal of Symbolic Logic

Année:

1981

Langue:

english

Fichier:

PDF, 332 KB

english, 1981

33

Krol′ M.D.. The topological models of intuitionistic analysis. One counterexample. Mathematical notes, vol. 19 (1976), pp. 503–504. (English translation of K topologičéskim modélám intuicionistskogo analiza, Odin kontrprimér, Matématičéskié zamétki, vol. 19 (1976), pp. 859–862.)Krol M. D.. A topological model for intuitionistic analysis with Kripke's scheme. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 24 (1978), pp. 427–436.Krol′ M. D.. Distinct variants of Kripke's schema in intuitionistic analysis. Soviet mathematics, vol. 19 (1978), pp. 474–477. (English translation by Wells B. F. of Različnyé varianty shémy Kripké v intuicionistskom analizé, Doklady Akadémii Nauk SSSR, vol. 239 (1978), pp. 1048–1051.)

Moschovakis, Joan Rand

Journal:

Journal of Symbolic Logic

Année:

1981

Langue:

english

Fichier:

PDF, 327 KB

english, 1981

34

Maass Wolfgang. Inadmissibility, tame r.e. sets and the admissible collapse. Annals of mathematical logic, vol. 13 no. 2 (1978), pp. 149–170.

Journal:

Journal of Symbolic Logic

Année:

1981

Langue:

english

Fichier:

PDF, 411 KB

english, 1981

35

Notices

Journal:

Journal of Symbolic Logic

Année:

1981

Langue:

english

Fichier:

PDF, 89 KB

english, 1981

36

Back Matter

Journal:

Journal of Symbolic Logic

Année:

1981

Langue:

english

Fichier:

PDF, 106 KB

english, 1981

37

Front Matter

Journal:

Journal of Symbolic Logic

Année:

1981

Langue:

english

Fichier:

PDF, 124 KB

english, 1981

38

Modal Logic. An Introductionby Brian F. Chellas

Review by: David Makinson

Journal:

Journal of Symbolic Logic

Année:

1981

Langue:

english

Fichier:

PDF, 239 KB

english, 1981