Volume 55; Issue 3

Main
Journal of Symbolic Logic
Volume 55; Issue 3

Journal of Symbolic Logic

Volume 55; Issue 3

1

The Interpretability Logic of Peano Arithmetic

Alessandro Berarducci

Journal:

Journal of Symbolic Logic

Year:

1990

Language:

english

File:

PDF, 627 KB

english, 1990

2

A Partial Functions Version of Church's Simple Theory of Types

William M. Farmer

Journal:

Journal of Symbolic Logic

Year:

1990

Language:

english

File:

PDF, 445 KB

english, 1990

3

Reducts of (C, +, ·) which Contain +

D. Marker and A. Pillay

Journal:

Journal of Symbolic Logic

Year:

1990

Language:

english

File:

PDF, 222 KB

english, 1990

4

Front Matter

Journal:

Journal of Symbolic Logic

Year:

1990

Language:

english

File:

PDF, 101 KB

english, 1990

5

Differentially Algebraic Group Chunks

Journal:

Journal of Symbolic Logic

Year:

1990

Language:

english

File:

PDF, 154 KB

english, 1990

6

The Special Model Axiom in Nonstandard Analysis

Journal:

Journal of Symbolic Logic

Year:

1990

Language:

english

File:

PDF, 241 KB

english, 1990

7

Partitioning Pairs of Countable Sets of Ordinals

Journal:

Journal of Symbolic Logic

Year:

1990

Language:

english

File:

PDF, 112 KB

english, 1990

8

The Kunen-Miller Chart (Lebesgue Measure, The Baire Property, Laver Reals and Preservation Theorems for Forcing)

Haim Judah and Saharon Shelah

Journal:

Journal of Symbolic Logic

Year:

1990

Language:

english

File:

PDF, 469 KB

english, 1990

9

Notices

Journal:

Journal of Symbolic Logic

Year:

1990

Language:

english

File:

PDF, 121 KB

english, 1990

10

Finite Kripke models and predicate logics of provability

Artemov, Sergei, Dzhaparidze, Giorgie

Journal:

Journal of Symbolic Logic

Year:

1990

Language:

english

File:

PDF, 533 KB

english, 1990

11

Effective model theory vs. recursive model theory

Journal:

Journal of Symbolic Logic

Year:

1990

Language:

english

File:

PDF, 1.62 MB

english, 1990

12

Notions of relative ubiquity for invariant sets of relational structures

Bankston, Paul, Ruitenburg, Wim

Journal:

Journal of Symbolic Logic

Year:

1990

Language:

english

File:

PDF, 2.46 MB

english, 1990

13

Coinductive ℵ0-categorical theories

Schmerl, James H.

Journal:

Journal of Symbolic Logic

Year:

1990

Language:

english

File:

PDF, 592 KB

english, 1990

14

Boyer Robert S. and Moore J Strother. A computational logic. ACM monograph series. Academic Press, New York etc. 1979, xiv + 397 pp.Boyer Robert S. and Moore J Strother. A computational logic handbook. Perspectives in computing, vol. 23. Academic Press, Boston etc. 1988, xvi + 408 pp.

Journal:

Journal of Symbolic Logic

Year:

1990

Language:

english

File:

PDF, 433 KB

english, 1990

15

Omitting types for stable ccc theories

Newelski, Ludomir

Journal:

Journal of Symbolic Logic

Year:

1990

Language:

english

File:

PDF, 871 KB

english, 1990

16

Goldfarb Warren. Poincaré against the logicists. History and philosophy of modern mathematics, edited by Aspray William and Kitcher Philip, Minnesota studies in the philosophy of science, vol. 11, University of Minnesota Press, Minneapolis 1988, pp. 61–81.Friedman Michael. Logical truth and analyticity in Carnap's “Logical syntax of language.” History and philosophy of modern mathematics, edited by Aspray William and Kitcher Philip, Minnesota studies in the philosophy of science, vol. 11, University of Minnesota Press, Minneapolis 1988, pp. 82–94.Moore Gregory H.. The emergence of first-order logic. History and philosophy of modern mathematics, edited by Aspray William and Kitcher Philip, Minnesota studies in the philosophy of science, vol.

Hallett, Michael

Journal:

Journal of Symbolic Logic

Year:

1990

Language:

english

File:

