Volume 51; Issue 4

Main
Journal of Symbolic Logic
Volume 51; Issue 4

Journal of Symbolic Logic

Volume 51; Issue 4

1

Alfred Tarski's Work in Model Theory

Robert L. Vaught

Journal:

Journal of Symbolic Logic

Year:

1986

Language:

english

File:

PDF, 325 KB

english, 1986

2

Back and Forth Constructions in Modal Logic: An Interpolation Theorem for a Family of Modal Logics

George Weaver and Jeffrey Welaish

Journal:

Journal of Symbolic Logic

Year:

1986

Language:

english

File:

PDF, 313 KB

english, 1986

3

Principles of Database Systemsby Jeffrey D. Ullman;The Theory of Relational Databasesby David Maier;Computable Queries for Relational Data Basesby Ashok K. Chandra; David Harel

Review by: J. A. Makowsky

Journal:

Journal of Symbolic Logic

Year:

1986

Language:

english

File:

PDF, 185 KB

english, 1986

4

Back Matter

Journal:

Journal of Symbolic Logic

Year:

1986

Language:

english

File:

PDF, 90 KB

english, 1986

5

Notices

Journal:

Journal of Symbolic Logic

Year:

1986

Language:

english

File:

PDF, 112 KB

english, 1986

6

The Contributions of Alfred Tarski to Algebraic Logic

Journal:

Journal of Symbolic Logic

Year:

1986

Language:

english

File:

PDF, 195 KB

english, 1986

7

The weak □* is really weaker than the full □

Ben-David, Shai, Magidor, Menachem

Journal:

Journal of Symbolic Logic

Year:

1986

Language:

english

File:

PDF, 149 KB

english, 1986

8

Schwabhäuser Wolfram, Szmielew Wanda, and Tarski Alfred. Ein axiomatischer Aujbau der euklidischen Geometrie. Metamathematische Methoden in der Geometrie, Hochschultext, Springer-Verlag, Berlin etc. 1983, pp. 1–171.Schwabhäuser Wolfram. Metamathematische Betrachtungen. Metamathematische Methoden in der Geometrie, pp. 173–457.

Moszyńska, Maria

Journal:

Journal of Symbolic Logic

Year:

1986

Language:

english

File:

PDF, 428 KB

english, 1986

9

Baker Theodore, Gill John, and Solovay Robert. Relativizations of the = ? question. SIAM journal on computing, vol. 4 (1975), pp. 431–442.Bennett Charles H. and Gill John. Relative to a random oracle A, PA ≠ NPA ≠ co-NPA with probability 1. SIAM journal on computing, vol. 10 (1981), pp. 96–113.

Journal:

Journal of Symbolic Logic

Year:

1986

Language:

english

File:

PDF, 313 KB

english, 1986

10

Solovay Robert M., Reinhardt William N., and Kanamori Akihiro. Strong axioms of infinity and elementary embeddings. Annals of mathematical logic, vol. 13 (1978), pp. 73–116.Magidor Menachem. HOW large is the first strongly compact cardinal? or A study on identity crises. Annals of mathematical logic, vol. 10 (1976), pp. 33–57.

Prisco, Carlos Augusto Di

Journal:

Journal of Symbolic Logic

Year:

1986

Language:

english

File:

PDF, 429 KB

english, 1986

11

Alfred Tarski

Hodges, Wilfrid

Journal:

Journal of Symbolic Logic

Year:

1986

Language:

english

File:

PDF, 293 KB

english, 1986

12

Institutional Members 1986

Journal:

Journal of Symbolic Logic

Year:

1986

Language:

english

File:

PDF, 197 KB

english, 1986

13

Bell J. L.. Boolean-valued models and independence proofs in set theory. Second edition of XLVI 165. Oxford logic guides, no. 12. Clarendon Press, Oxford University Press, Oxford and New York 1985, xx + 165 pp.Scott Dana. Foreword. A revised reprint of XLVI 165. Therein, pp. vii–xiii.

Baumgartner, James E.

Journal:

Journal of Symbolic Logic

Year:

1986

Language:

english

File:

PDF, 346 KB

english, 1986

14

Fitting Melvin. Fundamentals of generalized recursion theory. Studies in logic and the foundations of mathematics, vol. 105. North-Holland Publishing Company, Amsterdam, New York, and Oxford, 1981, xx + 307 pp.

