Volume 63; Issue 2

Main
Journal of Symbolic Logic
Volume 63; Issue 2

Journal of Symbolic Logic

Volume 63; Issue 2

1

The Effective Content of Surreal Algebra

Journal:

Journal of Symbolic Logic

Year:

1998

Language:

english

File:

PDF, 711 KB

english, 1998

2

Paires De Structures O-Minimales

Baisalov, Yerzhan, Poizat, Bruno

Journal:

Journal of Symbolic Logic

Year:

1998

File:

PDF, 221 KB

1998

3

On the Computational Content of the Axiom of Choice

Stefano Berardi, Marc Bezem and Thierry Coquand

Journal:

Journal of Symbolic Logic

Year:

1998

Language:

english

File:

PDF, 479 KB

english, 1998

4

The Mordell-Lang Conjecture for Function Fieldsby Ehud Hrushovski

Review by: David E. Marker

Journal:

Journal of Symbolic Logic

Year:

1998

Language:

english

File:

PDF, 142 KB

english, 1998

5

A Many Permutation Group Result for Unstable Theories

Mark D. Schlatter

Journal:

Journal of Symbolic Logic

Year:

1998

Language:

english

File:

PDF, 337 KB

english, 1998

6

Sanchis Luis E.. Set theory—an operational approach. Gordon and Breach Science Publishers, Amsterdam etc. 1996, xvi + 279 pp.

Mayberry, J. P.

Journal:

Journal of Symbolic Logic

Year:

1998

Language:

english

File:

PDF, 104 KB

english, 1998

7

Definability and Computabilityby Yuri L. Ershov

Review by: Ivan Soskov

Journal:

Journal of Symbolic Logic

Year:

1998

Language:

english

File:

PDF, 121 KB

english, 1998

8

A note on valuation definable expansions of fields

Haskell, Deirdre, Dugald Macpherson,

Journal:

Journal of Symbolic Logic

Year:

1998

Language:

english

File:

PDF, 474 KB

english, 1998

9

Relational semantics and a relational proof system for full Lambek calculus

MacCaull, Wendy

Journal:

Journal of Symbolic Logic

Year:

1998

Language:

english

File:

PDF, 1.03 MB

english, 1998

10

Sequentially continuous linear mappings in constructive analysis

Bridges, Douglas, Mines, Ray

Journal:

Journal of Symbolic Logic

Year:

1998

Language:

english

File:

PDF, 437 KB

english, 1998

11

Ultrafilters which extend measures

Benedikt, Michael

Journal:

Journal of Symbolic Logic

Year:

1998

Language:

english

File:

PDF, 1.67 MB

english, 1998

12

On minimal structures

Belegradek, Oleg V.

Journal:

Journal of Symbolic Logic

Year:

1998

Language:

english

File:

PDF, 493 KB

english, 1998

13

JSL volume 63 issue 2 Cover and Front matter

Journal:

Journal of Symbolic Logic

Year:

1998

Language:

english

File:

PDF, 8.12 MB

english, 1998

14

Explicit Mathematics with the Monotone Fixed Point Principle

Michael Rathjen

Journal:

Journal of Symbolic Logic

Year:

1998

Language:

english

File:

PDF, 1.70 MB

english, 1998

15

The Representation Theories of Elementarily Equivalent Rings

Journal:

Journal of Symbolic Logic

Year:

1998

Language:

english

File:

PDF, 838 KB

english, 1998

16

Definability and Descent

David Ballard and William Boshuck

Journal:

Journal of Symbolic Logic

Year:

1998

Language:

english

File:

PDF, 499 KB

english, 1998

17

Harrington L. A., Kechris A. S., and Louveau A.. A Glimm–Effros dichotomy for Borel equivalence relations. Journal of the American Mathematical Society, vol. 3 (1990), pp. 903–928.Louveau Alain and Velickovic Boban. A note on Borel equivalence relations. Proceedings of the American Mathematical Society, vol. 120 (1994), pp. 255–259.Kechris Alexander S. and Louveau Alain. The classification ofhypersmooth equivalence relations. Journal of the American Mathematical Society, vol. 10 (1997), pp. 215–242.

Journal:

Journal of Symbolic Logic

Year:

1998

Language:

english

File:

PDF, 325 KB

english, 1998

18

There are many almost strongly minimal generalized n-gons that do not interpret an infinite group

Debonis, Mark J., Nesin, Ali

Journal:

Journal of Symbolic Logic

Year:

1998

Language:

english

File:

PDF, 1.37 MB

english, 1998

19

Solving Pell equations locally in models of IΔ0

D'Aquino, Paola

Journal:

Journal of Symbolic Logic

Year:

1998

Language:

english

File:

PDF, 611 KB

english, 1998

20

