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

Journal of mathematical logic

Journal of mathematical logic

SCI

中文名称：数学逻辑杂志

ISSN：0219-0613
出版周期：Semiannual

发文量：129

期刊论文

年度选择

2023
- 第1期
- 第2期
2022
- 第1期
- 第2期
- 第3期
2021
- 第1期
- 第2期
- 第3期
2020
- 第1期
- 第2期
- 第3期
2019
- 第1期
- 第2期
2018
- 第1期
- 第2期
2017
- 第1期
- 第2期
2016
- 第1期
- 第2期
2015
- 第1期
- 第2期
2014
- 第1期
- 第2期
2013
- 第1期
- 第2期
2012
- 第1期
- 第2期
2011
- 第1期
- 第2期
2010
- 第2期
2009
- 第1期
- 第2期
2008
- 第1期
- 第2期
2007
- 第1期
- 第2期
2006
- 第1期
- 第2期
2005
- 第1期
- 第2期
2004
- 第1期
- 第2期
2003
- 第1期
- 第2期
2002
- 第1期
- 第2期

更多>>

全选（0）

1.An embedding theorem of E-0 with model theoretic applications

机译：E-0的一个嵌入定理及其模型理论应用
- 作者：Kaplan Itay;Miller Benjamin D.
- 期刊名称：《Journal of mathematical logic》 | 2014年第2期
- Descriptive set theory;
- model theory;
- E-0;
- bounded invariant equivalence relations;
- type definable groups;
- Borel cardinality;
- Lascar strong types;
2.Determinacy in L(R, μ)

机译：L中的确定性（R，μ）
- 作者：Nam Trang
- 期刊名称：《Journal of mathematical logic》 | 2014年第1期
- Solovay measure;
- descriptive inner model theory;
- core model induction;
3.Model theory of fields with free operators in characteristic zero

机译：特征零中具有自由算子的场的模型理论
- 作者：Moosa Rahim;Scanlon Thomas
- 期刊名称：《Journal of mathematical logic》 | 2014年第2期
- Canonical base property;
- difference field;
- differential field;
- generalised Hasse-Schmidt field;
- jet space;
- model companion;
- prolongation;
- simple theory;
- Zilber dichotomy;
4.The axiom of multiple choice and models for constructive set theory

机译：多项选择公理和建构集理论模型
- 作者：Benno van den Berg;Ieke Moerdijk
- 期刊名称：《Journal of mathematical logic》 | 2014年第1期
- Constructive set theory;
- algebraic set theory;
- realizability;
- sheaves;
5.Ultrafilters in reverse mathematics

机译：逆数学中的超滤器
- 作者：Henry Towsner
- 期刊名称：《Journal of mathematical logic》 | 2014年第1期
- Reverse mathematics;
- ultrafilters;
- forcing;
- conservative;
6.Tameness and extending frames

机译：柔韧性和延伸框架
- 作者：Boney Will
- 期刊名称：《Journal of mathematical logic》 | 2014年第2期
- AECs;
- good lambda-frames;
- tameness;
- independence;
7.Strict independence

机译：严格独立
- 作者：Kaplan Itay;Usvyatsov Alexander
- 期刊名称：《Journal of mathematical logic》 | 2014年第2期
- Strict independence;
- forking;
- weight;
- dependent theories;
- resilient theories;
8.Nontame mouse from the failure of square at a singular strong limit cardinal

机译：Nontame鼠标从奇数强极限基数平方失败
- 作者：Grigor Sargsyan
- 期刊名称：《Journal of mathematical logic》 | 2014年第1期
- Mouse;
- inner model theory;
- descriptive set theory;
- HOD mouse;
9.Denjoy, Demuth and density

机译：Denjoy，深度和密度
- 作者：Laurent Bienvenu;Rupert H?lzl;Joseph S. Miller;André Nies
- 期刊名称：《Journal of mathematical logic》 | 2014年第1期
- Differentiability;
- Denjoy alternative;
- density;
- porosity;
- randomness;
10.Lowness for effective Hausdorff dimension