Hinman, Peter G.

Journal:

Journal of Symbolic Logic

Year:

1986

Language:

english

File:

PDF, 335 KB

english, 1986

15

JSL volume 51 issue 4 Cover and Back matter

Journal:

Journal of Symbolic Logic

Year:

1986

Language:

english

File:

PDF, 8.71 MB

english, 1986

16

Sur la théorie élémentaire des corps de fonctions

Duret, Jean-Louis

Journal:

Journal of Symbolic Logic

Year:

1986

File:

PDF, 621 KB

1986

17

The Contributions of Alfred Tarski to General Algebra

Bjarni Jónsson

Journal:

Journal of Symbolic Logic

Year:

1986

Language:

english

File:

PDF, 589 KB

english, 1986

18

Association for Symbolic Logic

Journal:

Journal of Symbolic Logic

Year:

1986

Language:

english

File:

PDF, 233 KB

english, 1986

19

Bad models in nice neighborhoods

Journal:

Journal of Symbolic Logic

Year:

1986

Language:

english

File:

PDF, 857 KB

english, 1986

20

Transfer Principles for Pseudo Real Closed e-Fold Ordered Fields

Şerban A. Basarab

Journal:

Journal of Symbolic Logic

Year:

1986

Language:

english

File:

PDF, 802 KB

english, 1986

21

Conservative Extensions of Models of Set Theory and Generalizations

Journal:

Journal of Symbolic Logic

Year:

1986

Language:

english

File:

PDF, 1.19 MB

english, 1986

22

A boundedness theorem in ID 1(W)

Jäger, Gerhard

Journal:

Journal of Symbolic Logic

Year:

1986

Language:

english

File:

PDF, 465 KB

english, 1986

23

Shelah Saharon. Infinite abelian groups, Whitehead problem and some constructions. Israel journal of mathematics, vol. 18 (1974), pp. 243–256.Shelah Saharon. A compactness theorem for singular cardinals, free algebras, Whitehead problem and transversals. Israel journal of mathematics, vol. 21 (1975), pp. 319–349.Shelah Sharaon. Whitehead groups may be not free, even assuming CH, I. Israel journal of mathematics, vol. 28 (1977), pp. 193–204.Shelah Saharon. Whitehead groups may not be free even assuming CH, II. Israel journal of mathematics, vol. 35 (1980), pp. 257–285.Shelah Saharon. On uncountable abelian groups. Israel journal of mathematics, vol. 32 (1979), pp. 311–330.Ben-David Shai. On Shelah's compactness of cardinals. Israel journal o

Felgner, Ulrich

Journal:

Journal of Symbolic Logic

Year:

1986

Language:

english

File:

PDF, 412 KB

english, 1986

24

