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

Journal of Symbolic Logic

SCI

中文名称：符号逻辑杂志

ISSN：0022-4812
出版周期：Quarterly

发文量：1470

期刊论文

热门论文

年度选择

更多>>

全选（0）

1.STRONGLY UNFOLDABLE CARDINALS MADE INDESTRUCTIBLE

机译：不可折叠的坚不可摧的硬纸板
- 作者：Johnstone TA
- 期刊名称：《Journal of Symbolic Logic》 | 2008年第4期
- strongly unfoldable cardinal;
- forcing;
- indestructibility;
- EXTENSIONS;
2.THE NUMBER OF OPENLY GENERATED BOOLEAN ALGEBRAS

机译：公开生成的布尔代数的数量
- 作者：STEFAN GESCHKE;SAHARON SHELAH
- 期刊名称：《Journal of Symbolic Logic》 | 2008年第1期
3.Coding complete theories in Galois groups

机译：在Galois小组中编写完整的理论
- 作者：Gray J
- 期刊名称：《Journal of Symbolic Logic》 | 2008年第2期
- Vietoris topology;
- model theory;
- pseudo-finite fields;
- algebraically closed fields with a generic automorphism;
- FINITE-FIELDS;
- SETS;
4.STRICTLY POSITIVE MEASURES ON BOOLEAN ALGEBRAS

机译：布尔代数上的严格积极措施
- 作者：Dzamonja M;Plebanek G
- 期刊名称：《Journal of Symbolic Logic》 | 2008年第4期
- strictly positive measure;
- chain conditions;
- COMPACT SPACES;
- VON-NEUMANN;
- SEPARABILITY;
- SUBMEASURES;
- TOPOLOGY;
5.COMPLETENESS AND INCOMPLETENESS FOR INTUITIONISTIC LOGIC

机译：直觉逻辑的完备性和不完备性
- 作者：McCarty C
- 期刊名称：《Journal of Symbolic Logic》 | 2008年第4期
6.UNARY PRIMITIVE RECURSIVE FUNCTIONS

机译：一元原始递归函数
- 作者：Severin DE
- 期刊名称：《Journal of Symbolic Logic》 | 2008年第4期
- unary;
- primitive recursive;
- recursion scheme;
- reduction;
- ITERATION;
- SCHEME;
7.The degree spectra of homogeneous models

机译：齐次模型的度谱
- 作者：Lange K
- 期刊名称：《Journal of Symbolic Logic》 | 2008年第3期
- PRIME MODELS;
- DECIDABILITY;
8.Internal consistency and global co-stationarity of the ground model

机译：地面模型的内部一致性和全局一致性
- 作者：Dobrinen N;Friedman SD
- 期刊名称：《Journal of Symbolic Logic》 | 2008年第2期
9.Pi(0)(1) CLASSES WITH COMPLEX ELEMENTS

机译：具有复杂元素的Pi（0）（1）类
- 作者：Binns S
- 期刊名称：《Journal of Symbolic Logic》 | 2008年第4期
- Pi(0)(1) class;
- complex;
- randomness;
- ranked;
- scattered linear order;
- computably growing;
- Muchnik;
10.The polynomial and linear hierarchies in models where the weak pigeonhole principle fails

机译：弱鸽洞原理失效的模型中的多项式和线性层次结构
- 作者：Kolodziejczyk LA;Thapent N
- 期刊名称：《Journal of Symbolic Logic》 | 2008年第2期
- PROVABILITY;
11.Cardinal invariants and the collapse of the continuum by Sacks forcing

机译：萨克斯强迫的基本不变性和连续体的崩溃
- 作者：Repicky M
- 期刊名称：《Journal of Symbolic Logic》 | 2008年第2期
- Sacks forcing;
- cardinal invariants;
- hereditary families;
- eventually narrow sequences;
- finite-to-one functions;
12.FRAGMENTS OF BOUNDED ARITHMETIC AND THE LENGTHS OF PROOFS

机译：有界算术的片段和PROOFS的长度
- 作者：Pudlak P
- 期刊名称：《Journal of Symbolic Logic》 | 2008年第4期
13.Changing the heights of automorphism towers by forcing with Souslin trees over L

机译：通过在L上强迫Souslin树来更改自构塔的高度
- 作者：Fuchs G;Hamkins JD
- 期刊名称：《Journal of Symbolic Logic》 | 2008年第2期
14.HIERARCHIES OF FORCING AXIOMS I