机译：降低有效Hausdorff尺寸
- 作者：Lempp Steffen;Miller Joseph S.;Ng Keng Meng;Turetsky Daniel D.;Weber Rebecca
- 期刊名称：《Journal of mathematical logic》 | 2014年第2期
- Martin-Lof randomness;
- effective Hausdorff dimension;
- Kolmogorov complexity;
- lowness;
11.Interpretable groups are definable

机译：可解释的组是可定义的
- 作者：Pantelis E. Eleftheriou;Yaacov Peterzil;Janak Ramakrishnan
- 期刊名称：《Journal of mathematical logic》 | 2014年第1期
- o-minimality;
- interpretable groups;
- definable groups;
- elimination of imaginarles;
12.Plus ultra

机译：更超
- 作者：Wagner Frank O.
- 期刊名称：《Journal of mathematical logic》 | 2015年第2期
- Stable;
- simple;
- internal;
- analyzable;
- ultraimaginary;
- elimination;
- weak canonical base property;
13.On the existence of a strong minimal pair

机译：关于强极小对的存在
- 作者：Barmpalias George;Cai Mingzhong;Lempp Steffen;Slaman Theodore A.
- 期刊名称：《Journal of mathematical logic》 | 2015年第1期
- Turing degrees;
- computably enumerable;
- minimal pair;
- extension of embeddings;
14.Inverse limit reflection and the structure of L(V lambda+1)

机译：反极限反射和L（V lambda + 1）的结构
- 作者：Cramer Scott S.
- 期刊名称：《Journal of mathematical logic》 | 2015年第1期
- Large cardinals;
- reflection;
- elementary embeddings;
- inverse limits;
- stationary sets;
- perfect sets;
15.On model-theoretic connected components in some group extensions

机译：关于某些组扩展中的模型理论连接的组件
- 作者：Gismatullin Jakub;Krupinski Krzysztof
- 期刊名称：《Journal of mathematical logic》 | 2015年第2期
16.Type-amalgamation properties and polygroupoids in stable theories

机译：稳定理论中的类型融合特性和多族群
- 作者：Goodrick John;Kim Byunghan;Kolesnikov Alexei
- 期刊名称：《Journal of mathematical logic》 | 2015年第1期
- Amalgamation properties;
- stable theories;
- polygroupoids;
- groupoids;
17.Invariant types in NIP theories

机译：NIP理论中的不变类型
- 作者：Simon Pierre
- 期刊名称：《Journal of mathematical logic》 | 2015年第2期
- Model theory;
- NIP;
- invariant types;
- (p;
- q)-theorem;
18.Coherent adequate forcing and preserving CH

机译：连贯的适当强制和保留CH
- 作者：Krueger John;Mota Miguel Angel
- 期刊名称：《Journal of mathematical logic》 | 2015年第2期
- Forcing;
- side conditions;
- adequate sets;
- coherent adequate sets;
19.Collapsing the cardinals of HOD

机译：折叠HOD的主教
- 作者：Cummings James;Friedman Sy David;Golshani Mohammad
- 期刊名称：《Journal of mathematical logic》 | 2015年第2期
- HOD;
- supercompact Radin forcing;
- failure of weak covering;
20.Pseudofinite structures and simplicity

机译：伪有限结构和简单性
- 作者：Garcia Dario;Macpherson Dugald;Steinhorn Charles
- 期刊名称：《Journal of mathematical logic》 | 2015年第1期
- Model theory;
- finite and pseudofinite structures;
- dimension;
- independence;
21.On function field Mordell-Lang and Manin-Mumford

机译：在功能领域Mordell-Lang和Manin-Mumford
- 作者：Benoist Franck;Bouscaren Elisabeth;Pillay Anand
- 期刊名称：《Journal of mathematical logic》 | 2016年第1期
- Model theory;
- Mordell-Lang;
- Manin-Mumford;
- quantifier elimination;
- stability;
- separably closed field;
22.Ramsey algebras

机译：拉姆西代数
- 作者：Teh Wen Chean
- 期刊名称：《Journal of mathematical logic》 | 2016年第2期
- Ramsey algebra;
- Hindman's theorem;
- topological Ramsey space;
- orderly composition;
23.On notions of computability-theoretic reduction between Pi(1)(2) principles