Paris J. B.. A hierarchy of cuts in models of arithmetic. Model theory of algebra and arithmetic, Proceedings of the Conference on Applications of Logic to Algebra and Arithmetic held at Karpacz, Poland, September 1–7, 1979, edited by Pacholski L., Wierzejewski J., and Wilkie A. J., Lecture notes in mathematics, vol. 834, Springer-Verlag, Berlin, Heidelberg, and New York, 1980, pp. 312–337.Mills George. A tree analysis of unprovable combinatorial statements. Model theory of algebra and arithmetic, Proceedings of the Conference on Applications of Logic to Algebra and Arithmetic held at Karpacz, Poland, September 1–7, 1979, pp. 248–311.Ketonen Jussi and Solovay Robert. Rapidly growing Ramsey functions. Annals of mathematics, ser. 2 vol. 113 (

Journal:

Journal of Symbolic Logic

Year:

1986

Language:

english

File:

PDF, 601 KB

english, 1986

25

Notices

Journal:

Journal of Symbolic Logic

Year:

1986

Language:

english

File:

PDF, 314 KB

english, 1986

26

Degrees coded in jumps of orderings

Knight, Julia F.

Journal:

Journal of Symbolic Logic

Year:

1986

Language:

english

File:

PDF, 741 KB

english, 1986

27

Tarski and geometry

Szczerba, L. W.

Journal:

Journal of Symbolic Logic

Year:

1986

Language:

english

File:

PDF, 496 KB

english, 1986

28

Bibliography of Alfred Tarski

Journal:

Journal of Symbolic Logic

Year:

1986

Language:

english

File:

PDF, 1.79 MB

english, 1986

29

On a combinatorial principle of Hajnal and Komjáth

Journal:

Journal of Symbolic Logic

Year:

1986

Language:

english

File:

PDF, 410 KB

english, 1986

30

Individual Members 1986

Journal:

Journal of Symbolic Logic

Year:

1986

Language:

english

File:

PDF, 2.56 MB

english, 1986

31

Why Solovay real produces Cohen real

Pawlikowski, Janusz

Journal:

Journal of Symbolic Logic

Year:

1986

Language:

english

File:

PDF, 829 KB

english, 1986

32

Meeting of the Association for Symbolic Logic, Campinas, Brazil, 1985

Carnielli, Walter

Journal:

Journal of Symbolic Logic

Year:

1986

Language:

english

File:

PDF, 896 KB

english, 1986

33

Martin-Löf Per. Intuitionistic type theory. (Notes by Sambin Giovanni of a series of lectures given in Padua, June 1980.) Studies in proof theory. Bibliopolis, Naples 1984, ix + 91 pp.

Journal:

Journal of Symbolic Logic

Year:

1986

Language:

english

File:

PDF, 330 KB

english, 1986

34

Alfred Tarski and undecidable theories

McNulty, George F.

Journal:

Journal of Symbolic Logic

Year:

1986

Language:

english

File:

PDF, 774 KB

english, 1986

35

Meeting of the Association for Symbolic Ldgic, Washington, DC, 1985

Davis, Martin, Lopez-Escobar, Edgar E. K., Sieg, Wilfred

Journal:

Journal of Symbolic Logic

Year:

1986

Language:

english

File:

PDF, 625 KB

english, 1986

36

Makanin G. S.. Equations in a free group. Mathematics of the USSR—Izvestiya, vol. 21 no. 3 (for 1983, pub. 1984), pp. 483–546. (English translation by G. A. Kandall of Uravnéniá v svobodnoj gruppé, Izvéstiá Akadémii Nauk SSSR, Sériá matématičéskaá, vol. 46 (1982), pp. 1199–1273.)

Journal:

Journal of Symbolic Logic

Year:

1986

Language:

english

File:

PDF, 401 KB

english, 1986

37

Survey/expository papers

Hodges, Wilfrid

Journal:

Journal of Symbolic Logic

Year:

1986

Language:

english

File:

PDF, 207 KB

english, 1986

38

Axioms for the set-theoretic hierarchy

van Aken, James

Journal:

Journal of Symbolic Logic

Year:

1986

Language:

english

File:

PDF, 934 KB

english, 1986

39

Preservation theorem and relativization theorem for cofinal extensions

Motohashi, Nobuyoshi

Journal:

Journal of Symbolic Logic

Year:

1986

Language:

english

File:

PDF, 494 KB

english, 1986

40

JSL volume 51 issue 4 Cover and Front matter

Journal:

Journal of Symbolic Logic

Year:

1986

Language:

english

File:

PDF, 8.58 MB

english, 1986

41

Makanin G. S.. The problem of solvability of equations in a free semigroup. Mathematics of the USSR—Sbornik, vol. 32 (for 1977, pub. 1979), pp. 129–198. (English translation by G. A. Randall of Probléma razréšimosti uravnénij v svobodnoj polugruppé, Matématičéskÿ sbornik, n.s. vol. 103(145) (1977), pp. 147–236.)

Journal:

Journal of Symbolic Logic

Year:

1986

Language:

english

File:

PDF, 333 KB

english, 1986

42

Topoi. The Categorial Analysis of Logicby Robert Goldblatt

Review by: Philip J. Scott

Journal:

Journal of Symbolic Logic

Year:

1986

Language:

english

File:

PDF, 122 KB

english, 1986

43

Association for Symbolic Logic

Journal:

Journal of Symbolic Logic

Year:

1986

Language:

english

File:

PDF, 1.97 MB

english, 1986

44

[Introduction]

Journal:

Journal of Symbolic Logic

Year:

1986

Language:

english

File:

PDF, 97 KB

english, 1986

45

Front Matter

Journal:

Journal of Symbolic Logic

Year:

1986

Language:

english

File:

PDF, 126 KB

english, 1986

46

Volume Information

Journal:

Journal of Symbolic Logic

Year:

1986

Language:

english

File:

PDF, 186 KB

english, 1986

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Български