首页>外文期刊>数学、物理、化学、力学>数学>Journal of Symbolic Logic >2000年第1期

Journal of Symbolic Logic

Journal of Symbolic Logic

SCI

中文名称：符号逻辑杂志

ISSN：0022-4812
出版周期：Quarterly

发文量：1470

期刊论文

年度选择

更多>>

全选（0）

共22条结果

1.Recursive in a generic real

机译：通用实数中的递归
- 作者：Juichi Shinoda;Theodore A. Slaman
- 期刊名称：《Journal of Symbolic Logic》 | 2000年第1期
2.Trois theoremes sur l'induction pour les formules ouvertes munies de l'exponentielle

机译：赋予指数的开放式的三个归纳定理
- 作者：Sedki Boughattas
- 期刊名称：《Journal of Symbolic Logic》 | 2000年第1期
3.Constructing ω-stable structures: rank 2 fields

机译：构造ω稳定结构：2级场
- 作者：John T. Baldwin;Kitty Holland
- 期刊名称：《Journal of Symbolic Logic》 | 2000年第1期
4.Coordinatisation and canonical bases in simple theories

机译：简单理论中的协调化和规范基础
- 作者：Bradd Hart;Byunghan Kim;Anand Pillay
- 期刊名称：《Journal of Symbolic Logic》 | 2000年第1期
5.Pure-projective modules and positive constructibility

机译：纯射影模块和积极的可建设性
- 作者：T. G. Kucera;Ph. Rothmaler
- 期刊名称：《Journal of Symbolic Logic》 | 2000年第1期
6.Separating stationary reflection principles

机译：分离固定反射原理
- 作者：Paul Larson
- 期刊名称：《Journal of Symbolic Logic》 | 2000年第1期
7.The analytic conception of truth and the foundations of arithmetic

机译：真理的解析概念和算术基础
- 作者：Peter Apostoli
- 期刊名称：《Journal of Symbolic Logic》 | 2000年第1期
8.Property theory and the revision theory of definitions

机译：属性理论和定义修正理论
- 作者：Francesco Orilia
- 期刊名称：《Journal of Symbolic Logic》 | 2000年第1期
9.Doughnuts, floating ordinals, square brackets, and ultraflitters

机译：甜甜圈，浮动普通，方括号和超碎屑
- 作者：Carlos A. Di Prisco;James M. Henle
- 期刊名称：《Journal of Symbolic Logic》 | 2000年第1期
10.A note on CM-triviality and the geometry of forking

机译：关于CM琐碎性和分叉几何的注释
- 作者：Anand Pillay
- 期刊名称：《Journal of Symbolic Logic》 | 2000年第1期
11.Filters, Cohen sets and consistent extensions of the Erdos-Dushnik-Miller theorem

机译：Erdos-Dushnik-Miller定理的滤波器，科恩集和一致扩展
- 作者：Saharon Shelah;Lee J. Stanley
- 期刊名称：《Journal of Symbolic Logic》 | 2000年第1期
12.On inverse γ-systems and the number of L_(∞λ)-equivalent, non-isomorphic models for λ singular

机译：逆γ系统和λ奇异L_（∞λ）等价的非同构模型的数量
- 作者：Saharon Shelah;Pauli Vaisanen
- 期刊名称：《Journal of Symbolic Logic》 | 2000年第1期
- number of models;
- infinitary logic;
- inverse γ-system;
13.Logical questions concerning the μ-calculus: interpolation, lyndon and los-tarski

机译：关于μ演算的逻辑问题：插值，lyndon和los-tarski
- 作者：Giovanna Dagostino;Marco Hollenberg
- 期刊名称：《Journal of Symbolic Logic》 | 2000年第1期
14.A free pseudospace

机译：一个自由的伪空间
- 作者：Andreas Baudisch;Anand Pillay
- 期刊名称：《Journal of Symbolic Logic》 | 2000年第1期
15.Structural properties and Σ_2~0 enumeration degrees

机译：结构性质和Σ_2〜0枚举度
- 作者：Andre Nies;Andrea Sorbi
- 期刊名称：《Journal of Symbolic Logic》 | 2000年第1期
16.Arithmetical representations of Brownian motion 1

机译：布朗运动1的算术表示
- 作者：Willem Fouche
- 期刊名称：《Journal of Symbolic Logic》 | 2000年第1期
17.A non-standard construction of Haar measure and weak Konig's lemma

机译：Haar测度的非标准构造和弱的Konig引理
- 作者：Kazuyuki Tanaka;Takeshi Yamazaki
- 期刊名称：《Journal of Symbolic Logic》 | 2000年第1期
18.A finite basis theorem for residually finite, congruence meet-semidistributive varieties

机译：剩余有限同余满足半分布变种的有限基定理
- 作者：Ross Willard
- 期刊名称：《Journal of Symbolic Logic》 | 2000年第1期
- equational theory;
- finitely based;
- residually finite;
- variety;
- congruence meet-semidistributive;
19.Vaught's conjecture for modules over a serial ring

机译：沃特对串行环上模块的猜想
- 作者：Vera Puninskaya
- 期刊名称：《Journal of Symbolic Logic》 | 2000年第1期
20.An extension of the Cobham-Semenov theorem

机译：Cobham-Semenov定理的扩展
- 作者：Alexis Bes
- 期刊名称：《Journal of Symbolic Logic》 | 2000年第1期
21.The complexity of ODD_n~A

机译：ODD_n〜A的复杂度
- 作者：Richard Beigel;William Gasarch;Martin Kummer;Georgia Martin;Timothy McNicholl;Frank Stephan
- 期刊名称：《Journal of Symbolic Logic》 | 2000年第1期
22.The distribution of properly Σ_2~0 e-degrees

机译：正确Σ_2〜0 e度的分布
- 作者：Stanislaw Bereznyuk;Richard Coles;Andrea Sorbi
- 期刊名称：《Journal of Symbolic Logic》 | 2000年第1期

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有出版物经营许可证

客服微信
服务号