机译：关于Pi（1）（2）原理之间的可计算性理论约简的概念
- 作者：Hirschfeldt Denis R.;Jockusch Carl G. Jr.
- 期刊名称：《Journal of mathematical logic》 | 2016年第1期
- Computable reducibility;
- uniform reducibility;
- Weihrauch reducibility;
- Ramsey's Theorem;
- Konig's Lemma;
24.On principles between Sigma(1)- and Sigma(2)-induction, and monotone enumerations

机译：关于Sigma（1）-和Sigma（2）-归纳法以及单调枚举之间的原理
- 作者：Kreuzer Alexander P.;Yokoyama Keita
- 期刊名称：《Journal of mathematical logic》 | 2016年第1期
25.Mass problems and density

机译：质量问题和密度
- 作者：Binns Stephen;Shore Richard A.;Simpson Stephen G.
- 期刊名称：《Journal of mathematical logic》 | 2016年第2期
- Mass problems;
- Muchnik degrees;
- degrees of unsolvability;
- Turing oracles;
- Turing degrees;
- Turing jump;
- hyperarithmetical theory;
26.Tame failures of the unique branch hypothesis and models of AD(R) + Theta is regular

机译：AD（R）+ Theta的唯一分支假设和模型的驯服失败是规则的
- 作者：Sargsyan Grigor;Trang Nam
- 期刊名称：《Journal of mathematical logic》 | 2016年第2期
- The Unique Branch Hypothesis;
- tame iteration trees;
- inner models;
- large cardinals;
- core model induction;
- hod mice;
27.Infinite-dimensional Ellentuck spaces and Ramsey-classification theorems

机译：无限维Ellentuck空间和Ramsey分类定理
- 作者：Dobrinen Natasha
- 期刊名称：《Journal of mathematical logic》 | 2016年第1期
- Ramsey theory;
- infinite-dimensional Ellentuck space;
- uniform barrier;
- canonical equivalence relation;
- ultrafilter;
28.On cuts in ultraproducts of linear orders I

机译：削减线性订单的超产品I
- 作者：Golshani Mohammad;Shelah Saharon
- 期刊名称：《Journal of mathematical logic》 | 2016年第2期
- Ultraproduct;
- saturated linear orders;
- cuts;
29.On model-theoretic tree properties

机译：关于模型理论树的性质
- 作者：Chernikov Artem;Ramsey Nicholas
- 期刊名称：《Journal of mathematical logic》 | 2016年第2期
- Tree properties;
- TP1;
- TP2;
- NSOP1;
- tree indiscernibles;
- independent amalgamation;
30.Treeable equivalence relations

机译：可操作的等价关系
- 作者：Hjorth G.
- 期刊名称：《Journal of mathematical logic》 | 2012年第1期
- Borel equivalence relation;
- countable equivalence relations;
- ergodic equivalence relations;
- Treeable;
31.THE STRENGTH OF JULLIEN'S INDECOMPOSABILITY THEOREM

机译：Jullien的不可分解性定理的力量
- 作者：Neeman I
- 期刊名称：《Journal of mathematical logic》 | 2008年第1期
32.Separation problems and forcing

机译：分离问题和强迫
- 作者：Zapletal J.
- 期刊名称：《Journal of mathematical logic》 | 2013年第1期
- forcing;
- overspill;
- Separation;
- set of uniqueness;
33.Relative to any non-hyperarithmetic set

机译：相对于任何非竞级集
- 作者：Greenberg N.;Montalbán A.;Slaman T.A.
- 期刊名称：《Journal of mathematical logic》 | 2013年第1期
- degree spectrum;
- Hyperarithmetic;
34.Asymptotic density and computably enumerable sets

机译：渐近密度和可计算地令人令人愉快的套件
- 作者：Downey R.G.;Jockusch Jr. C.G.;Schupp P.E.
- 期刊名称：《Journal of mathematical logic》 | 2013年第2期
- Asymptotic density;
- Computably enumerable sets;
- Low degrees;
- Turing degrees;
35.Separating principles below ramsey's theorem for pairs

机译：将原则分开Ramsey的定理成对
- 作者：Lerman M.;Solomon R.;Towsner H.
- 期刊名称：《Journal of mathematical logic》 | 2013年第2期
- ADS;
- CAC;
- Erdos-Moser;
- Iterated forcing;
- Ramsey's theorem;
- Reverse mathematics;
36.The special Aronszajn tree property