机译：强迫轴心的等级I
- 作者：ITAY NEEMAN;ERNEST SCHIMMERLING
- 期刊名称：《Journal of Symbolic Logic》 | 2008年第1期
15.NONDIVERSITY IN SUBSTRUCTURES

机译：子结构的多样性
- 作者：JAMES H. SCHMERL
- 期刊名称：《Journal of Symbolic Logic》 | 2008年第1期
16.square ON THE SINGULAR CARDINALS

机译：平方在奇异的基数上
- 作者：Cummings J;Friedman SD
- 期刊名称：《Journal of Symbolic Logic》 | 2008年第4期
17.FLAT ALGEBRAS AND THE TRANSLATION OF UNIVERSAL HORN LOGIC TO EQUATIONAL LOGIC

机译：平代数和通用角逻辑从等式逻辑的翻译
- 作者：MARCEL JACKSON
- 期刊名称：《Journal of Symbolic Logic》 | 2008年第1期
18.ON LP-MODELS OF ARITHMETIC

机译：关于算术LP模型
- 作者：I B PARIS;A. SIROKOFSKICH
- 期刊名称：《Journal of Symbolic Logic》 | 2008年第1期
19.Scott's problem for proper Scott sets

机译：适当的Scott集的Scott问题
- 作者：Gitman V
- 期刊名称：《Journal of Symbolic Logic》 | 2008年第3期
20.The 116 reducts of (Q, <, a)

机译：（Q，<，a）的116还原
- 作者：Junker M;Ziegler M
- 期刊名称：《Journal of Symbolic Logic》 | 2008年第3期
21.Complex tilings

机译：复杂的平铺
- 作者：Durand B;Levin LA;Shen A
- 期刊名称：《Journal of Symbolic Logic》 | 2008年第2期
- tilings;
- Kolmogorov complexity;
- recursion theory;
- NONRECURSIVE TILINGS;
- PLANE;
22.CANONICAL BASES IN EXCELLENT CLASSES

机译：优秀类的规范基础
- 作者：TAPANI HYTTINEN;OLIVIER LESSMANN
- 期刊名称：《Journal of Symbolic Logic》 | 2008年第1期
23.On a result of Szemeredi

机译：关于Szemeredi
- 作者：Jones AL
- 期刊名称：《Journal of Symbolic Logic》 | 2008年第3期
- cardinal numbers;
- filter bases;
- ordinal numbers;
- polarized partitions;
- pseudointersection number;
- Ramsey theory;
- O-MINIMAL STRUCTURES;
24.A note on standard systems and ultrafilters

机译：有关标准系统和超滤器的说明
- 作者：Engstrom F
- 期刊名称：《Journal of Symbolic Logic》 | 2008年第3期
25.The weak Konig lemma and uniform continuity

机译：弱的Konig引理和一致的连续性
- 作者：Berger J
- 期刊名称：《Journal of Symbolic Logic》 | 2008年第3期
26.Weak square bracket relations for P-kappa(lambda)

机译：P-κ（lambda）的弱方括号关系
- 作者：Matet P
- 期刊名称：《Journal of Symbolic Logic》 | 2008年第3期
- P-kappa(lambda);
- square bracket relations;
- PARTITION RELATIONS;
- P-OMEGA(LAMBDA);
- COFINALITY;
- CATEGORY;
- PROPERTY;
- IDEALS;
- PAIRS;
27.THERE EXISTS AN UNCOUNTABLE SET OF PRETABULAR EXTENSIONS OF THE RELEVANT LOGIC R AND EACH LOGIC OF THIS SET IS GENERATED BY A VARIETY OF FINITE HEIGHT

机译：存在有关逻辑R的不确定的前延扩展集，并且该集合的每个逻辑都是通过各种有限高度生成的
- 作者：Swirydowicz K
- 期刊名称：《Journal of Symbolic Logic》 | 2008年第4期
28.Hyperimmune-free degrees and Schnorr triviality

机译：无超免疫程度和Schnorr琐碎性
- 作者：Franklin JNY
- 期刊名称：《Journal of Symbolic Logic》 | 2008年第3期
- RANDOMNESS;
- LOWNESS;
29.ANALYTIC AND COANALYTIC FAMILIES OF ALMOST DISJOINT FUNCTIONS

