Volume 51; Issue 1

Main
Journal of Symbolic Logic
Volume 51; Issue 1

Journal of Symbolic Logic

Volume 51; Issue 1

1

Omitting Types in O-Minimal Theories

Journal:

Journal of Symbolic Logic

Year:

1986

Language:

english

File:

PDF, 289 KB

english, 1986

2

Partitions and Filters

Journal:

Journal of Symbolic Logic

Year:

1986

Language:

english

File:

PDF, 278 KB

english, 1986

3

Pragmatic Truth and Approximation to Truth

Irene Mikenberg, Newton C. A. Da Costa and Rolando Chuaqui

Journal:

Journal of Symbolic Logic

Year:

1986

Language:

english

File:

PDF, 480 KB

english, 1986

4

Finitely Generated Free Heyting Algebras

Fabio Bellissima

Journal:

Journal of Symbolic Logic

Year:

1986

Language:

english

File:

PDF, 320 KB

english, 1986

5

Logic: Form and Function. The Mechanization of Deductive Reasoningby J. A. Robinson

Review by: J. D. Halpern

Journal:

Journal of Symbolic Logic

Year:

1986

Language:

english

File:

PDF, 128 KB

english, 1986

6

Frege Structures and the Notions of Proposition, Truth and Setby Peter Aczel; Jon Barwise; H. Jerome Keisler; Kenneth Kunen

Review by: William S. Hatcher

Journal:

Journal of Symbolic Logic

Year:

1986

Language:

english

File:

PDF, 132 KB

english, 1986

7

Axioms of Symmetry: Throwing Darts at the Real Number Line

Journal:

Journal of Symbolic Logic

Year:

1986

Language:

english

File:

PDF, 254 KB

english, 1986

8

Intuitionistic Tense and Modal Logic

Journal:

Journal of Symbolic Logic

Year:

1986

Language:

english

File:

PDF, 299 KB

english, 1986

9

Abstract Objects. An Introduction to Axiomatic Metaphysicsby Edward N. Zalta

Review by: Michael Byrd

Journal:

Journal of Symbolic Logic

Year:

1986

Language:

english

File:

PDF, 129 KB

english, 1986

10

Recursion in Kolmogorov's R-Operator and the Ordinal σ3

Journal:

Journal of Symbolic Logic

Year:

1986

Language:

english

File:

PDF, 251 KB

english, 1986

11

Essential Formal Semanticsby Donald Nute

Review by: Dolph Ulrich

Journal:

Journal of Symbolic Logic

Year:

1986

Language:

english

File:

PDF, 107 KB

english, 1986

12

Post's Machineby V. A. Uspensky; R. Alavina;Finite Combinatory Processes--Formulation Iby Emil L. Post

Review by: T. Thacher Robinson

Journal:

Journal of Symbolic Logic

Year:

1986

Language:

english

File:

PDF, 114 KB

english, 1986

13

Bredikhin S. V., Ershov Yu. L., and Kal'nei V. E.. Fields with two linear orderings. Mathematical notes of the Academy of Sciences of the USSR, vol. 7(1970), pp. 319–325. (English translation of Polá s dvumá linéjnymi porádkami, Matèmatčéskié zamétki, vol. 7 (1970), pp. 525–536.)Jarden Moshe. The elementary theory of large e-fold ordered fields. Acta mathematica, vol. 149 (1982), pp. 239–260.Prestel Alexander. Pseudo real closed fields. Set theory and model theory, Proceedings of an informal symposium held at Bonn, June 1–3, 1979, edited by Jensen R. B. and Prestel A., Lecture notes in mathematics, vol. 872, Springer-Verlag, Berlin, Heidelberg, and New York, 1981, pp. 127–156.Jarden Moshe. On the model companion of the theory of e-fold orde

Cherlin, Gregory

Journal:

Journal of Symbolic Logic

Year:

1986

Language:

english

File:

PDF, 155 KB

english, 1986

14

On the intersection of closed unbounded sets

Abraham, U., Shelah, S.

Journal:

Journal of Symbolic Logic

Year:

1986

Language:

english

File:

PDF, 298 KB

english, 1986

15

Lascar Daniel and Poizat Bruno. An introduction to forking. The journal of symbolic logic, vol. 44 (1979), pp. 330–350.

Cherlin, Gregory

Journal:

Journal of Symbolic Logic

Year:

1986

Language:

english

File:

PDF, 336 KB

english, 1986

16

Splitting properties of r.e. sets and degrees

Downey, R. G., Welch, L. V.

Journal:

Journal of Symbolic Logic

Year:

1986

Language:

english

File:

PDF, 1.42 MB

english, 1986

17

Pairs without infimum in the recursively enumerable weak truth table degrees

Journal:

Journal of Symbolic Logic

Year:

1986

Language:

english

File:

PDF, 843 KB

english, 1986

18

Lambert Karel. Meinong and the principle of independence. Its place in Meinong's theory of objects and its significance in contemporary philosophical logic. Modern European philosophy. Cambridge University Press, Cambridge etc. 1983, xvi + 175 pp.

Rapaport, William J.

Journal:

Journal of Symbolic Logic

Year:

1986

Language:

english

File:

PDF, 613 KB

english, 1986

19

Tarski's problem for varieties of groups with a commutator identity

Journal:

Journal of Symbolic Logic

Year:

1986

Language:

english

File:

PDF, 367 KB

english, 1986

20

JSL volume 51 issue 1 Cover and Back matter

Journal:

Journal of Symbolic Logic

Year:

1986

Language:

english

File:

PDF, 6.80 MB

english, 1986

21

Locally finite theories

Journal:

Journal of Symbolic Logic

Year:

1986

Language:

english

File:

PDF, 382 KB

english, 1986

22

Weak partition relations and measurability

Spector, Mitchell

Journal:

Journal of Symbolic Logic

Year:

1986

Language:

english

File:

PDF, 515 KB

english, 1986

23

Game-theoretical Sematicsby Esa Saarinen

Review by: James Higginbotham

Journal:

Journal of Symbolic Logic

Year:

1986

Language:

english

File:

PDF, 596 KB

english, 1986

24

Decision problems concerning properties of finite sets of equations

Kalfa, Cornelia

Journal:

Journal of Symbolic Logic

Year:

1986

Language:

english

File:

PDF, 619 KB

english, 1986

25

Notices

Journal:

Journal of Symbolic Logic

Year:

1986

Language:

english

File:

PDF, 233 KB

english, 1986

26

Chomsky Noam. Lectures on government and binding. The Pisa lectures. Studies in generative grammar, no. 9. Foris Publications, Dordrecht and Cinnaminson, N.J., 1981, ix + 371 pp.Chomsky Noam. Lectures on government and binding. The Pisa lectures. Second edition of the preceding. Studies in generative grammar, no. 9. Foris Publications, Dordrecht and Cinnaminson, N.J., 1982, ix + 371 pp.

McCloskey, James

Journal:

Journal of Symbolic Logic

Year:

1986

Language:

english

File:

PDF, 413 KB

english, 1986

27

0# and some forcing principles

Foreman, Matthew, Magidor, Menachem, Shelah, Saharon

Journal:

Journal of Symbolic Logic

Year:

1986

Language:

english

File:

PDF, 581 KB

english, 1986

28

Saturation of homogeneous resplendent models

Knight, Julia F.

Journal:

Journal of Symbolic Logic

Year:

1986

Language:

english

File:

PDF, 306 KB

english, 1986

29

Metakides G. and Nerode A.. Recursion theory and algebra. Algebra and logic, Papers from the 1974 Summer Research Institute of the Australian Mathematical Society, Monash University, Australia, edited by Crossley J. N., Lecture notes in mathematics, vol. 450, Springer-Verlag, Berlin, Heidelberg, and New York, 1975, pp. 209–219.Kalantari Iraj and Retzlaff Allen. Maximal vector spaces under automorphisms of the lattice of recursively enumerable vector spaces. The journal of symbolic logic, vol. 42 no. 4 (for 1977, pub. 1978), pp. 481–491.Kalantari Iraj. Major subspaces of recursively enumerable vector spaces. The journal of symbolic logic, vol. 43 (1978), pp. 293–303.Remmel J.. A r-maximal vector space not contained in any maximal vector spac

Kierstead, Henry A.

Journal:

Journal of Symbolic Logic

Year:

1986

Language:

english

File:

PDF, 506 KB

english, 1986

30

JSL volume 51 issue 1 Cover and Front matter

Journal:

Journal of Symbolic Logic

Year:

1986

Language:

english

File:

PDF, 7.18 MB

english, 1986

31

10.2307/2273938

Journal:

Journal of Symbolic Logic

Year:

1986

File:

PDF, 866 KB

1986

32

The index set {e: We ≡1 X}.

Journal:

Journal of Symbolic Logic

Year:

1986

Language:

english

File:

PDF, 527 KB

english, 1986

33

Stationary reflections for uncountable cofinality

Komjáth, Péter

Journal:

Journal of Symbolic Logic

Year:

1986

Language:

english

File:

PDF, 443 KB

english, 1986

34

The natural hierarchy and quasi-hierarchy of constructibility degrees

Journal:

Journal of Symbolic Logic

Year:

1986

Language:

english

File:

PDF, 404 KB

english, 1986

35

Kueker David W.. Löwenheim–Skolem and interpolation theorems in infinitary languages. Bulletin of the American Mathematical Society, vol. 78 (1972), pp. 211–215.Barwise K. Jon. Mostowski's collapsing function and the closed unbounded filter. Fundamenta mathematicae, vol. 82 no. 2 (1974), pp. 95–103.Kueker David W.. Countable approximations and Löwenheim–Skolem theorems. Annals of mathematical logic, vol. 11 (1977), pp. 57–103.

Journal:

Journal of Symbolic Logic

Year:

1986

Language:

english

File:

PDF, 417 KB

english, 1986

36

Elementary equivalence of C σ (K) spaces for totally disconnected, compact Hausdorff K

Heinrich, S., Henson, C. Ward, Moore, L. C.

Journal:

Journal of Symbolic Logic

Year:

1986

Language:

english

File:

PDF, 883 KB

english, 1986

37

Pratt Vaughan R.. Semantical considerations on Floyd–Hoare logic. 17th Annual Symposium on Foundations of Computer Science, Institute of Electrical and Electronics Engineers, New York 1976, pp. 109–121.Fischer Michael J. and Ladner Richard E.. Propositional dynamic logic of regular programs. Journal of computer and system sciences, vol. 18 (1979), pp. 194–211.Segerberg Krister. A completeness theorem in the modal logic of programs. Universal algebra and applications. Papers presented at Stefan Banach International Mathematical Center at the semester “Universal algebra and applications” held February 15–June 9, 1978, edited by Traczyk Tadeuz, Banach Center Publications, vol. 9, PWN—Polish Scientific Publishers, Warsaw 1982, pp. 31–46.Parikh

Goldblatt, Robert

Journal:

Journal of Symbolic Logic

Year:

1986

Language:

english

File:

PDF, 405 KB

english, 1986

38

Jensen's □ Principles and the Novák Number of Partially Ordered Sets

Boban Veličković

Journal:

Journal of Symbolic Logic

Year:

1986

Language:

english

File:

PDF, 345 KB

english, 1986

39

Back Matter

Journal:

Journal of Symbolic Logic

Year:

1986

Language:

english

File:

PDF, 107 KB

english, 1986

40

Front Matter

Journal:

Journal of Symbolic Logic

Year:

1986

Language:

english

File:

PDF, 124 KB

english, 1986

41

There are Just Four Second-Order Quantifiersby Saharon Shelah

Review by: John T. Baldwin

Journal:

Journal of Symbolic Logic

Year:

1986

Language:

english

File:

PDF, 161 KB

english, 1986

42

Notices

Journal:

Journal of Symbolic Logic

Year:

1986

Language:

english

File:

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