机译：特殊的aronszajn树属性
- 期刊名称：《Journal of mathematical logic》 | 2020年第1期
- Tree specialization;
- Aronszajn trees;
- Generalized Suslin Hypothesis;
37.GANZSTELLENSATZE IN THEORIES OF VALUED FIELDS

机译：Ganzstellensatze在有价值的领域理论
- 作者：Haskell D;Yaffe Y
- 期刊名称：《Journal of mathematical logic》 | 2008年第1期
- Valued fields;
- integral definite functions;
- Hilbert's seventeenth problem;
38.Every countable model of set theory embeds into its own constructible universe

机译：集合理论的每种可数模型都嵌入到自己的结构宇宙中
- 作者：Hamkins J.D.
- 期刊名称：《Journal of mathematical logic》 | 2013年第2期
- Countable random Q-graded digraph;
- Embeddings;
- Hypnagogic digraph;
- Models of set theory;
39.CONTINUOUS FIRST ORDER LOGIC FOR UNBOUNDED METRIC STRUCTURES

机译：用于无限度量结构的连续一阶逻辑
- 作者：YAACOV ITAIBEN
- 期刊名称：《Journal of mathematical logic》 | 2008年第2期
- CONTINUOUS;
- LOGIC;
- METRIC;
40.A DICHOTOMY FOR THE NUMBER OF ULTRAPOWERS

机译：对超超声波的数量的二分法
- 作者：Farah I;Shelah S
- 期刊名称：《Journal of mathematical logic》 | 2010年第2期
- Dichotomy;
- ultrapower;
41.INTERNAL APPROACHABILITY AND REFLECTION

机译：内部易在性和反思
- 作者：Krueger J
- 期刊名称：《Journal of mathematical logic》 | 2008年第1期
- Weak Reflection Principle;
- internally approachable;
42.SUITABLE EXTENDER MODELS I

机译：合适的扩展模型i
- 作者：Woodin WH
- 期刊名称：《Journal of mathematical logic》 | 2010年第2期
- Extender;
- iteration tree;
- inner models;
- supercompact cardinal;
43.ARONSZAJN TREES AND FAILURE OF THE SINGULAR CARDINAL HYPOTHESIS

机译：Aronszajn树木和奇异的主教假设的失败
- 作者：ITAY NEEMAN
- 期刊名称：《Journal of mathematical logic》 | 2009年第1期
- Singular cardinal hypothesis;
- Aronszajn trees;
- tree property;
- supercompactcardinals;
44.Equations in oligomorphic clones and the constraint satisfaction problem for omega-categorical structures

机译：Oligomorphic克隆的方程和欧米茄分类结构的约束满足问题
- 作者：Barto Libor;Kompatscher Michael;Olsak Miroslav;Trung Van Pham;Pinsker Michael
- 期刊名称：《Journal of mathematical logic》 | 2019年第2期
45.Recursive functions and existentially closed structures

机译：递归功能和存在封闭的结构
- 期刊名称：《Journal of mathematical logic》 | 2020年第1期
- Representability of recursive functions;
- classification theory;
- relative interpretation;
46.BASIS THEOREMS FOR NON-POTENTIALLY CLOSED SETS AND GRAPHS OF UNCOUNTABLE BOREL CHROMATIC NUMBER

机译：基于非潜在封闭套装的基础定理和不可数Borel色数的图表
- 作者：LECOMTE DOMINIQUE;MILLER BENJAMIN D.
- 期刊名称：《Journal of mathematical logic》 | 2008年第2期
- THEOREMS;
- SETS;
- UNCOUNTABLE;
47.WHEN COTORSION MODULES ARE PURE INJECTIVE

机译：当Cotorsion模块是纯粹的注射
- 作者：IVO HERZOG;PHILIPP ROTHMALER
- 期刊名称：《Journal of mathematical logic》 | 2009年第1期
48.Author Index (2008)

机译：作者索引（2008）
- 期刊名称：《Journal of mathematical logic》 | 2008年第2期
- Author;
- Author;
- text;
49.A GEOMETRIC INTRODUCTION TO FORKING AND THORN-FORKING