机译：几乎分离函数的解析和协解析函数
- 作者：Kastermans B;Steprans J;Zhang Y
- 期刊名称：《Journal of Symbolic Logic》 | 2008年第4期
30.POWER-COLLAPSING GAMES

机译：能量收集游戏
- 作者：Kurilic MS;Sobot B
- 期刊名称：《Journal of Symbolic Logic》 | 2008年第4期
- Boolean algebras;
- games;
- Suslin trees;
- forcing;
- BOOLEAN-ALGEBRAS;
31.Selection in the monadic theory of a countable ordinal

机译：单数论中可数序数的选择
- 作者：Rabinovich A;Shomrat A
- 期刊名称：《Journal of Symbolic Logic》 | 2008年第3期
- ORDER;
32.Examples of non-locality

机译：非本地化的例子
- 作者：Baldwin JT;Shelah S
- 期刊名称：《Journal of Symbolic Logic》 | 2008年第3期
- ABSTRACT ELEMENTARY CLASSES;
- CATEGORICITY;
- AMALGAMATION;
33.MAXIMAL IRREDUNDANCE AND MAXIMAL IDEAL INDEPENDENCE IN BOOLEAN ALGEBRAS

机译：布尔代数中的最大冗余度和最大理想独立性
- 作者：J. DONALD MONK
- 期刊名称：《Journal of Symbolic Logic》 | 2008年第1期
34.Regular ultrafilters and finite square principles

机译：常规超滤器和有限平方原理
- 作者：Kennedy J;Shelah S;Vaananen J
- 期刊名称：《Journal of Symbolic Logic》 | 2008年第3期
- REDUCED PRODUCTS;
35.Reals n-generic relative to some perfect tree

机译：相对于一些完美树的实数泛型
- 作者：Anderson BA
- 期刊名称：《Journal of Symbolic Logic》 | 2008年第2期
36.PRIME MODELS OF COMPUTABLY ENUMERABLE DEGREE

机译：可计算程度的基本模型
- 作者：Epstein R
- 期刊名称：《Journal of Symbolic Logic》 | 2008年第4期
- HOMOGENEOUS MODELS;
- DECIDABILITY;
37.On the structure of the Medvedev lattice

机译：关于梅德韦杰夫格的结构
- 作者：Terwijn SA
- 期刊名称：《Journal of Symbolic Logic》 | 2008年第2期
- Medvedev degrees;
- chains;
- antichains;
- lattice embeddings;
38.THE BOREL HIERARCHY THEOREM FROM BROUWER'S INTUITIONISTIC PERSPECTIVE

机译：布鲁尔直觉视角的鲍里尔层次定理。
- 作者：WIM VELDMAN
- 期刊名称：《Journal of Symbolic Logic》 | 2008年第1期
39.FIRST-ORDER AND COUNTING THEORIES OF co-AUTOMATIC STRUCTURES

机译：共自动化结构的一阶与计数理论
- 作者：DIETRICH KUSKE;MARKUS LOHREY
- 期刊名称：《Journal of Symbolic Logic》 | 2008年第1期
40.P-HIERARCHY ON beta omega

机译：欧米茄P-HIERARCHY
- 作者：Starosolski A
- 期刊名称：《Journal of Symbolic Logic》 | 2008年第4期
- P-hierarchy;
- P-points;
- monotone sequential contour;
- ordinal ultrafilters;
- UND ITERIERTE GRENZPROZESSE;
- ULTRAFILTERS;
41.SEMISTATIONARY AND STATIONARY REFLECTION

机译：介词和静态反射
- 期刊名称：《Journal of Symbolic Logic》 | 2008年第1期
42.Strong cut-elimination in sequent calculus using Klop's l-translation and perpetual reductions

机译：使用克洛普（Klop）的l平移和永续归约法在后续演算中进行强切除
- 作者：Sorensen MH;Urzyczyn P
- 期刊名称：《Journal of Symbolic Logic》 | 2008年第3期
- TYPED LAMBDA-CALCULI;
- STRONG NORMALIZATION;
- WEAK NORMALIZATION;
43.Aronszajn lines and the club filter

