Volume 74; Issue 4

Main
Journal of Symbolic Logic
Volume 74; Issue 4

Journal of Symbolic Logic

Volume 74; Issue 4

1

The modal μ-calculus hierarchy over restricted classes of transition systems

Alberucci, Luca, Facchini, Alessandro

Journal:

Journal of Symbolic Logic

Year:

2009

Language:

english

File:

PDF, 327 KB

english, 2009

2

Incompatible Ω-Complete Theories

Koellner, Peter, Woodin, W. Hugh

Journal:

Journal of Symbolic Logic

Year:

2009

Language:

english

File:

PDF, 174 KB

english, 2009

3

Promptness does not imply superlow cuppability

Diamondstone, David

Journal:

Journal of Symbolic Logic

Year:

2009

Language:

english

File:

PDF, 122 KB

english, 2009

4

Some Remarks on Generic Structures

David M. Evans and Mark Wing Ho Wong

Journal:

Journal of Symbolic Logic

Year:

2009

Language:

english

File:

PDF, 967 KB

english, 2009

5

First-Order Characterization of the Radical of a Finite Group

Journal:

Journal of Symbolic Logic

Year:

2009

Language:

english

File:

PDF, 660 KB

english, 2009

6

Volume Information

Journal:

Journal of Symbolic Logic

Year:

2009

Language:

english

File:

PDF, 728 KB

english, 2009

7

Front Matter

Journal:

Journal of Symbolic Logic

Year:

2009

Language:

english

File:

PDF, 494 KB

english, 2009

8

Forbidden Intervals

Matthew Foreman

Journal:

Journal of Symbolic Logic

Year:

2009

Language:

english

File:

PDF, 1.51 MB

english, 2009

9

Functional Interpretation and Inductive Definitions

Jeremy Avigad and Henry Towsner

Journal:

Journal of Symbolic Logic

Year:

2009

Language:

english

File:

PDF, 1.63 MB

english, 2009

10

Almost Everywhere Elimination of Probability Quantifiers

H. Jerome Keisler and Wafik Boulos Lotfallah

Journal:

Journal of Symbolic Logic

Year:

2009

Language:

english

File:

PDF, 1.46 MB

english, 2009

11

Incompatible Ω-Complete Theories

Peter Koellner and W. Hugh Woodin

Journal:

Journal of Symbolic Logic

Year:

2009

Language:

english

File:

PDF, 1.28 MB

english, 2009

12

Canonical Rules

Journal:

Journal of Symbolic Logic

Year:

2009

Language:

english

File:

PDF, 2.51 MB

english, 2009

13

A Note on Defining Transcendentals in Function Fields

Arno Fehm and Wulf-Dieter Geyer

Journal:

Journal of Symbolic Logic

Year:

2009

Language:

english

File:

PDF, 472 KB

english, 2009

14

Approachability at the Second Successor of a Singular Cardinal

Moti Gitik and John Krueger

Journal:

Journal of Symbolic Logic

Year:

2009

Language:

english

File:

PDF, 1.20 MB

english, 2009

15

Heirs of Box Types in Polynomially Bounded Structures

Journal:

Journal of Symbolic Logic

Year:

2009

File:

PDF, 3.85 MB

2009

16

Promptness Does Not Imply Superlow Cuppability

David Diamondstone

Journal:

Journal of Symbolic Logic

Year:

2009

Language:

english

File:

PDF, 868 KB

english, 2009

17

Independently Axiomatizable$L_{\omega 1,\omega } $Theories

Greg Hjorth and Ioannis A. Souldatos

Journal:

Journal of Symbolic Logic

Year:

2009

Language:

english

File:

PDF, 898 KB

english, 2009

18

The Strength of the Rainbow Ramsey Theorem

Barbara F. Csima and Joseph R. Mileti

Journal:

Journal of Symbolic Logic

Year:

2009

Language:

english

File:

PDF, 1.19 MB

english, 2009

19

d-computable Categoricity for Algebraic Fields

Journal:

Journal of Symbolic Logic

Year:

2009

Language:

english

File:

PDF, 2.48 MB

english, 2009

20

The Modal μ-Calculus Hierarchy over Restricted Classes of Transition Systems

Luca Alberucci and Alessandro Facchini

Journal:

Journal of Symbolic Logic

Year:

2009

Language:

english

File:

PDF, 2.27 MB

english, 2009

21

Logical Aspects of Rates of Convergence in Metric Spaces

Eyvind Martol Briseid

Journal:

Journal of Symbolic Logic

Year:

2009

Language:

english

File:

PDF, 1.92 MB

english, 2009

22

Corrigendum to: "On Lascar Rank and Morley Rank of Definable Groups in Differentially Closed Fields"

Anand Pillay and Wai Yan Pong

Journal:

Journal of Symbolic Logic

Year:

2009

Language:

english

File:

PDF, 185 KB

english, 2009

23