机译：分叉和荆棘分叉的几何介绍
- 作者：HANS ADLER
- 期刊名称：《Journal of mathematical logic》 | 2009年第1期
- Independence relation;
- forking;
- thorn-forking;
50.Pseudofinite difference fields

机译：伪形差异字段
- 作者：Zou Tingxiang
- 期刊名称：《Journal of mathematical logic》 | 2019年第2期
- Ultraproduct;
- finite difference field;
- coarse pseudofinite dimension;
- transformal transcendence degree;
51.THE aa THEORY OF PEANO ID1 SENTENCES

机译：PEANO ID1句子的AA理论
- 作者：LINDSTROM PER;SHAVRUKOV V. YU.
- 期刊名称：《Journal of mathematical logic》 | 2008年第2期
- THEORY;
- PEANO;
- SENTENCES;
52.Rado's Conjecture and its Baire version

机译：Rado的猜想及其拜尔德版
- 期刊名称：《Journal of mathematical logic》 | 2020年第1期
- Rado's Conjecture;
- compactness principles;
- forcing;
- Baire tree;
53.POLYNOMIAL LOCAL SEARCH IN THE POLYNOMIAL HIERARCHY AND. WITNESSING IN FRAGMENTS OF BOUNDED ARITHMETIC

机译：多项式层次结构中的多项式本地搜索。在有界算术的碎片中见证
- 作者：ARNOLD BECKMANN;SAMUEL R. BUSS
- 期刊名称：《Journal of mathematical logic》 | 2009年第1期
- Polynomial local search;
- provably total;
- bounded arithmetic;
- witnessing;
- skolem function;
- proof complexity;
54.COMPUTABLE STRUCTURES OF RANK omega(CK)(1)

机译：等级ω（ck）的可计算结构（1）
- 作者：Knight JF;Millar J
- 期刊名称：《Journal of mathematical logic》 | 2010年第2期
- Computable structure;
- Scott rank;
55.Maximal compact subgroups in the o-minimal setting

机译：O-最小设置中的最大紧凑型子组
- 作者：Conversano A.
- 期刊名称：《Journal of mathematical logic》 | 2013年第1期
- definable groups;
- definably compact subgroups;
- O-minimality;
56.ON THE PROOF COMPLEXITY OF THE NISAN–WIGDERSON GENERATOR BASED ON A HARD NP ∩ coNP FUNCTION

机译：基于硬质NP△CONP功能的Nisan-Wigderson发生器的证明复杂性
- 作者：JAN KRAJICEK
- 期刊名称：《Journal of mathematical logic》 | 2011年第1期
- Proof complexity;
- Nisan–Wigderson generator;
57.Amalgamation of types in pseudo-algebraically closed fields and applications

机译：伪代数封闭领域和应用中类型的融合
- 作者：Chatzidakis Zoe
- 期刊名称：《Journal of mathematical logic》 | 2019年第2期
- Pseudo-algebraically closed fields;
- imaginaries;
58.THE FILTER DICHOTOMY AND MEDIAL LIMITS

机译：过滤器二分法和内侧限制
- 作者：PAUL B. LARSON
- 期刊名称：《Journal of mathematical logic》 | 2009年第2期
- Medial limits;
- forcing axioms;
- universal measurability;
- Baire property;
59.Borel equivalence relations and lascar strong types

机译：Borel等价关系和Lascar强类型
- 作者：Krupiński K.;Pillay A.;Solecki S.
- 期刊名称：《Journal of mathematical logic》 | 2013年第2期
- Borel reducibility;
- Lascar strong types;
60.Non-principal ultrafilters, program extraction and higher-order reverse mathematics

机译：非主要超液，程序提取和高阶逆转数学
- 作者：Kreuzer A.P.
- 期刊名称：《Journal of mathematical logic》 | 2012年第1期
- conservation;
- functional interpretation;
- higher-order reverse mathematics;
- program extraction;
- Ultrafilter;
61.Randomized feasible interpolation and monotone circuits with a local oracle

机译：随机可行的插值和当地甲骨文的单调电路
- 作者：Krajicek Jan
- 期刊名称：《Journal of mathematical logic》 | 2018年第2期
- Proof complexity;
- communication complexity;
- resolution;
- feasible interpolation;
- monotone circuits;
62.The stability spectrum for classes of atomic models