机译：Aronszajn线条和俱乐部过滤器
- 作者：Moore JT
- 期刊名称：《Journal of Symbolic Logic》 | 2008年第3期
- Aronszajn;
- club guessing;
- Countryman;
- forcing axiom;
- omega-proper;
44.INCOMPATIBLE Omega-COMPLETE THEORIES

机译：欧米茄不兼容的理论
- 作者：Koellner P;Woodin WH
- 期刊名称：《Journal of Symbolic Logic》 | 2009年第4期
- LARGE CARDINALS;
- REALS;
- THEORIES;
45.BOUNDING NON-GL(2) AND REA

机译：有界非GL（2）和REA
- 作者：Ambos-Spies Klaus;Ding Decheng;Wang Wei;Yu Liang
- 期刊名称：《Journal of Symbolic Logic》 | 2009年第3期
- Generalized high/low hierarchies;
- recursively enumerable in and above;
- generic degree;
46.INDEPENDENTLY AXIOMATIZABLE L-omega 1,L-omega THEORIES

机译：独立的公理化L-ω1，L-ω理论
- 作者：Hjorth G;Souldatos IA
- 期刊名称：《Journal of Symbolic Logic》 | 2009年第4期
- sufficient conditions;
- language;
- intersection;
47.APPROACHABILITY AT THE SECOND SUCCESSOR OF A SINGULAR CARDINAL

机译：奇异基数第二继承者的可及性
- 作者：Gitik M;Krueger J
- 期刊名称：《Journal of Symbolic Logic》 | 2009年第4期
- approachability ideal;
- internally approachable;
- INTERNALLY CLUB;
48.STACKING MICE

机译：堆叠小鼠
- 作者：Jensen R;Schimmerling E;Schindler R;Steel J
- 期刊名称：《Journal of Symbolic Logic》 | 2009年第1期
- CORE MODEL;
- STACKING;
- MICE;
49.KREISEL'S CONJECTURE WITH MINIMALITY PRINCIPLE

机译：极简主义的克赖塞尔猜想
- 作者：Hrubes Pavel
- 期刊名称：《Journal of Symbolic Logic》 | 2009年第3期
- KREISEL'S CONJECTURE;
- MINIMALITY PRINCIPLE;
- Peano arithmetic;
50.STRONGLY REPRESENTABLE ATOM STRUCTURES OF CYLINDRIC ALGEBRAS

机译：圆柱代数的强可重构原子结构
- 作者：Hirsch Robin;Hodkinson Ian
- 期刊名称：《Journal of Symbolic Logic》 | 2009年第3期
- BOOLEAN-ALGEBRAS;
- VARIETIES;
- EQUATIONS;
- OPERATORS;
- LOGIC;
51.Continuous isomorphisms from R onto a complete abelian group

机译：从R到完整阿贝尔群的连续同构
- 作者：Bridges D.;Hendtlass M.
- 期刊名称：《Journal of Symbolic Logic》 | 2010年第3期
52.Products of some special compact spaces and restricted forms of AC

机译：一些特殊的紧凑空间和受限形式的交流电的乘积
- 作者：Keremedis K.;Tachtsis E.
- 期刊名称：《Journal of Symbolic Logic》 | 2010年第3期
- Axiom of choice;
- Compactness;
- Permutation model;
- Tychonoff products;
- Weak axioms of choice;
53.Some natural decision problems in automatic graphs

机译：自动图的一些自然决策问题
- 作者：Kuske D.;Lohrey M.
- 期刊名称：《Journal of Symbolic Logic》 | 2010年第2期
54.FIELDS INTERPRETABLE IN SUPERROSY GROUPS WITH NIP (THE NON-SOLVABLE CASE)

机译：具有NIP的超群中不可解释的场（不可解的情况）
- 作者：Krupinski K
- 期刊名称：《Journal of Symbolic Logic》 | 2010年第1期
- superrosy group;
- interpretable field;
- non independence property;
55.ON THE EXISTENCE OF STONE CECH COMPACTIFICATION

机译：关于石斑病致密性的存在
- 作者：Curi G
- 期刊名称：《Journal of Symbolic Logic》 | 2010年第4期
56.A NOTE ON HJORTH S OSCILLATION THEOREM

机译：关于Hjorth振荡定理的一个注记
- 作者：Melleray J
- 期刊名称：《Journal of Symbolic Logic》 | 2010年第4期
57.TAIT'S CONSERVATIVE EXTENSION THEOREM REVISITED