Corrigendum to: "On the Strength of Ramsey's Theorem for Pairs"

Peter A. Cholak, Carl G. Jockusch, Jr. and Theodore A. Slaman

Journal:

Journal of Symbolic Logic

Year:

2009

Language:

english

File:

PDF, 257 KB

english, 2009

24

Back Matter

Journal:

Journal of Symbolic Logic

Year:

2009

Language:

english

File:

PDF, 230 KB

english, 2009

25

The strength of the rainbow Ramsey Theorem

Csima, Barbara F., Mileti, Joseph R.

Journal:

Journal of Symbolic Logic

Year:

2009

Language:

english

File:

PDF, 1.04 MB

english, 2009

26

Successors of singular cardinals and coloring theorems II

Eisworth, Todd, Shelah, Saharon

Journal:

Journal of Symbolic Logic

Year:

2009

Language:

english

File:

PDF, 1.26 MB

english, 2009

27

First-order characterization of the radical of a finite group

Wilson, John S.

Journal:

Journal of Symbolic Logic

Year:

2009

Language:

english

File:

PDF, 603 KB

english, 2009

28

Some remarks on generic structures

Evans, David M., Wong, Mark Wing Ho

Journal:

Journal of Symbolic Logic

Year:

2009

Language:

english

File:

PDF, 862 KB

english, 2009

29

Almost everywhere elimination of probability quantifiers

Keisler, H. Jerome, Lotfallah, Wafik Boulos

Journal:

Journal of Symbolic Logic

Year:

2009

Language:

english

File:

PDF, 1.24 MB

english, 2009

30

Approachability at the second successor of a singular cardinal

Gitik, Moti, Krueger, John

Journal:

Journal of Symbolic Logic

Year:

2009

Language:

english

File:

PDF, 1.03 MB

english, 2009

31

Corrigendum to: “On the strength of Ramsey's Theorem for pairs”

Cholak, Peter A., Jockusch, Carl G., Slaman, Theodore A.

Journal:

Journal of Symbolic Logic

Year:

2009

Language:

english

File:

PDF, 278 KB

english, 2009

32

On computable self-embeddings of computable linear orderings

Downey, Rodney G., Kastermans, Bart, Lempp, Steffen

Journal:

Journal of Symbolic Logic

Year:

2009

Language:

english

File:

PDF, 1.10 MB

english, 2009

33

Forbidden intervals

Foreman, Matthew

Journal:

Journal of Symbolic Logic

Year:

2009

Language:

english

File:

PDF, 1.26 MB

english, 2009

34

JSL volume 74 issue 4 Cover and Front matter

Journal:

Journal of Symbolic Logic

Year:

2009

Language:

english

File:

PDF, 434 KB

english, 2009

35

d-computable categoricity for algebraic fields

Miller, Russell

Journal:

Journal of Symbolic Logic

Year:

2009

Language:

english

File:

PDF, 2.09 MB

english, 2009

36

Canonical rules

Jeřábek, Emil

Journal:

Journal of Symbolic Logic

Year:

2009

Language:

english

File:

PDF, 2.06 MB

english, 2009

37

Heirs of box types in polynomially bounded structures

Journal:

Journal of Symbolic Logic

Year:

2009

File:

PDF, 2.40 MB

2009

38

Corrigendum to: “On Lascar rank and Morley rank of definable groups in differentially closed fields”

Pillay, Anand, Pong, Wai Yan

Journal:

Journal of Symbolic Logic

Year:

2009

Language:

english

File:

PDF, 221 KB

english, 2009

39

JSL volume 74 issue 4 Cover and Back matter

Journal:

Journal of Symbolic Logic

Year:

2009

Language:

english

File:

PDF, 962 KB

english, 2009

40

Logical aspects of rates of convergence in metric spaces

Briseid, Eyvind Martol

Journal:

Journal of Symbolic Logic

Year:

2009

Language:

english

File:

PDF, 1.59 MB

english, 2009

41

Functional interpretation and inductive definitions

Avigad, Jeremy, Towsner, Henry

Journal:

Journal of Symbolic Logic

Year:

2009

Language:

english

File:

PDF, 1.35 MB

english, 2009

42

A note on defining transcendentals in function fields

Fehm, Arno, Geyer, Wulf-Dieter

Journal:

Journal of Symbolic Logic

Year:

2009

Language:

english

File:

PDF, 448 KB

english, 2009

43

Independently axiomatizable ℒω1,ω theories

Hjorth, Greg, Souldatos, Ioannis A.

Journal:

Journal of Symbolic Logic

Year:

2009

Language:

english

File:

PDF, 801 KB

english, 2009

44

On Computable Self-Embeddings of Computable Linear Orderings

Rodney G. Downey, Bart Kastermans and Steffen Lempp

Journal:

Journal of Symbolic Logic

Year:

2009

Language:

english

File:

PDF, 1.29 MB

english, 2009

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