机译：原子模型类的稳定谱
- 作者：Baldwin J.T.;Shelah S.
- 期刊名称：《Journal of mathematical logic》 | 2012年第1期
- Atomic models;
- L _(ω1;
- ω);
- stability spectrum;
- tree indiscernibles;
63.Pseudofinite difference fields (Retraction of Vol 19, Pg 26, 2019)

机译：伪缺陷差异字段（卷19，2019年第26,26,2019的退回）
- 期刊名称：《Journal of mathematical logic》 | 2020年第1期
64.A GENERATION THEOREM FOR GROUPS OF FINITE MORLEY RANK

机译：一组有限莫利等级的一代定理
- 作者：BURDGES JEFFREY;CHERLIN GREGORY
- 期刊名称：《Journal of mathematical logic》 | 2008年第2期
- GENERATION;
- HEOREM;
- MORLEY RANK;
65.A 2-MINIMAL NON-GL(2) DEGREE

机译：一个2-最小的非GL（2）度
- 作者：Cai MZ
- 期刊名称：《Journal of mathematical logic》 | 2010年第2期
- 2-minimal degree;
- tree system;
- pruned subtree;
66.ON PERTURBATIONS OF CONTINUOUS STRUCTURES

机译：关于连续结构的扰动
- 作者：YAACOV ITAIBEN
- 期刊名称：《Journal of mathematical logic》 | 2008年第2期
- PERTURBATIONS;
- CONTINUOUS;
- STRUCTURES;
67.Diamonds, compactness, and measure sequences

机译：菱形，紧凑性和测量序列
- 作者：Ben-Neria Omer
- 期刊名称：《Journal of mathematical logic》 | 2019年第1期
- Diamond;
- stationary reflection;
- weakly compact cardinal;
- Radin forcing;
- repeat point;
68.ON LOWENHEIM–SKOLEM–TARSKI NUMBERS FOR EXTENSIONS OF FIRST ORDER LOGIC

机译：在Lowenheim-Skolem-tarski号码，用于首次级逻辑的扩展
- 作者：MENACHEM MAGIDOR;JOUKO VAANANEN
- 期刊名称：《Journal of mathematical logic》 | 2011年第1期
- Lowenheim–Skolem theorem;
- equicardinality quantifier;
- Hartig-quantifier;
- supercompact cardinal;
69.SEMISIMPLE TORSION IN GROUPS OF FINITE MORLEY RANK

机译：有限莫利等级的半单曲扭转
- 作者：JEFFREY BURDGES;GREGORY CHERLIN
- 期刊名称：《Journal of mathematical logic》 | 2009年第2期
- Simple groups;
- Morley rank;
- semisimple;
- torus;
- genericity;
70.Independence in randomizations

机译：随机化的独立性
- 作者：Andrews Uri;Goldbring Isaac;Keisler H. Jerome
- 期刊名称：《Journal of mathematical logic》 | 2019年第1期
- Randomizations;
- independence relations;
71.The Bristol model: An abyss called a Cohen real

机译：布里斯托尔型号：深渊称为科恩真实
- 作者：Karagila Asaf
- 期刊名称：《Journal of mathematical logic》 | 2018年第2期
- Axiom of choice;
- HOD Conjecture;
- Bristol model;
- symmetric extension;
- intermediate models;
- Kinna-Wagner principles;
72.The canonical topology on dp-minimal fields

机译：DP-MINIMAL字段上的规范拓扑
- 作者：Johnson Will
- 期刊名称：《Journal of mathematical logic》 | 2018年第2期
- Dp-minimality;
- strong dependence;
- topological fields;
73.GAMES OF LENGTH ω_1

机译：长度ω_1的游戏
- 作者：ITAY NEEMAN
- 期刊名称：《Journal of mathematical logic》 | 2007年第1期
- Determinacy;
- large cardinals;
- transfinite games;
74.Computing from projections of random points

机译：从随机点的投影计算
- 期刊名称：《Journal of mathematical logic》 | 2020年第1期
- Randomness;
- K-trviality;
- cost functions;
75.THORN-FORKING AS LOCAL FORKING

机译：荆棘作为本地分叉
- 作者：HANS ADLER
- 期刊名称：《Journal of mathematical logic》 | 2009年第1期
- Preindependence relation;
- local forking;
- thorn-forking;
- M-symmetric lKatetyicw;
76.THE ADDITIVE COLLAPSE

机译：添加剂崩溃
- 作者：ANDREAS BAUDISCH
- 期刊名称：《Journal of mathematical logic》 | 2009年第2期
- Model theory;
- pregeometry;
- finite Morley rank;
77.Toward a stability theory of tame abstract elementary classes

机译：朝着驯化摘要小学课程的稳定性理论
- 作者：Vasey Sebastien
- 期刊名称：《Journal of mathematical logic》 | 2018年第2期
- Abstract elementary classes;
- tameness;
- stability spectrum;
- saturation spectrum;
- limit models;
78.Connected choice and the Brouwer fixed point theorem

机译：连接选择和Brouwer定点定理
- 作者：Brattka Vasco;Le Roux Stephan;Miller Joseph S.;Pauly Arno
- 期刊名称：《Journal of mathematical logic》 | 2019年第1期
- Computable analysis;
- Weihrauch lattice;
- reverse mathematics;
- choice principles;
- connected sets;
- fixed point theorems;
79.The for all there exists theory of Peano Sigma(1) sentences (vol 8, pg 251, 2008)

机译：对于所有人都存在Peano Sigma（1）句子的理论（第8卷，PG 251,2008）
- 作者：Shavrukov V. Yu.
- 期刊名称：《Journal of mathematical logic》 | 2017年第1期
80.A Friedberg enumeration of equivalence structures

机译：弗里德堡枚举等价结构
- 作者：Downey Rodney G.;Melnikov Alexander G.;Ng Keng Meng
- 期刊名称：《Journal of mathematical logic》 | 2017年第2期
- Computable equivalence structures;
- Friedberg enumeration;
- isomorphism;
- index set;
81.Simultaneous stationary reflection and square sequences

机译：同时固定反射和方形序列
- 作者：Hayut Yair;Lambie-Hanson Chris
- 期刊名称：《Journal of mathematical logic》 | 2017年第2期
- Square principles;
- stationary reflection;
- forcing;
- large cardinals;
82.On the complexity of the successivity relation in computable linear orderings (vol 10, pg 83, 2010)

机译：关于可计算线性排序中连续关系的复杂性（Vol 10，PG 83,2010）
- 作者：Downey Rodney G.;Lempp Steffen;Wu Guohua
- 期刊名称：《Journal of mathematical logic》 | 2017年第2期
83.Fraisse's conjecture in Pi(1)(1)-comprehension

机译：Fraisse在PI（1）（1）中的猜想 - 复合
- 作者：Montalban Antonio
- 期刊名称：《Journal of mathematical logic》 | 2017年第2期
- Ftaisse's conjecture;
- well-quasi-ordering;
- better-quasi-ordering;
84.Absoluteness via resurrection

机译：通过复活绝对
- 作者：Audrito Giorgio;Viale Matteo
- 期刊名称：《Journal of mathematical logic》 | 2017年第2期
- Set theory;
- forcing axioms;
- resurrection axioms;
- generic absoluteness;
85.Homogeneous changes in cofinalities with applications to HOD

机译：与应用到Hod的互联网的同质变化
- 作者：Ben-Neria Omer;Unger Spencer
- 期刊名称：《Journal of mathematical logic》 | 2017年第2期
- HOD;
- changing coflnality;
- homogeneity;
- large cardinals;
86.The downward directed grounds hypothesis and very large cardinals

机译：向下指示的地面假设和非常大的红衣主教
- 作者：Usuba TOshimichi
- 期刊名称：《Journal of mathematical logic》 | 2017年第2期
- Forcing method;
- set-theoretic geology;
- downward directed grounds hypothesis;
- large cardinal;
- generic multiverse;
87.Torsion-free abelian groups with optimal Scott families

机译：免费的abelian群体，具有最佳的斯科特族
- 作者：Melnikov Alexander G.
- 期刊名称：《Journal of mathematical logic》 | 2018年第1期
- Computability theory;
- computable categoricity;
- computable abelian groups;
88.The linearity of the Mitchell order

