Campagne de collecte 15 septembre 2024 – 1 octobre 2024 C'est quoi, la collecte de fonds?

Volume 64; Issue 2

Main
Journal of Symbolic Logic
Volume 64; Issue 2

Journal of Symbolic Logic

Volume 64; Issue 2

1

Universal Classes of Simple Relation Algebras

Journal:

Journal of Symbolic Logic

Année:

1999

Langue:

english

Fichier:

PDF, 326 KB

english, 1999

2

Unification in Intuitionistic Logic

Silvio Ghilardi

Journal:

Journal of Symbolic Logic

Année:

1999

Langue:

english

Fichier:

PDF, 475 KB

english, 1999

3

The Geometry of Forking and Groups of Finite Morley Rank

Cherlin, Gregory, Pillay, Anand

Journal:

Journal of Symbolic Logic

Année:

1999

Langue:

english

Fichier:

PDF, 82 KB

english, 1999

4

Undecidable Relativizations of Algebras of Relations

Szabolcs Mikulás and Maarten Marx

Journal:

Journal of Symbolic Logic

Année:

1999

Langue:

english

Fichier:

PDF, 305 KB

english, 1999

5

Wilkie A. J., Model completeness results for expansions of the ordered field of real numbers by restricted Pfaffian functions and the exponential function, Journal of the American Mathematical Society, vol. 9 (1996), pp. 1051–1094.

Steinhorn, Charles

Journal:

Journal of Symbolic Logic

Année:

1999

Langue:

english

Fichier:

PDF, 160 KB

english, 1999

6

Existentially closed models of the theory of artinian local rings

Schoutens, Hans

Journal:

Journal of Symbolic Logic

Année:

1999

Langue:

english

Fichier:

PDF, 441 KB

english, 1999

7

Some remarks on the partition calculus of ordinals

Komjáth, Péter

Journal:

Journal of Symbolic Logic

Année:

1999

Langue:

english

Fichier:

PDF, 564 KB

english, 1999

8

Frege's theorem in a constructive setting

Journal:

Journal of Symbolic Logic

Année:

1999

Langue:

english

Fichier:

PDF, 332 KB

english, 1999

9

Peterzil Ya'acov and Starchenko Sergei, A trichotomy theorem for o-minimal structures, Proceedings of the London Mathematical Society, ser. 3 vol. 77 (1998), pp. 481–523.

Macpherson, Dugald

Journal:

Journal of Symbolic Logic

Année:

1999

Langue:

english

Fichier:

PDF, 439 KB

english, 1999

10

Stabilité polynômiale des corps différentiels

Portier, Natacha

Journal:

Journal of Symbolic Logic

Année:

1999

Fichier:

PDF, 1.04 MB

1999

11

Π13Sets and Π13Singletons

Kai Hauser and W. Hugh Woodin

Journal:

Journal of Symbolic Logic

Année:

1999

Langue:

english

Fichier:

PDF, 1.60 MB

english, 1999

12

Constructing Strongly Equivalent Nonisomorphic Models for Unsuperstable Theories, Part C

Tapani Hyttinen and Saharon Shelah

Journal:

Journal of Symbolic Logic

Année:

1999

Langue:

english

Fichier:

PDF, 555 KB

english, 1999

13

Ordinal inequalities, transfinite induction, and reverse mathematics

Hirst, Jeffry L.

Journal:

Journal of Symbolic Logic

Année:

1999

Langue:

english

Fichier:

PDF, 504 KB

english, 1999

14

Barwise Jon and Etchemendy John, The language of first-order logic, including the IBM-compatible Windows version of Tarski's world 4.0. Third edition of LVIII 362. CSLI lecture notes.no. 34. Center for the Study of Language and Information, Stanford 1992. also distributed by Cambridge University Press, New York, xiv + 319 pp. + disk.

Journal:

Journal of Symbolic Logic

Année:

1999

Langue:

english

Fichier:

PDF, 439 KB

english, 1999

15

Explicit mathematics with the monotone fixed point principle. II: Models

Rathjen, Michael

Journal:

Journal of Symbolic Logic

Année:

1999

Langue:

english

Fichier:

PDF, 1.70 MB

english, 1999

16

Shapiro Stewart. Philosophy of mathematics. Structure and ontology. Oxford University Press, New York and Oxford 1997, x + 279 pp.

Hellman, Geoffrey

Journal:

Journal of Symbolic Logic

Année:

1999

Langue:

english

Fichier:

PDF, 466 KB

english, 1999

17

On Non-Wellfounded Iterations of the Perfect Set Forcing

Vladimir Kanovei

Journal:

Journal of Symbolic Logic

Année:

1999

Langue:

english

Fichier:

PDF, 1.40 MB

english, 1999

18

Équations génériques dans un groupe stable nilpotent

Journal:

Journal of Symbolic Logic

Année:

1999

Fichier:

PDF, 589 KB

1999

19

Polynomial Games and Determinacyby Tomoyuki Yamakami

Review by: Edward Griffor

Journal:

Journal of Symbolic Logic

Année:

1999

Langue:

english

Fichier:

PDF, 243 KB

english, 1999

20

Jones Neil D., Computability and complexity, From a programming perspective, Foundations of computing, The MIT Press, Cambridge, Mass., and London, 1997, xvi + 466 pp.

Royer, James S.

Journal:

Journal of Symbolic Logic

Année:

1999

Langue:

english

Fichier:

PDF, 423 KB

english, 1999

21

Tensor product and theories of modules

Journal:

Journal of Symbolic Logic

Année:

1999

Langue:

english

Fichier:

PDF, 913 KB

english, 1999

22

Prime e.c. commutative rings in characteristic n ≥ 2

Journal:

Journal of Symbolic Logic

Année:

1999

Langue:

english

Fichier:

PDF, 424 KB

english, 1999

23

Anti-Admissible Sets

Journal:

Journal of Symbolic Logic

Année:

1999

Langue:

english

Fichier:

PDF, 1.92 MB

english, 1999

24

Countable Filters on ω

Journal:

Journal of Symbolic Logic

Année:

1999

Langue:

english

Fichier:

PDF, 628 KB

english, 1999

25

Generalized Cohesiveness

Tamara Hummel and Carl G. Jockusch, Jr.

Journal:

Journal of Symbolic Logic

Année:

1999

Langue:

english

Fichier:

PDF, 1.88 MB

english, 1999

26

Common knowledge logic and game logic

Journal:

Journal of Symbolic Logic

Année:

1999

Langue:

english

Fichier:

PDF, 1.05 MB

english, 1999

27

Generic expansions of ω-categorical structures and semantics of generalized quantifiers

Journal:

Journal of Symbolic Logic

Année:

1999

Langue:

english

Fichier:

PDF, 1.11 MB

english, 1999

28

Transfering saturation, the finite cover property, and stability

Baldwin, John T., Grossberg, Rami, Shelah, Saharon

Journal:

Journal of Symbolic Logic

Année:

1999

Langue:

english

Fichier:

PDF, 563 KB

english, 1999

29

Lascar strong types in some simple theories

Buechler, Steven

Journal:

Journal of Symbolic Logic

Année:

1999

Langue:

english

Fichier:

PDF, 559 KB

english, 1999

30

The cupping theorem in R/M

Yuefei, Sui, Zaiyue, Zhang

Journal:

Journal of Symbolic Logic

Année:

1999

Langue:

english

Fichier:

PDF, 570 KB

english, 1999

31

A jump operator for subrecursion theories

Journal:

Journal of Symbolic Logic

Année:

1999

Langue:

english

Fichier:

PDF, 605 KB

english, 1999

32

A decidable variety that is finitely undecidable

Journal:

Journal of Symbolic Logic

Année:

1999

Langue:

english

Fichier:

PDF, 1.41 MB

english, 1999

33

On a class of m.a.d. families

Journal:

Journal of Symbolic Logic

Année:

1999

Langue:

english

Fichier:

PDF, 626 KB

english, 1999

34

Mitchell John C.. Foundations for programming languages. Foundations of computing. The MIT Press, Cambridge, Mass., and London, 1996, xix + 846 pp.

Journal:

Journal of Symbolic Logic

Année:

1999

Langue:

english

Fichier:

PDF, 620 KB

english, 1999

35

Unions of rectifiable curves in Euclidean space and the covering number of the meagre ideal

Steprāns, Juris

Journal:

Journal of Symbolic Logic

Année:

1999

Langue:

english

Fichier:

PDF, 1.42 MB

english, 1999

36

The largest countable inductive set is a mouse set

Rudominer, Mitch

Journal:

Journal of Symbolic Logic

Année:

1999

Langue:

english

Fichier:

PDF, 1.19 MB

english, 1999

37

JSL Volume 64 issue 2 Cover and Front matter

Journal:

Journal of Symbolic Logic

Année:

1999

Langue:

english

Fichier:

PDF, 6.80 MB

english, 1999

38

Baudisch Andreas, A new uncountably categorical group, Transactions of the American Mathematical Society, vol. 348 (1996), pp. 3889–3940.

Cherlin, Gregory

Journal:

Journal of Symbolic Logic

Année:

1999

Langue:

english

Fichier:

PDF, 337 KB

english, 1999

39

JSL Volume 64 issue 2 Cover and Back matter

Journal:

Journal of Symbolic Logic

Année:

1999

Langue:

english

Fichier:

PDF, 7.23 MB

english, 1999

40

Interpolation and preservation for pebble logics

Baltag, Alexandru

Journal:

Journal of Symbolic Logic

Année:

1999

Langue:

english

Fichier:

PDF, 751 KB

english, 1999

41

Resnik Michael D., Mathematics as a science of patterns, Clarendon Press, Oxford University Press, Oxford, New York, etc., 1997, xiii + 285 pp.

Journal:

Journal of Symbolic Logic

Année:

1999

Langue:

english

Fichier:

PDF, 344 KB

english, 1999

42

Pippenger Nicholas, Theories of computability. Cambridge University Press, Cambridge, New York, and Oakleigh, Victoria, 1997, ix + 251 pp.

Journal:

Journal of Symbolic Logic

Année:

1999

Langue:

english

Fichier:

PDF, 332 KB

english, 1999

43

Cut-elimination for simple type theory with an axiom of choice

Journal:

Journal of Symbolic Logic

Année:

1999

Langue:

english

Fichier:

PDF, 491 KB

english, 1999

44

On the cofinality of ultrapowers

Blass, Andreas, Mildenberger, Heike

Journal:

Journal of Symbolic Logic

Année:

1999

Langue:

english

Fichier:

PDF, 735 KB

english, 1999

45

The finite model property for various fragments of intuitionistic linear logic

Okada, Mitsuhiro, Terui, Kazushige

Journal:

Journal of Symbolic Logic

Année:

1999

Langue:

english

Fichier:

PDF, 871 KB

english, 1999

46

Interpolation, preservation, and pebble games

Barwise, Jon, van Benthem, Johan

Journal:

Journal of Symbolic Logic

Année:

1999

Langue:

english

Fichier:

PDF, 552 KB

english, 1999

47

Hrushovski Ehud, A new strongly minimal set, Annals of pure and applied logic, vol. 62 (1993), pp. 147–166.Hrushovski Ehud, Strongly minimal expansions of algebraically closed fields, Israel journal of mathematics, vol. 79 (1992), pp. 129–151.

Journal:

Journal of Symbolic Logic

Année:

1999

Langue:

english

Fichier:

PDF, 336 KB

english, 1999

48

Hrushovski Ehud and Zilber Boris. Zariski geometries, Journal of the American Mathematical Society, vol. 9 (1996), pp. 1–56.

Journal:

Journal of Symbolic Logic

Année:

1999

Langue:

english

Fichier:

PDF, 431 KB

english, 1999

49

Front Matter

Journal:

Journal of Symbolic Logic

Année:

1999

Langue:

english

Fichier:

PDF, 137 KB

english, 1999