PDF, 192 KB

english, 1990

17

On Scott and Karp Trees of Uncountable Models

Tapani Hyttinen and Jouko Väänänen

Journal:

Journal of Symbolic Logic

Year:

1990

Language:

english

File:

PDF, 876 KB

english, 1990

18

Partition Properties and Prikry Forcing on Simple Spaces

Journal:

Journal of Symbolic Logic

Year:

1990

Language:

english

File:

PDF, 751 KB

english, 1990

19

Genesereth Michael R. and Nilsson Nils J.. Logical foundations of artificial intelligence. Morgan Kaufmann Publishers, Los Altos, Calif., 1987, xviii + 405 pp.

Martins, João P.

Journal:

Journal of Symbolic Logic

Year:

1990

Language:

english

File:

PDF, 521 KB

english, 1990

20

Notices

Journal:

Journal of Symbolic Logic

Year:

1990

Language:

english

File:

PDF, 313 KB

english, 1990

21

Kotarbiński Tadeusz. Wykłady z dziejów logiki (Lectures from the history of logic). Państwowe Wydawnictwo Naukowe, Warsaw 1985, 226 pp.

Journal:

Journal of Symbolic Logic

Year:

1990

Language:

english

File:

PDF, 419 KB

english, 1990

22

Decidable Fragments of Field Theories

Journal:

Journal of Symbolic Logic

Year:

1990

Language:

english

File:

PDF, 869 KB

english, 1990

23

Rich models

Albert, Michael H., Grossberg, Rami P.

Journal:

Journal of Symbolic Logic

Year:

1990

Language:

english

File:

PDF, 547 KB

english, 1990

24

Weakly minimal groups of unbounded exponent

Journal:

Journal of Symbolic Logic

Year:

1990

Language:

english

File:

PDF, 748 KB

english, 1990

25

Théories d'algèbres de Boole munies d'idéaux distingués. II

Touraille, Alain

Journal:

Journal of Symbolic Logic

Year:

1990

File:

PDF, 1.41 MB

1990

26

The axiomatization of randomness

van Lambalgen, Michiel

Journal:

Journal of Symbolic Logic

Year:

1990

Language:

english

File:

PDF, 1.64 MB

english, 1990

27

Hans-Dieter Donder. Regularity of ultrafilters and the core model. Israel journal of mathematics, vol. 63 (1988), pp. 289–322.Hans-Dieter Donder, Peter Koepke, and Jean-Pierre Levinski. Some stationary subsets of P(λ). Proceedings of the American Mathematical Society, vol. 102 (1988), pp. 1000–1004.D. J. Walker. On the transversal hypothesis and the weak Kurepa hypothesis. The journal of symbolic logic, vol. 53 (1988), pp. 854–877.

Baldwin, Stewart

Journal:

Journal of Symbolic Logic

Year:

1990

Language:

english

File:

PDF, 426 KB

english, 1990

28

Dragalin A. G.. Matématičéskij intuicionizm. Vvédénié v téoriú dokazatél'stv. Russian original of the preceding. Matématičéskaá logika i osnovaniá matématiki, “Nauka,” Moscow 1979, 256 pp.Deutsch D.. Quantum theory, the Church–Turing principle and the universal quantum computer. Proceedings of the Royal Society of London, ser. A vol. 400 (1985), pp. 97–117.

Alasdair, Urquhart

Journal:

Journal of Symbolic Logic

Year:

1990

Language:

english

File:

PDF, 332 KB

english, 1990

29

Intermediate predicate logics determined by ordinals

Minari, Pierluigi, Takano, Mitio, Ono, Hiroakira

Journal:

Journal of Symbolic Logic

Year:

1990

Language:

english

File:

PDF, 1.84 MB

english, 1990

30

Broadie Alexander. Introduction to medieval logic. Clarendon Press, Oxford University Press, Oxford and New York 1987, vi + 150 pp.

Kretzmann, Norman

Journal:

Journal of Symbolic Logic

Year:

1990

Language:

english

File:

PDF, 424 KB

english, 1990

31

Friedman Sy D.. Strong coding. Annals of pure and applied logic, vol. 35(1987), pp. 1–98.Friedman Sy D.. A guide to “Strong coding.” Annals of pure and applied logic, vol. 35(1987), pp. 99–122.

Journal:

Journal of Symbolic Logic

Year:

1990

Language:

english

File:

PDF, 423 KB

english, 1990

32

Set theoretic properties of Loeb measure

Miller, Arnold W.

Journal:

Journal of Symbolic Logic

Year:

1990

Language:

english

File:

PDF, 940 KB

english, 1990

33

An existence theorem for recursion categories

Journal:

Journal of Symbolic Logic

Year:

1990

Language:

english

File:

PDF, 1.04 MB

english, 1990

34

JSL volume 55 issue 3 Cover and Back matter

Journal:

Journal of Symbolic Logic

Year:

1990

Language:

english

File:

PDF, 6.69 MB

english, 1990

35

On the angular component map modulo P

Journal:

Journal of Symbolic Logic

Year:

1990

Language:

english

File:

PDF, 429 KB

english, 1990

36

Undecidability and initial segments of the (r.e.) tt-degrees

Haught, Christine Ann, Shore, Richard A.

Journal:

Journal of Symbolic Logic

Year:

1990

Language:

english

File:

PDF, 1.25 MB

english, 1990

37

Constable R. L., Allen S. F., Bromley H. M., Cleaveland W. R., Cremer J. F., Harper R. W., Howe D. J., Knoblock T. B., Mendler N. P., Panangaden P., Sasaki J. T., and Smith S. F.. Implementing mathematics with the Nuprl proof development system. Prentice Hall, Englewood Cliffs, N. J., 1986, x + 299 pp.

Beeson, Michael J.

Journal:

Journal of Symbolic Logic

Year:

1990

Language:

english

File:

PDF, 498 KB

english, 1990

38

The Complexity of intrinsically r.e. subsets of existentially decidable models

Journal:

Journal of Symbolic Logic

Year:

1990

Language:

english

File:

PDF, 1.38 MB

english, 1990

39

Wójcicki Ryszard. Theory of logical calculi. Basis theory of consequence operations. Synthese library, vol. 199. Kluwer Academic Publishers, Dordrecht, Boston, and London, 1988, xviii + 473 pp.

Bloom, Stephen L.

Journal:

Journal of Symbolic Logic

Year:

1990

Language:

english

File:

PDF, 364 KB

english, 1990

40

Baker Gordon. Wittgenstein, Frege and the Vienna circle. Basil Blackwell, Oxford and New York 1988, xxii + 274 pp.

Journal:

Journal of Symbolic Logic

Year:

1990

Language:

english

File:

PDF, 337 KB

english, 1990

41

JSL volume 55 issue 3 Cover and Front matter

Journal:

Journal of Symbolic Logic

Year:

1990

Language:

english

File:

PDF, 6.18 MB

english, 1990

42

Dragalin A. G.. Mathematical intuitionism. Introduction to proof theory. English translation by Mendelson E. of Matématičéskij intuicionizm, Vvédénié v téoriúdokazatél'stv. Translations of mathematical monographs, vol. 67. American Mathematical Society, Providence 1988, ix + 228 pp.

Troelstra, A. S.

Journal:

Journal of Symbolic Logic

Year:

1990

Language:

english

File:

PDF, 337 KB

english, 1990

43

Maximal r.e. equivalence relations

Carroll, Jeffrey S.

Journal:

Journal of Symbolic Logic

Year:

1990

Language:

english

File:

PDF, 807 KB

english, 1990

44

Odifreddi Piergiorgio. Classical recursion theory. The theory of functions and sets of natural numbers. Studies in logic and the foundations of mathematics, vol. 125. North-Holland, Amsterdam etc. 1989, xvii + 668 pp.

Hinman, Peter G.

Journal:

Journal of Symbolic Logic

Year:

1990

Language:

english

File:

PDF, 333 KB

english, 1990

45

Grantham S. B.. Galvin's “racing pawns” game and a well-ordering of trees. Memoirs of the American Mathematical Society, no. 316. American Mathematical Society, Providence 1985, iv + 63 pp.

Larson, Jean A.

Journal:

Journal of Symbolic Logic

Year:

1990

Language:

english

File:

PDF, 119 KB

english, 1990

46

Back Matter

Journal:

Journal of Symbolic Logic

Year:

1990

Language:

english

File:

PDF, 108 KB

english, 1990

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Tor version

Z-Library

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски