Volume 60; Issue 2

Main
Journal of Symbolic Logic
Volume 60; Issue 2

Journal of Symbolic Logic

Volume 60; Issue 2

1

A Star-free Semantics for R

Journal:

Journal of Symbolic Logic

Year:

1995

Language:

english

File:

PDF, 285 KB

english, 1995

2

Ultrafilters on ω

James E. Baumgartner

Journal:

Journal of Symbolic Logic

Year:

1995

Language:

english

File:

PDF, 358 KB

english, 1995

3

Anneaux de Fonctions p-Adiques

Journal:

Journal of Symbolic Logic

Year:

1995

File:

PDF, 356 KB

1995

4

Cylindric modal logic

Journal:

Journal of Symbolic Logic

Year:

1995

Language:

english

File:

PDF, 1.86 MB

english, 1995

5

Martin's axiom and the continuum

Judah, Haim, Rosłanowski, Andrzej

Journal:

Journal of Symbolic Logic

Year:

1995

Language:

english

File:

PDF, 1.15 MB

english, 1995

6

Élimination des quantificateurs dans des paires de corps

Journal:

Journal of Symbolic Logic

Year:

1995

File:

PDF, 987 KB

1995

7

The thickness lemma from P − + IΣ1 + ¬BΣ2

Journal:

Journal of Symbolic Logic

Year:

1995

Language:

english

File:

PDF, 515 KB

english, 1995

8

Hodges Wilfrid. Model theory. Encyclopedia of mathematics and its applications, vol. 42, Cambridge University Press, Cambridge, New York, and Oakleigh, Victoria, 1993, xiii + 772 pp.

Journal:

Journal of Symbolic Logic

Year:

1995

File:

PDF, 459 KB

1995

9

Corps et chirurgie

Pillay, Anand, Poizat, Bruno

Journal:

Journal of Symbolic Logic

Year:

1995

File:

PDF, 551 KB

1995

10

Interpolation and Conceptual Completeness for Pretoposes via Category Theoryby Andrew M. Pitts; David W. Kueker; Edgar G. K. Lopez-Escobar; Carl H. Smith;Conceptual Completeness for First-order Intutionistic Logic: An Application of Categorical Logicby Andrew M. Pitts

Review by: Marek Zawadowski

Journal:

Journal of Symbolic Logic

Year:

1995

File:

PDF, 460 KB

1995

11

Weight ω in Stable Theories with Few Types

Bernhard Herwig

Journal:

Journal of Symbolic Logic

Year:

1995

File:

PDF, 1.33 MB

1995

12

The Dimension of the Negation of Transitive Closure

Gregory L. McColm

Journal:

Journal of Symbolic Logic

Year:

1995

Language:

english

File:

PDF, 1.39 MB

english, 1995

13

Ultrafilters generated by a closed set of functions

Journal:

Journal of Symbolic Logic

Year:

1995

Language:

english

File:

PDF, 1008 KB

english, 1995

14

Models of intuitionistic TT and NF

Dzierzgowski, Daniel

Journal:

Journal of Symbolic Logic

Year:

1995

Language:

english

File:

PDF, 840 KB

english, 1995

15

On the equivalence of certain consequences of the proper forcing axiom

Nyikos, Peter, Piątkiewicz, Leszek

Journal:

Journal of Symbolic Logic

Year:

1995

Language:

english

File:

PDF, 825 KB

english, 1995

16

JSL volume 60 issue 2 Cover and Front matter

Journal:

Journal of Symbolic Logic

Year:

1995

Language:

english

File:

PDF, 6.83 MB

english, 1995

17

On the basic logic of STIT with a single agent

Journal:

Journal of Symbolic Logic

Year:

1995

Language:

english

File:

PDF, 1.38 MB

english, 1995

18

JSL volume 60 issue 2 Cover and Back matter

Journal:

Journal of Symbolic Logic

Year:

1995

File:

PDF, 5.15 MB

1995

19

Hechler reals

Łabędzki, Grzegorz, Miroslav Repický,

Journal:

Journal of Symbolic Logic

Year:

1995

Language:

english

File:

PDF, 985 KB

english, 1995

20

A philosophical companion to first-order logic, edited by Hughes R. I. G., Hackett Publishing Company, Indianapolis and Cambridge, Mass., 1993, viii + 309 pp.

Schumm, George F.

Journal:

Journal of Symbolic Logic

Year:

1995

File:

PDF, 322 KB

1995

21

Compactly expandable models and stability

Casanovas, Enrique

Journal:

Journal of Symbolic Logic

Year:

1995

Language:

english

File:

PDF, 800 KB

english, 1995

22

The decidability of dependency in intuitionistic propositional logic

de Jongh, Dick, Chagrova, L. A.

Journal:

Journal of Symbolic Logic

Year:

1995

Language:

english

File:

PDF, 505 KB

english, 1995

23

Possible behaviours of the reflection ordering of stationary sets

Witzany, Jiří

Journal:

Journal of Symbolic Logic

Year:

1995

Language:

english

File:

PDF, 858 KB

english, 1995

24

Complete problems for fixed-point logics

Journal:

Journal of Symbolic Logic

Year:

1995

Language:

english

File:

PDF, 654 KB

english, 1995

25

Mints Grigori. A short introduction to modal logic. CSLI lecture notes, no. 30. Center for the Study of Language and Information, Stanford 1992, also distributed by Cambridge University Press, Cambridge and New York, x + 91 pp.

Lucas, Billy Joe

Journal:

Journal of Symbolic Logic

Year:

1995

File:

PDF, 449 KB

1995

26

The isomorphism property for nonstandard universes

Schmerl, James H.

Journal:

Journal of Symbolic Logic

Year:

1995

Language:

english

File:

PDF, 441 KB

english, 1995

27

Eklof Paul C. and Mekler Alan H.. Almost free modules. Set-theoretic methods. North Holland mathematical library, vol. 46. North-Holland, Amsterdam etc. 1990, xvi + 481 pp.

Dow, Alan, Steprāns, Juris

Journal:

Journal of Symbolic Logic

Year:

1995

File:

PDF, 432 KB

1995

28

Miller Edwin W.. On a property of families of sets. English with Polish summary. Sprawozdania z posiedzeń Towarzystwa Naukowego Warszawskiego (Comptes rendus des séances de la Société des Sciences et des Lettres de Varsovie), Class III, vol. 30 (1937), pp. 31–38.Dushnik Ben and E. W. Miller. Partially ordered sets. American journal of mathematics, vol. 63 (1941), pp. 600–610.Erdős P.. Some set-theoretical properties of graphs. Revista, Universidad Nacional de Tucumán, Serie A, Matemáticas y física teórica, vol. 3 (1942), pp. 363–367.Fodor G.. Proof of a conjecture of P. Erdős. Acta scientiarum mathematicarum, vol. 14 no. 4 (1952), pp. 219–227.Erdős P. and R. Rado. A partition calculus in set theory. Bulletin of the American Mathematical Soc

Baumgartner, James E.

Journal:

Journal of Symbolic Logic

Year:

1995

File:

PDF, 534 KB

1995

29

Magidor Menachem. Representing sets of ordinals as countable unions of sets in the core model. Transactions of the American Mathematical Society, vol. 317 (1990), pp. 91–126.

Journal:

Journal of Symbolic Logic

Year:

1995

File:

PDF, 449 KB

1995

30

A geometric proof of the completeness of the Łukasiewicz calculus

Panti, Giovanni

Journal:

Journal of Symbolic Logic

Year:

1995

Language:

english

File:

PDF, 384 KB

english, 1995

31

Landman Fred. Structures for semantics. Studies in linguistics and philosophy, vol. 45. Kluwer Academic Publishers, Dordrecht, Boston, and London, 1991, x + 367 pp.

ter Meulen, Alice

Journal:

Journal of Symbolic Logic

Year:

1995

File:

PDF, 353 KB

1995

32

Cori René et Lascar Daniel. Logique mathématique. Cours et exercices. Tome I. Calcul propositionnel, algèbres de Boole, calcul des prédicats. Préface de J.-L. Krivine. Collection axiomes. Masson, Paris etc. 1993, xv + 385 p.Cori René et Lascar Daniel. Logique mathématique. Cours et exercices. Tome II. Fonctions récursives, théorème de Gödel, théorie des ensembles, théorie des modèles. Préface de J.-L. Krivine. Collection axiomes. Masson, Paris etc. 1993, xv + 347 p.

Journal:

Journal of Symbolic Logic

Year:

1995

File:

PDF, 351 KB

1995

33

Chapman Jonahan and Rowbottom Frederick. Relative category theory and geometric morphisms. A logical approach. Oxford logic guides, no. 16., Clarendon press, Oxford University Press, Oxford and New York 1992, xi + 263 pp.

Journal:

Journal of Symbolic Logic

Year:

1995

Language:

english

File:

PDF, 122 KB

english, 1995

34

Skordev Dimiter G.. Computability in combinatory spaces. An algebraic generalization of abstract first order computability. Mathematics and its applications (East European series), vol. 55. Kluwer Academic publishers, Dordrecht, Boston, and London, 1992, xiv + 320 pp.

Journal:

Journal of Symbolic Logic

Year:

1995

File:

PDF, 349 KB

1995

35

Wagon Stan. The Banach–Tarski paradox. Encyclopedia of mathematics and its applications, vol. 24. Cambridge University Press, Cambridge, New York, and Melbourne, 1985, xvi + 251 pp.Wagon Stan. The Banach–Tarski paradox. Paperbound edition of the preceding. Cambridge University Press, Cambridge, New York, and Melbourne, 1993, xviii + 253 pp.

Foreman, Matthew

Journal:

Journal of Symbolic Logic

Year:

1995

File:

PDF, 248 KB

1995

36

Front Matter

Journal:

Journal of Symbolic Logic

Year:

1995

Language:

english

File:

PDF, 127 KB

english, 1995

37

Model Completions and Omitting Types

Terrence Millar

Journal:

Journal of Symbolic Logic

Year:

1995

Language:

english

File:

PDF, 380 KB

english, 1995

38

Back Matter

Journal:

Journal of Symbolic Logic

Year:

1995

Language:

english

File:

PDF, 118 KB

english, 1995

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@1delivery.pm

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