机译：修改了TAIT的保守扩展定理
- 作者：Akiyoshi R
- 期刊名称：《Journal of Symbolic Logic》 | 2010年第1期
- MATHEMATICS;
58.SCHNORR TRIVIALITY AND GENERICITY

机译：SCHNORR的独创性和通用性
- 作者：Franklin JNY
- 期刊名称：《Journal of Symbolic Logic》 | 2010年第1期
- RANDOMNESS;
59.On complex exponentiation restricted to the integers

机译：关于复数幂限制为整数
- 作者：Toffalori C.;Vozoris K.
- 期刊名称：《Journal of Symbolic Logic》 | 2010年第3期
- Complex exponentiation;
- Quasi minimality;
- Tarski-Vaught test;
60.DIAGONAL PRIKRY EXTENSIONS

机译：对角线延伸
- 作者：Cummings J;Foreman M
- 期刊名称：《Journal of Symbolic Logic》 | 2010年第4期
61.On quasiminimal excellent classes

机译：在准极好的类上
- 作者：Kirby J.
- 期刊名称：《Journal of Symbolic Logic》 | 2010年第2期
62.GENERALIZATIONS OF SMALL PROFINITE STRUCTURES

机译：小有限结构的广义化
- 作者：Krupinski K
- 期刊名称：《Journal of Symbolic Logic》 | 2010年第4期
- Profinite structure;
- compact structure;
- independence relation;
63.CONSISTENCY OF STRICTLY IMPREDICATIVE NF AND A LITTLE MORE

机译：严格禁止性NF的一致性和更多
- 作者：Tupailo S
- 期刊名称：《Journal of Symbolic Logic》 | 2010年第4期
64.EXPANSIONS OF THE REAL FIELD BY OPEN SETS DEFINABILITY VERSUS INTERPRETABILITY

机译：开放集可定义性与可解释性对实场的扩展
- 作者：Friedman H;Kurdyka K;Miller C;Speissegger P
- 期刊名称：《Journal of Symbolic Logic》 | 2010年第4期
- expansion of the real field;
- o minimal;
- projective hierarchy;
- Cantor set;
- Hausdorff dimension;
- Minkowski dimension;
65.THE REDUCTS OF EQUALITY UP TO PRIMITIVE POSITIVE INTERDEFINABILITY

机译：直至原始正可确定性的均等减少
- 作者：Bodirsky M;Chen HB;Pinsker M
- 期刊名称：《Journal of Symbolic Logic》 | 2010年第4期
- relational structure;
- reduct primitive positive definition;
- lattice;
- invariant relation;
- Galois connection;
- local clone permutations;
66.A form of feasible interpolation for constant depth frege systems

机译：恒定深度护栅系统可行插值的一种形式
- 作者：Jan K.
- 期刊名称：《Journal of Symbolic Logic》 | 2010年第2期
67.NORMAL TRIANGULATIONS IN O-MINIMAL STRUCTURES

机译：O形结构中的正态三角形
- 作者：Baro E
- 期刊名称：《Journal of Symbolic Logic》 | 2010年第1期
- normal triangulation;
- o-minimal;
- semialgebraic;
- Hauptvermutung;
68.RECOVERING THE HYPERDEFINABLE GROUP ACTION IN THE GROUP CONFIGURATION THEOREM

机译：恢复组配置定理中的超定义组动作
- 作者：Kim B
- 期刊名称：《Journal of Symbolic Logic》 | 2010年第1期
- HYPERDEFINABLE GROUP ACTION;
- GROUP CONFIGURATION THEOREM;
69.Schlanke k?rper (Slim fields)

机译：苗条的身材（苗条的领域）
- 作者：Junker M.;Koenigsmann J.
- 期刊名称：《Journal of Symbolic Logic》 | 2010年第2期
70.A PROOF OF COMPLETENESS FOR CONTINUOUS FIRST-ORDER LOGIC

机译：连续一阶逻辑的完备性证明
- 作者：Ben Yaacov I;Pedersen AP
- 期刊名称：《Journal of Symbolic Logic》 | 2010年第1期
- FUZZY LOGIC;
- PROPOSITIONAL CALCULI;
71.Pair-splitting, pair-reaping and cardinal invariants of F _σ-ideals