机译：米切尔顺序的线性
- 作者：Goldberg Gabriel
- 期刊名称：《Journal of mathematical logic》 | 2018年第1期
- Ultrapower axiom;
- Mitchell order: supercompact cardinal;
- normal ultrafilter;
89.Existentially closed fields with finite group actions

机译：有限组动作的存在封闭的字段
- 作者：Hoffmann Daniel M.;Kowalski Piotr
- 期刊名称：《Journal of mathematical logic》 | 2018年第1期
- Difference fields;
90.A long chain of P-points

机译：长链的p-point
- 作者：Kuzeljevic Borisa;Raghavan Dilip
- 期刊名称：《Journal of mathematical logic》 | 2018年第1期
- Ultrafilter;
- Rudin-Keisler order;
- Tukey reducibility;
- P-point;
91.Degrees containing members of thin Pi(0)(1) classes are dense and co-dense

机译：含有薄Pi（0）（1）级课程的含量的度是密集的和共密的
- 作者：Downey Rodney G.;Wu Guohua;Yang Yue
- 期刊名称：《Journal of mathematical logic》 | 2018年第1期
- Pi(0)(1) classes;
- Turing degrees;
- density;
92.Short extenders forcings i

机译：短延伸器强迫我
- 作者：Gitik M.
- 期刊名称：《Journal of mathematical logic》 | 2012年第2期
- assignment functions;
- PCF structures;
- pistes;
- Singular cardinals;
93.AN EQUICONSISTENCY RESULT ON PARTIAL SQUARES

机译：平衡导致部分正方形
- 作者：JOHN KRUEGER;ERNEST SCHIMMERLING
- 期刊名称：《Journal of mathematical logic》 | 2011年第1期
- Partial square sequence;
- greatly Mahlo cardinal;
94.HOW CAN WE RECOGNIZE POTENTIALLY ∏_ξ~0 SUBSETS OF THE PLANE?

机译：我们如何识别出飞机的潜在π_ξ〜0子集？
- 作者：DOMINIQUE LECOMTE
- 期刊名称：《Journal of mathematical logic》 | 2009年第1期
- Potentially;
- Baire classes;
- reduction;
- Hurewicz's theorem;
95.A model of second-order arithmetic satisfying AC but not DC

机译：二阶算法满足AC但不是DC的模型
- 作者：Friedman Sy-David;Gitman Victoria;Kanovei Vladimir
- 期刊名称：《Journal of mathematical logic》 | 2019年第1期
- Independence;
- second-order arithmetic;
- choice-scheme;
- dependent choicescheme;
96.A STRONG LAW OF COMPUTATIONALLY WEAK SUBSETS

机译：强大的计算弱子集法
- 作者：BJORN KJOS-HANSSEN
- 期刊名称：《Journal of mathematical logic》 | 2011年第1期
- Strong law;
- infinite subsets;
- random sets of integers;
- computational strength;
- Galton–Watson process;
- extinction criterion;
97.A model with a precipitous ideal, but no normal precipitous ideal

机译：一种陡峭理想的模型，但没有正常陡峭的理想
- 作者：Gitik M.
- 期刊名称：《Journal of mathematical logic》 | 2013年第1期
- ∞-semi precipitous filters;
- normality;
- Precipitous ideals;
- Rudin-Keisler increasing sequences;
98.SUITABLE EXTENDER MODELS II: BEYOND ω-HUGE

机译：合适的扩展模型II：超越Ω-巨大
- 作者：W. HUGH WOODIN
- 期刊名称：《Journal of mathematical logic》 | 2011年第2期
- Extender;
- inner models;
- supercompact cardinal;
- determinacy axioms;
99.CHAIN MODELS, TREES OF SINGULAR CARDINALITY AND DYNAMIC EF-GAMES

机译：链模型，奇异基数和动态EF游戏的树木
- 作者：MIRNA DZAMONJA;JOUKO VAANANEN
- 期刊名称：《Journal of mathematical logic》 | 2011年第1期
- Trees;
- singular cardinal;
- rank;
100.Incomparable treeable equivalence relations

机译：无可比拟可持续的等价关系
- 作者：Miller B.
- 期刊名称：《Journal of mathematical logic》 | 2012年第1期

客服邮箱：kefu@zhangqiaokeyan.com

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

客服微信
服务号