Todorchevich S. and Farah I.. Some applications of the method of forcing. Series in pure and applied mathematics. Yensei, Moscow 1995, also distributed by Bid International Co., Sherman Oaks, Calif., viii + iii + 148 pp.

Journal:

Journal of Symbolic Logic

Year:

1998

Language:

english

File:

PDF, 331 KB

english, 1998

21

Frege proof system and TNC°

Journal:

Journal of Symbolic Logic

Year:

1998

Language:

english

File:

PDF, 1.58 MB

english, 1998

22

An absoluteness principle for Borel sets

Journal:

Journal of Symbolic Logic

Year:

1998

Language:

english

File:

PDF, 1.86 MB

english, 1998

23

The logic of recursive equations

Hurkens, A. J. C., McArthur, Monica, Moschovakis, Yiannis N., Moss, Lawrence S., Whitney, Glen T.

Journal:

Journal of Symbolic Logic

Year:

1998

Language:

english

File:

PDF, 1.75 MB

english, 1998

24

The Rudin-Blass ordering of ultrafilters

Laflamme, Claude, Zhu, Jian-Ping

Journal:

Journal of Symbolic Logic

Year:

1998

Language:

english

File:

PDF, 650 KB

english, 1998

25

Marker David, Introduction to the model theory of fields. Model theory of fields, Lecture notes in logic, no. 5, Springer, Berlin, Heidelberg, New York, etc., 1996, pp. 1–37.Marker David. Model theory of differential fields. Model theory of fields, Lecture notes in logic, no. 5, Springer, Berlin, Heidelberg, New York, etc., 1996, pp. 38–113.Pillay Anand. Differential algebraic groups and the number of countable differentially closed fields. Model theory of fields, Lecture notes in logic, no. 5, Springer, Berlin, Heidelberg, New York, etc., 1996, pp. 114–134.Messmer Margit. Some model theory of separably closed fields. Model theory of fields, Lecture notes in logic, no. 5, Springer, Berlin, Heidelberg, New York, etc., 1996, pp. 135–152.

Chatzidakis, Zoé

Journal:

Journal of Symbolic Logic

Year:

1998

Language:

english

File:

PDF, 339 KB

english, 1998

26

Superdestructibility: A dual to Laver's indestructibility

Hamkins, Joel David, Shelah, Saharon

Journal:

Journal of Symbolic Logic

Year:

1998

Language:

english

File:

PDF, 506 KB

english, 1998

27

Undecidable extensions of Skolem arithmetic

Bès, Alexis, Richard, Denis

Journal:

Journal of Symbolic Logic

Year:

1998

Language:

english

File:

PDF, 1.16 MB

english, 1998

28

Changing cardinal invariants of the reals without changing cardinals or the reals

Mildenberger, Heike

Journal:

Journal of Symbolic Logic

Year:

1998

Language:

english

File:

PDF, 542 KB

english, 1998

29

Amalgamation in relation algebras

Journal:

Journal of Symbolic Logic

Year:

1998

Language:

english

File:

PDF, 442 KB

english, 1998

30

Ershov Yuriĭ L.. Opredelimost′ i rychislimost′. Russian original of the preceding. Sibirskaya shkola algebry i logiki. Nauchnaya Kniga, Novosibirsk 1996, 300 pp.Lassaigne Richard and de Rougemont Michel. Logique et complexité. Collection informatique. Hermès, Paris 1996, viii + 322 pp.

Journal:

Journal of Symbolic Logic

Year:

1998

Language:

english

File:

PDF, 243 KB

english, 1998

31

Relative enumerability in the difference hierarchy

Arslanov, Marat M., Laforte, Geoffrey L., Slaman, Theodore A.

Journal:

Journal of Symbolic Logic

Year:

1998

Language:

english

File:

PDF, 768 KB

english, 1998

32

JSL volume 63 issue 2 Cover and Back matter

Journal:

Journal of Symbolic Logic

Year:

1998

Language:

english

File:

PDF, 8.18 MB

english, 1998

33

Some two-cardinal results for O-minimal theories

Journal:

Journal of Symbolic Logic

Year:

1998

Language:

english

File:

PDF, 195 KB

english, 1998

34

A strong version of Herbrand's theorem for introvert sentences

Journal:

Journal of Symbolic Logic

Year:

1998

Language:

english

File:

PDF, 349 KB

english, 1998

35

DOP and FCP in Generic Structures

John T. Baldwin and Saharon Shelah

Journal:

Journal of Symbolic Logic

Year:

1998

Language:

english

File:

PDF, 298 KB

english, 1998

36

Back Matter

Journal:

Journal of Symbolic Logic

Year:

1998

Language:

english

File:

PDF, 110 KB

english, 1998

37

Front Matter

Journal:

Journal of Symbolic Logic

Year:

1998

Language:

english

File:

PDF, 122 KB

english, 1998

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