机译：F_σ理想的成对分裂，成对收获和基不变量
- 作者：Hru?ák M.;Meza-Alcántara D.;Minami H.
- 期刊名称：《Journal of Symbolic Logic》 | 2010年第2期
- Cardinal invariants of the continuum;
- F_σ-ideals;
- Laver forcing;
- Pair-reaping number;
- Pair-splitting number;
72.DIRECTED FREE PSEUDOSPACES

机译：直接免费伪空间
- 作者：Grunert R
- 期刊名称：《Journal of Symbolic Logic》 | 2010年第4期
73.A relative of the approachability ideal, diamond and non-saturation

机译：可接近性理想，钻石和非饱和的亲戚
- 作者：Rinot A.
- 期刊名称：《Journal of Symbolic Logic》 | 2010年第3期
- Approachability ideal;
- Diamond;
- Diamond star;
- Reflection principles;
- Sap;
- Saturation;
- Stationary hitting;
- Weak square;
74.ON TAO'S 'FINITARY' INFINITE PIGEONHOLE PRINCIPLE

机译：论陶子的“终极”无穷孔原理
- 作者：Gaspar J;Kohlenbach U
- 期刊名称：《Journal of Symbolic Logic》 | 2010年第1期
- TAO'S "FINITARY";
- PIGEONHOLE PRINCIPLE;
75.Stability and stable groups in continuous logic

机译：连续逻辑中的稳定群
- 作者：Ben Yaacov I.
- 期刊名称：《Journal of Symbolic Logic》 | 2010年第3期
- Continuous logic;
- Definable group;
- Stable theory;
76.GROUPS OF SMALL CANTOR RANK

机译：小康托尔组
- 作者：Poizat B
- 期刊名称：《Journal of Symbolic Logic》 | 2010年第1期
- FIELDS;
77.Effectivity and effective continuity of multifunctions

机译：多功能的有效性和有效连续性
- 作者：Spreen D.
- 期刊名称：《Journal of Symbolic Logic》 | 2010年第2期
78.Espaces vectoriels C-minimaux

机译：C最小向量空间
- 作者：Maalouf F.
- 期刊名称：《Journal of Symbolic Logic》 | 2010年第2期
79.A PHASE SEMANTICS FOR POLARIZED LINEAR LOGIC AND SECOND ORDER CONSERVATIVITY

机译：极化线性逻辑和二阶守恒性的相态
- 作者：Hamano M;Takemura R
- 期刊名称：《Journal of Symbolic Logic》 | 2010年第1期
- FINITE-MODEL PROPERTY;
- CUT-ELIMINATION;
- FRAGMENTS;
- PROOFS;
80.BAIRE REDUCTIONS AND GOOD BOREL REDUCIBILITIES

机译：贝尔减法和良好伯雷尔减法
- 作者：Ros LM
- 期刊名称：《Journal of Symbolic Logic》 | 2010年第1期
- Determinacy;
- Wadge hierarchy;
81.The laczkovich-komjáth property for coanalytic equivalence relations

机译：协分析等价关系的laczkovich-komjáth属性
- 作者：Gao S.;Jackson S.;Kieftenbeld V.
- 期刊名称：《Journal of Symbolic Logic》 | 2010年第3期
- Coanalytic equivalence relations;
- Laczkovich-Komjá;
- Limit superior of a sequence of sets;
- Th property;
82.LATTICE INITIAL SEGMENTS OF THE HYPERDEGREES

机译：超度的晶格初始段
- 作者：Shore RA;Kjos-Hanssen B
- 期刊名称：《Journal of Symbolic Logic》 | 2010年第1期
- TURING DEGREES;
- C-DEGREES;
- CONSTRUCTIBILITY;
- UNSOLVABILITY;
- REDUCIBILITIES;
83.P-adically closed fields with nonstandard analytic structure

机译：具有非标准解析结构的P型非封闭区域
- 作者：Ali B.
- 期刊名称：《Journal of Symbolic Logic》 | 2010年第3期
84.Regular embeddings of the stationary tower and woodin's Σ_2~2 maximality theorem

机译：固定塔的规则嵌入和伍丁的Σ_2〜2极大定理
- 作者：Richard K.;Larson P.B.;Jind?ich Z.
- 期刊名称：《Journal of Symbolic Logic》 | 2010年第2期
85.Quantifier elimination in valued Ore modules

机译：珍贵矿石模块中的量词消除
- 作者：Bélair L.;Point F.
- 期刊名称：《Journal of Symbolic Logic》 | 2010年第3期
86.AN EQUICONSISTENCY FOR UNIVERSAL INDESTRUCTIBILITY

机译：通用性的等价性
- 作者：Apter AW;Sargsyan G
- 期刊名称：《Journal of Symbolic Logic》 | 2010年第1期
87.ON THE COMPLEXITY OF GODEL'S PROOF PREDICATE

机译：关于GODEL证明的复杂性
- 作者：Chen YJ;Flum J
- 期刊名称：《Journal of Symbolic Logic》 | 2010年第1期
- COMPLEXITY;
- GODEL'S PROOF PREDICATE;
88.Schnorr trivial sets and truth-table reducibility

机译：Schnorr平凡集和真值表可约性
- 作者：Franklin J.N.Y.;Stephan F.
- 期刊名称：《Journal of Symbolic Logic》 | 2010年第2期
89.GROUPLIKE MINIMAL SETS IN ACFA IN T-A

机译：T-A中ACFA的GROUPLIKE最小集
- 作者：Medvedev A
- 期刊名称：《Journal of Symbolic Logic》 | 2010年第4期
90.The two-cardinal problem for languages of arbitrary cardinality

机译：任意基数语言的两基问题
- 作者：Villegas Silva L.M.
- 期刊名称：《Journal of Symbolic Logic》 | 2010年第3期
- Cardinal transfer theorem;
- Coarse morass;
- Two-cardinal problem;
91.The initial meadows

机译：最初的草地
- 作者：Bethke I.;Rodenburg P.
- 期刊名称：《Journal of Symbolic Logic》 | 2010年第3期
- Computable algebras;
- Data structures;
- Decidability;
- Initial algebra semantics;
- Normal forms;
- Specification languages;
- Word problem;
92.THE CHARACTERISTIC SEQUENCE OF A FIRST ORDER FORMULA

机译：一阶公式的特征序列
- 作者：Malliaris ME
- 期刊名称：《Journal of Symbolic Logic》 | 2010年第4期
93.Towards applied theories based on computability logic

机译：基于可计算性逻辑的应用理论
- 作者：Japaridze G.
- 期刊名称：《Journal of Symbolic Logic》 | 2010年第2期
- Computability logic;
- Constructive logics;
- Game semantics;
- Peano arithmetic;
94.Universally measurable subgroups of countable index

机译：可数指数的普遍可测子组
- 作者：Rosendal C.
- 期刊名称：《Journal of Symbolic Logic》 | 2010年第3期
- Automatic continuity;
- Haar null sets;
- Universally measurable subgroup;
95.A characterization of the 0-basis homogeneous bounding degrees

机译：0基齐次包围度的刻画
- 作者：Karen L.
- 期刊名称：《Journal of Symbolic Logic》 | 2010年第3期
96.GROUPS DEFINABLE IN LINEAR O-MINIMAL STRUCTURES: THE NON-COMPACT CASE

机译：在线性O最小结构中定义的组：非紧实情况
- 作者：Eleftheriou PE
- 期刊名称：《Journal of Symbolic Logic》 | 2010年第1期
- O-minimal structures;
- Quotient by lattice;
97.UNIQUELY UNDEFINABLE ELEMENTS

机译：不可定义的元素
- 作者：Hjorth G
- 期刊名称：《Journal of Symbolic Logic》 | 2010年第1期
- L-omega;
- language;
98.A HIGH C E DEGREE WHICH IS NOT THE JOIN OF TWO MINIMAL DEGREES

机译：最高学位不是两个最低学位
- 作者：Giorgi MB
- 期刊名称：《Journal of Symbolic Logic》 | 2010年第4期
99.A computable N_0-categorical structure whose theory computes true arithmetic

机译：一种可计算的N_0分类结构，其理论计算为真算术
- 作者：Khoussainov B.;Montalbán A.
- 期刊名称：《Journal of Symbolic Logic》 | 2010年第2期
100.THE FULL BINARY TREE CANNOT BE INTERPRETED IN A CHAIN

机译：不能在链中解释完整的二叉树
- 作者：Rabinovich A
- 期刊名称：《Journal of Symbolic Logic》 | 2010年第4期

客服邮箱：kefu@zhangqiaokeyan.com

客服微信
服务号