首页>外文期刊>数学、物理、化学、力学>数学>Archive for Mathematical Logic

Archive for Mathematical Logic

Archive for Mathematical Logic

中文名称：存档的数理逻辑

ISSN：-
出版周期：-

发文量：596

期刊论文

年度选择

2023
- 第2期
- 第4期
- 第6期
- 第8期
2022
- 第2期
- 第4期
- 第6期
- 第8期
2021
- 第2期
- 第4期
- 第5期
- 第6期
- 第8期
2020
- 第2期
- 第4期
- 第6期
- 第8期
2019
- 第2期
- 第4期
- 第6期
- 第8期
2018
- 第2期
- 第4期
- 第6期
- 第8期
2017
- 第2期
- 第4期
- 第6期
- 第8期
2016
- 第2期
- 第4期
- 第6期
- 第8期
2015
- 第2期
- 第4期
- 第6期
- 第8期
2014
- 第2期
- 第4期
- 第6期
- 第8期
2013
- 第2期
- 第4期
- 第6期
- 第8期
2012
- 第2期
- 第4期
- 第6期
- 第8期
2011
- 第2期
- 第4期
- 第6期
- 第8期
2010
- 第1期
- 第2期
- 第3期
- 第4期
- 第5期
- 第6期
- 第8期
2009
- 第1期
- 第2期
- 第4期
- 第5期
- 第6期
- 第7期
- 第8期
2008
- 第1期
- 第2期
- 第3期
- 第4期
- 第5期
- 第6期
- 第8期
2007
- 第1期
- 第2期
- 第4期
- 第6期
2006
- 第4期
2004
- 第1期
- 第2期
- 第3期
- 第4期
- 第5期
- 第6期
- 第8期
2003
- 第1期
- 第2期
- 第3期
- 第4期
- 第5期
- 第6期
- 第7期
- 第8期
1997
- 第1期
- 第2期
- 第3期
- 第5期
- 第6期
1996
- 第1期
- 第2期
- 第3期
- 第4期
- 第6期
1995
- 第1期
- 第2期
- 第4期
- 第5期
- 第6期
1994
- 第1期
- 第2期
- 第3期
- 第4期
- 第5期
1992
- 第1期
- 第2期
- 第3期
- 第4期
- 第5期
- 第6期

更多>>

全选（0）

1.Some implications of Ramsey Choice for families of n-element sets

机译：Ramsey Choice 对 n 元素集族的一些影响
- 作者：Halbeisen Lorenz;Schumacher Salome
- 期刊名称：《Archive for Mathematical Logic》 | 2023年第6期
2.Sets of real numbers closed under Turing equivalence: applications to fields, orders and automorphisms

机译：图灵等价下闭合的实数集：在域、阶和自同构中的应用
- 作者：Ongay-Valverde Ivan
- 期刊名称：《Archive for Mathematical Logic》 | 2023年第6期
- Computability theory;
- Set theory;
- Automorphism problem;
- Turing equivalence;
3.The abstract type of the real numbers

机译：实数的抽象类型
- 作者：Ferreira Fernando
- 期刊名称：《Archive for Mathematical Logic》 | 2021年第8期
- Real numbers;
- Abstract types;
- Bounded functional interpretation;
- Proof theory;
- 03B30;
- 03F35;
- 03F10;
- 54F15;
4.Generalised stability of ultraproducts of finite residue rings

机译：有限残环超积的广义稳定性
- 作者：Bello Aguirre Ricardo Isaac
- 期刊名称：《Archive for Mathematical Logic》 | 2021年第8期
- Pseudofinite residue rings;
- Generalised stability;
- 03C45;
- 03C20;
5.An order-theoretic characterization of the Howard-Bachmann-hierarchy

机译：霍华德-巴赫曼层次的顺序理论表征
- 作者：Van der Meeren Jeroen;Rathjen Michael;Weiermann Andreas
- 期刊名称：《Archive for Mathematical Logic》 | 2017年第2期
6.Involutive symmetric Godel spaces, their algebraic duals and logic

机译：渐开对称哥德尔空间，它们的代数对偶和逻辑
- 作者：Di Nola A.;Grigolia R.;Vitale G.
- 期刊名称：《Archive for Mathematical Logic》 | 2023年第6期
- Godel space;
- MV-algebra;
- Lukasiewicz logic;
- Algebraic duality;
- Symmetry;
- MV-ALGEBRAS;
7.Computable scott sentences for quasi-Hopfian finitely presented structures

机译：准霍普夫有限呈现结构的可计算斯科特句子
- 作者：Paolini Gianluca
- 期刊名称：《Archive for Mathematical Logic》 | 2023年第2期
- Scott sentences;
- Hopfianity;
- Computable structures;
8.The automorphism group and definability of the jump operator in the ωdocumentclass12pt{minimal} usepackage{amsmath} usepackage{wasysym} usepackage{amsfonts} usepackage{amssymb} usepackage{amsbsy} usepackage{mathrsfs} usepackage{upgreek} setlength{oddsidemargin}{-69pt} begin{document}$$omega $$end{document}-enumeration degrees

机译：ωdocumentclass12pt{minimal} usepackage{amsmath} usepackage{wasysym} usepackage{amsfonts} usepackage{amssymb} usepackage{amsbsy} usepackage{mathrsfs} usepackage{upgreek} setlength{oddsidemargin}{-69pt} begin{document}$$omega $$end{document}-枚举度的跳转算子的自同构群和可定义性
- 作者：Ganchev Hristo;Sariev Andrey C.
- 期刊名称：《Archive for Mathematical Logic》 | 2021年第8期
- Degree structures;
- Enumeration reducibility;
- Jump;
- Definability;
- 03D28;
- 03D30;
9.Hereditary G-compactness

机译：遗传性 G 紧致性
- 作者：Rzepecki Tomasz
- 期刊名称：《Archive for Mathematical Logic》 | 2021年第8期
- G-compactness;
- Linear order;
- NSOP;
- Lascar strong type;
- 03C45;
- 03C64;
- 03C30;
- 06A05;
10.Second order arithmetic as the model companion of set theory

机译：二阶算术作为集合论的模型伴侣
- 作者：Venturi Giorgio;Viale Matteo
- 期刊名称：《Archive for Mathematical Logic》 | 2023年第2期
- Model Companion;
- Generic Absoluteness;
- Forcing;
- Large Cardinals;
- Robinson Infinite Forcing;
- MULTIVERSE;
11.Filter pairs and natural extensions of logics

机译：滤波器对和逻辑的自然扩展
- 作者：Arndt Peter;Mariano Hugo Luiz;Pinto Darllan Conceicao
- 期刊名称：《Archive for Mathematical Logic》 | 2023年第2期
- Abstract Algebraic Logic;
- Natural Extensions;
- Continuous Lattices;
12.Ideals with Smital properties

机译：具有 Smital 特性的理想
- 作者：Michalski Marcin;Ralowski Robert;Zeberski Szymon
- 期刊名称：《Archive for Mathematical Logic》 | 2023年第6期
- Smital property;
- Steinhaus property;
- Countable chain condition;
- Fubini product;
- Maximal invariant ideal;
- Orthogonal ideals;
13.Computable Ramsey's theorem for pairs needs infinitely many Pi(0)(2) sets

机译：对的可计算拉姆齐定理需要无限多的 Pi（0）（2）集
- 作者：Igusa Gregory;Towsner Henry
- 期刊名称：《Archive for Mathematical Logic》 | 2017年第2期
- Recursion theory;
- Computability theory;
- Effective combinatorics;
- Ramsey's theorem;
- Pi(0)(2) sets;
14.Bachmann-Howard derivatives

机译：巴赫曼-霍华德导数
- 作者：Freund Anton
- 期刊名称：《Archive for Mathematical Logic》 | 2023年第6期
- Ordinal collapsing functions;
- Friedman's gap condition;
- Bachmann-Howard ordinal;
- Dilators;
- Well partial orders;
- WELL-PARTIAL-ORDERINGS;
15.Generic existence of interval P-points

机译：区间 P 点的一般存在性
- 作者：He Jialiang;Jin Renling;Zhang Shuguo
- 期刊名称：《Archive for Mathematical Logic》 | 2023年第6期
- P-point;
- Interval P-point;
- Generic existence;
- Quasi-selective ultrafilter;
- Weakly Ramsey ultrafilter;
- ULTRAFILTERS;
16.On the spectra of cardinalities of branches of Kurepa trees

机译：关于库雷帕树树枝的基数谱
- 作者：Poór Márk
- 期刊名称：《Archive for Mathematical Logic》 | 2021年第8期
- Kurepa tree;
- Cardinal spectra;
- Iterated forcing;
- Primary 03E35;
- Secondary 03E05;
- 03E99;
17.Coanalytic ultrafilter bases

机译：共分析超滤碱
- 作者：Schilhan Jonathan
- 期刊名称：《Archive for Mathematical Logic》 | 2022年第4期
- Ultrafilter;
- Filter base;
- Definability;
- Coanalytic;
- Projective;
- Cardinal invariant;
- MAD FAMILIES;
- SETS;
18.Special ultrafilters and cofinal subsets of ((omega)omega,*)

机译：（（omega）omega，*）的特殊超滤器和共终子集
- 作者：Nyikos Peter
- 期刊名称：《Archive for Mathematical Logic》 | 2020年第8期
- Ultrafilter;
- Simple P-point;
- Pseudo;
- P. -point;
- Small uncountable cardinals;
- ..;
- Eventual domination;
- Unbounded;
- Dominating;
19.Ramsey degrees of ultrafilters, pseudointersection numbers, and the tools of topological Ramsey spaces

机译：超滤子的拉姆齐度、伪交集数和拓扑拉姆齐空间的工具
- 作者：Dobrinen Natasha;Flores Sonia Navarro
- 期刊名称：《Archive for Mathematical Logic》 | 2022年第8期
- Topological Ramsey spaces;
- Forcing;
- Ultrafilters;
- Partition relations;
- Pseudointersection number;
- Ellentuck space;
- CLASSIFICATION THEOREMS;
- TUKEY THEORY;
- SETS;
20.Antichains of copies of ultrahomogeneous structures

机译：超均质结构拷贝的反链
- 作者：Kurilic Milos S.;Kuzeljevic Borisa
- 期刊名称：《Archive for Mathematical Logic》 | 2022年第6期
- Ultrahomogeneous structure;
- Strong amalgamation;
- Poset of copies;
- Antichain;
- Almost disjoint family;
- ISOMORPHIC SUBGRAPHS;
- MAXIMAL-CHAINS;
21.On the isomorphism problem for some classes of computable algebraic structures

机译：论某些类可计算代数结构的同构问题
- 作者：Harizanov Valentina S.;Lempp Steffen;McCoy Charles F. D.Morozov Andrei S.Solomon Reed
- 期刊名称：《Archive for Mathematical Logic》 | 2022年第6期
- Isomorphism problem;
- Computable structure;
- Nilpotent structure;
- Distributive lattice;
- Effective transformation;
22.Efficient elimination of Skolem functions in LKh

机译：有效消除LKh中的Skolem函数
- 作者：Komara Jan
- 期刊名称：《Archive for Mathematical Logic》 | 2022年第4期
- Sequent calculus;
- Eigenvariable condition;
- Henkin constants;
- Strong locality property;
- Cut elimination;
- Skolem functions;
- Proof complexity;
- DELTA-RULE;
- COMPLEXITY;
23.Condensable models of set theory

机译：集合论的可凝模型
- 作者：Enayat Ali
- 期刊名称：《Archive for Mathematical Logic》 | 2022年第4期
- Self-embedding;
- Recursive saturation;
- Nonstandard model of set theory;
- Infinitary languages;
- ELEMENTARY EXTENSIONS;
24.Classifying material implications over minimal logic

机译：将物质影响分类为最小逻辑
- 作者：Diener Hannes;McKubre-Jordens Maarten
- 期刊名称：《Archive for Mathematical Logic》 | 2020年第8期
- Reverse mathematics;
- Minimal logic;
- Ex falso quodlibet;
- Implication;
- Paraconsistent logic;
- Peirce's principle;
25.Proof-theoretic uniform boundedness and bounded collection principles and countable Heine–Borel compactness

机译：证明论均匀有界性和有界集合原理以及可数Heine-Borel紧致性
- 作者：Kohlenbach Ulrich
- 期刊名称：《Archive for Mathematical Logic》 | 2021年第8期
26.Mutual algebraicity and cellularity

机译：互代数性和细胞性
- 作者：Braunfeld Samuel;Laskowski Michael C.
- 期刊名称：《Archive for Mathematical Logic》 | 2022年第6期
- Model theory;
- Omega-categoricity;
- Stable theories;
- Hereditary classes;
27.A version of kappa-Miller forcing

机译：kappa-Miller 强迫的一个版本
- 作者：Mildenberger Heike;Shelah Saharon
- 期刊名称：《Archive for Mathematical Logic》 | 2020年第8期
- Forcing with higher perfect trees;
28.On the topological dynamics of automorphism groups: a model-theoretic perspective

机译：论自同构群的拓扑动力学：模型理论视角
- 作者：Krupinski Krzysztof;Pillay Anand
- 期刊名称：《Archive for Mathematical Logic》 | 2023年第4期
- Group of automorphisms;
- Universal ambit;
- Universal minimal flow;
- Extreme amenability;
- Amenability;
- RAMSEY THEORY;
- AMENABILITY;
29.The existence of states based on Glivenko semihoops

机译：基于Glivenko半箍的状态的存在
- 作者：He Pengfei;Wang Juntao;Yang Jiang
- 期刊名称：《Archive for Mathematical Logic》 | 2022年第8期
- Non-classical logic;
- Probability theory;
- Glivenko semihoop;
- Filter;
- State;
- GENERALIZED BOSBACH;
- RIECAN STATES;
30.Incomparability in local structures ofs-degrees andQ-degrees

机译：s度和Q度局部结构的不可比性
- 作者：Chitaia Irakli;Ng Keng Meng;Sorbi AndreaYang Yue
- 期刊名称：《Archive for Mathematical Logic》 | 2020年第8期
- Enumeration reducibility;
- s-reducibility;
- s-degree;
- Q-reducibility;
- Q-degree;
31.A criterion for uniform finiteness in the imaginary sorts

机译：虚类中均匀有限性的标准
- 作者：Johnson Will
- 期刊名称：《Archive for Mathematical Logic》 | 2022年第4期
- Uniform finiteness;
- Interpretable sets;
- C-minimality;
- DEFINABLE SUBSETS;
- VALUED FIELDS;
32.End extensions of models of fragments of PA

机译：PA片段模型的末端扩展
- 作者：Dimitracopoulos C.;Paschalis V
- 期刊名称：《Archive for Mathematical Logic》 | 2020年第8期
- Arithmetized completeness theorem;
- Fragments of Peano arithmetic;
- End extensions;
33.Multiplicative finite embeddability vs divisibility of ultrafilters

机译：乘法有限嵌入性与超滤子的可整除性
- 作者：Sobot Boris
- 期刊名称：《Archive for Mathematical Logic》 | 2022年第4期
- Stone-Cech compactification;
- Ultrafilter;
- Divisibility;
- Finite embeddability;
- SETS;
34.Destructibility and axiomatizability of Kaufmann models

机译：Kaufmann 模型的可破坏性和公理化
- 作者：Switzer Corey Bacal
- 期刊名称：《Archive for Mathematical Logic》 | 2022年第8期
- Kaufmann Models;
- Strong logics;
- Destructibility;
- Martin's Axiom;
35.Definable groups in dense pairs of geometric structures

机译：密集几何结构对中的可定义组
- 作者：Berenstein Alexander;Vassiliev Evgueni
- 期刊名称：《Archive for Mathematical Logic》 | 2022年第4期
- Unary predicate expansions;
- Definable groups;
- Amenable groups;
- Mann property;
- Connected component;
- FIELDS;
- REAL;
36.Representability and compactness for pseudopowers

机译：伪权力的可表示性和紧凑性
- 作者：Eisworth Todd
- 期刊名称：《Archive for Mathematical Logic》 | 2022年第2期
- Pcf theory;
- Psuedopowers;
- Compactness;
37.Local reflection, definable elements and 1-provability

机译：局部反射、可定义元素和 1 可证明性
- 作者：Kolmakov Evgeny
- 期刊名称：《Archive for Mathematical Logic》 | 2020年第8期
- Reflection principles;
- Definable elements;
- Peano arithmetic;
- 1-provability;
38.Normalisation and subformula property for a system of classical logic with Tarski's rule

机译：具有塔斯基规则的经典逻辑系统的归一化和子公式性质
- 作者：Kurbis Nils
- 期刊名称：《Archive for Mathematical Logic》 | 2022年第2期
- Proof theory;
- Classical logic;
- Normalisation;
- Subformula property;
- NATURAL DEDUCTION;
39.Model theory of monadic predicate logic with the infinity quantifier

机译：带无穷量词的一元谓词逻辑的模型理论
- 作者：Carreiro Facundo;Facchini Alessandro;Venema YdeZanasi Fabio
- 期刊名称：《Archive for Mathematical Logic》 | 2022年第4期
- Monadic first-order logic;
- Generalised quantifier;
- Infinity quantifier;
- Characterisation theorem;
- Preservation theorem;
- Continuity;
40.Many different uniformity numbers of Yorioka ideals

机译：Yorioka 理想的许多不同的均匀性数
- 作者：Klausner Lukas Daniel;Mejia Diego Alejandro
- 期刊名称：《Archive for Mathematical Logic》 | 2022年第6期
41.Towards a homotopy domain theory

机译：迈向同伦域理论
- 作者：Martinez-Rivillas Daniel O.;de Queiroz Ruy J. G. B.
- 期刊名称：《Archive for Mathematical Logic》 | 2023年第4期
- Lambda calculus;
- Homotopic lambda model;
- Kan complex;
- Infinity groupoid;
- Infinity category;
42.Weak essentially undecidable theories of concatenation

机译：薄弱的、基本上无法判定的串联理论
- 作者：Murwanashyaka Juvenal
- 期刊名称：《Archive for Mathematical Logic》 | 2022年第8期
- Theory of concatenation;
- First-order arithmetic;
- Interpretability;
43.The theories of Baldwin–Shi hypergraphs and their atomic models

机译：Baldwin-Shi超图理论及其原子模型
- 作者：Gunatilleka Danul K.
- 期刊名称：《Archive for Mathematical Logic》 | 2021年第8期
- Generic structures;
- Quantifier elimination;
- Atomic models;
- 03C10;
44.Easton collapses and a strongly saturated filter

机译：伊斯顿坍塌和强烈饱和的过滤器
- 作者：Shioya Masahiro
- 期刊名称：《Archive for Mathematical Logic》 | 2020年第8期
- Easton collapse;
- Strongly saturated filter;
- Almost huge cardinal;
45.Monadic k x j-rough Heyting algebras

机译：一子 k x j-rough Heyting 代数
- 作者：Alminana Federico;Pelaitay Gustavo
- 期刊名称：《Archive for Mathematical Logic》 | 2022年第6期
46.Hindman's theorem for sums along the full binary tree, Sigma(0)(2)-induction and the Pigeonhole principle for trees

机译：全二叉树和的 Hindman 定理、Sigma（0）（2）归纳法和树的鸽子洞原理
- 作者：Carlucci Lorenzo;Tavernelli Daniele
- 期刊名称：《Archive for Mathematical Logic》 | 2022年第6期
- Reverse mathematics;
- Hindman's theorem;
- Pigeonhole Principle;
- Induction;
- REVERSE MATHEMATICS;
- RAMSEYS THEOREM;
47.Ideal generalizations of Egoroff's theorem

机译：叶戈罗夫定理的理想推广
- 作者：Repicky Miroslav
- 期刊名称：《Archive for Mathematical Logic》 | 2020年第8期
- Egoroff's theorem;
- Ideal on omega;
- Ideal convergence;
- Sequence of functions;
48.Rosenthal families, filters, and semifilters

机译：Rosenthal 系列、滤波器和半滤波器
- 作者：Repicky Miroslav
- 期刊名称：《Archive for Mathematical Logic》 | 2022年第2期
- Rosenthal's Lemma;
- Set mapping;
- s-semifilter;
- r-semifilter;
- p-semifilter;
- Ramsey semifilter;
- SETS;
49.Big Ramsey degrees in universal inverse limit structures

机译：通用反极限结构中的大拉姆齐度
- 作者：Dobrinen Natasha;Wang Kaiyun
- 期刊名称：《Archive for Mathematical Logic》 | 2023年第4期
- Universal inverse limit structure;
- Fraisse class;
- Big Ramsey degree;
- Tree;
- Topological Ramsey space;
- PARTITION THEOREM;
- SUBGRAPHS;
50.The additive structure of integers with the lower Wythoff sequence

机译：具有较低 Wythoff 序列的整数的加性结构
- 作者：Khani Mohsen;Zarei Afshin
- 期刊名称：《Archive for Mathematical Logic》 | 2023年第2期
- Decidability;
- Quantifier elimination;
- Wythoff sequence;
51.On well-splitting posets

机译：在分流良好的位置上
- 作者：Repovs Dusan;Zdomskyy Lyubomyr
- 期刊名称：《Archive for Mathematical Logic》 | 2022年第8期
- Splitting;
- Bounding;
- Miller forcing;
- Filter;
- Hurewicz space;
- Mad family;
- Roitman problem;
52.The independence of GCH and a combinatorial principle related to Banach-Mazur games

机译：GCH的独立性和与Banach-Mazur博弈相关的组合原理
- 作者：Brian Will;Dow Alan;Shelah Saharon
- 期刊名称：《Archive for Mathematical Logic》 | 2022年第2期
- Cohen forcing;
- Chang's conjecture;
- Measure algebra;
- square;
- del;
53.Chang's Conjecture with square(omega 1,2) from an omega(1)-Erdos cardinal

机译：Chang's Conjecture with square（omega 1,2） from an omega（1）-鄂尔多斯基数
- 作者：Neeman Itay;Susice John
- 期刊名称：《Archive for Mathematical Logic》 | 2020年第8期
- Chang's Conjecture;
- Square;
- Erdos cardinal;
- Forcing;
54.Wellfoundedness proof with themaximal distinguished set

机译：有根据的证明与最大区别集
- 作者：Arai Toshiyasu
- 期刊名称：《Archive for Mathematical Logic》 | 2023年第4期
- Wellfoundedness proof;
- Distinguished class;
- Ordinals;
- ORDINAL DIAGRAMS;
55.First-order theories of bounded trees

机译：有界树的一阶理论
- 作者：Kellerman Ruaan
- 期刊名称：《Archive for Mathematical Logic》 | 2022年第2期
- Bounded tree;
- Ordinal tree;
- Elementary substructure;
- End-extension;
- Axiomatisation;
56.Delta(0)(1) variants of the law of excluded middle and related principles

机译：Delta（0）（1）排除中间法则和相关原则的变体
- 作者：Fujiwara Makoto
- 期刊名称：《Archive for Mathematical Logic》 | 2022年第8期
- Delta(0)(1);
- Weak logical principle;
- Intuitionistic arithmetic and analysis;
- Extended frame;
57.Disjunctive logic programs, answer sets, and the cut rule

机译：析取逻辑程序、答案集和切割规则
- 作者：Martin Eric
- 期刊名称：《Archive for Mathematical Logic》 | 2022年第8期
- Disjunctive logic programs;
- Answer sets;
- Tableau proofs;
- Modalities;
- Cut;
- Negation;
- SEMANTICS;
- NEGATION;
58.Various forms of infinity for finitely supported structures

机译：有限支撑结构的各种形式的无穷大
- 作者：Alexandru Andrei;Ciobanu Gabriel
- 期刊名称：《Archive for Mathematical Logic》 | 2022年第2期
- Sets with atoms;
- Finite support;
- Cardinality;
- Infinity;
- Countability;
59.Fields with automorphism and valuation

机译：具有自同构和估值的字段
- 作者：Beyarslan Ozlem;Hoffmann Daniel Max;Onay GonencPierce David
- 期刊名称：《Archive for Mathematical Logic》 | 2020年第8期
- Difference fields;
- Valued fields;
- Model companion;
60.Between Hilbert and Gentzen: four-valued consequence systems and structural reasoning

机译：在希尔伯特和根岑之间：四值结果系统和结构推理
- 作者：Shramko Yaroslav
- 期刊名称：《Archive for Mathematical Logic》 | 2022年第6期
- Structural reasoning;
- Structural systems;
- Cut rule;
- Dunn-Belnap's four-valued logics;
- Consequence systems;
- 1ST-DEGREE ENTAILMENT;
- TRUTH;
61.Reflection and not SCH with overlapping extenders

机译：反射而不是具有重叠扩展器的 SCH
- 作者：Gitik Moti
- 期刊名称：《Archive for Mathematical Logic》 | 2022年第6期
- Singular cardinals;
- Reflection;
- Extenders;
- Forcing;
62.Small u(kappa) at singular kappa with compactness at kappa(++)

机译：单数 kappa 处的小 u（kappa）与 kappa（++）处的紧凑性
- 作者：Honzik Radek;Stejskalova Sarka
- 期刊名称：《Archive for Mathematical Logic》 | 2022年第2期
- Ultrafilter number;
- Tree property;
- Stationary reflection;
- Approachability;
63.Kurepa trees and spectra of L-omega 1,L-omega-sentences

机译：库雷帕树和L-omega 1，L-omega-句子的光谱
- 作者：Sinapova Dima;Souldatos Ioannis
- 期刊名称：《Archive for Mathematical Logic》 | 2020年第8期
- Kurepa trees;
- Infinitary logic;
- Abstract elementary classes;
- Spectra;
- Amalgamation;
- Maximal models;
64.Degree structures of conjunctive reducibility

机译：结合还原性的度结构
- 作者：Chitaia Irakli;Omanadze Roland
- 期刊名称：《Archive for Mathematical Logic》 | 2022年第2期
- c-reducibility;
- c(1)-reducibility;
- Hypersimple set;
- COMPLEXITY;
65.A note on cut-elimination for classical propositional logic

机译：关于经典命题逻辑的割消除的说明
- 作者：Pulcini Gabriele
- 期刊名称：《Archive for Mathematical Logic》 | 2022年第4期
- Classical propositional logic;
- Sequent calculus;
- Cut elimination;
66.On the independence of premiss axiom and rule

机译：论前提公理和规则的独立性
- 作者：Ishihara Hajime;Nemoto Takako
- 期刊名称：《Archive for Mathematical Logic》 | 2020年第8期
67.An alternative proof of the Hilbert-style axiomatization for the {boolean AND,boolean OR}-fragment of classical propositional logic

机译：经典命题逻辑的{boolean AND，boolean OR}片段的希尔伯特式公理化的替代证明
- 作者：Gonzalez Luciano J.
- 期刊名称：《Archive for Mathematical Logic》 | 2022年第6期
- Classical logic;
- Conjunction-disjunction;
- Completeness;
- Distributive lattice;
68.Tameness in generalized metric structures

机译：广义度量结构中的驯服
- 作者：Lieberman Michael;Rosicky Jiri;Zambrano Pedro
- 期刊名称：《Archive for Mathematical Logic》 | 2023年第4期
69.Remarks on weak amalgamation and large conjugacy classes in non-archimedean groups

机译：关于非阿基米德群中的弱合并和大共轭类的评论
- 作者：Malicki Maciej
- 期刊名称：《Archive for Mathematical Logic》 | 2022年第6期
- Weak amalgamation;
- Ample generics;
- Homogenizable structures;
70.On the rigidity of Souslin trees and their generic branches

机译：关于苏斯林树及其通用树枝的刚性
- 作者：Ramandi Hossein Lamei
- 期刊名称：《Archive for Mathematical Logic》 | 2023年第4期
- Souslin trees;
- Kurepa trees;
71.On decidability of amenability in computable groups

机译：关于可计算群中适应性的可判定性
- 作者：Duda Karol;Ivanov Aleksander
- 期刊名称：《Archive for Mathematical Logic》 | 2022年第8期
- Computable groups;
- Amenability;
- Intrinsically computable relations;
72.Dividing lines in unstable theories and subclasses of Baire 1 functions

机译：不稳定理论和 Baire 1 函数子类中的分界线
- 作者：Khanaki Karim
- 期刊名称：《Archive for Mathematical Logic》 | 2022年第8期
- Strict order property;
- Shelah's theorem;
- Eberlein-Smulian Theorem;
- Baire class 1 functions;
73.Sprague-Grundy theory in bounded arithmetic

机译：有界算术中的 Sprague-Grundy 理论
- 作者：Kuroda Satoru
- 期刊名称：《Archive for Mathematical Logic》 | 2022年第2期
- Bounded arithmetic;
- Combinatorial games;
- Alternating turing machine;
- Polynomial space;
- COMPLEXITY;
74.Iterated multiplication in VTC0

机译：VTC0 中的迭代乘法
- 作者：Jerabek Emil
- 期刊名称：《Archive for Mathematical Logic》 | 2022年第6期
- Bounded arithmetic;
- Integer division;
- Iterated multiplication;
- Modular powering;
- Threshold circuits;
- PIGEONHOLE PRINCIPLE;
- THRESHOLD CIRCUITS;
- DIVISION;
- MODELS;
75.Combinatorial properties and dependent choice in symmetric extensions based on Levy collapse

机译：基于Levy坍缩的对称扩展中的组合性质与依赖选择
- 作者：Banerjee Amitayu
- 期刊名称：《Archive for Mathematical Logic》 | 2023年第4期
- Dependent choice;
- Symmetric extensions;
- Levy collapse;
- Large cardinals;
- Infinitary Chang conjecture;
- GENERIC EXTENSIONS;
- SINGULAR CARDINALS;
- SEQUENCES;
- CARRY;
- AXIOM;
- MODEL;
- SETS;
76.The covering number of the strong measure zero ideal can be above almost everything else

机译：强措施零理想的覆盖数几乎可以高于其他一切
- 作者：Cardona Miguel A.;Mejia Diego A.;Rivera-Madrid Ismael E.
- 期刊名称：《Archive for Mathematical Logic》 | 2022年第6期
- Strong measure zero sets;
- Cardinal invariants;
- Sacks model;
- Yorioka ideals;
- MEAGER;
77.Bounded inductive dichotomy: separation of open and clopen determinacies with finite alternatives in constructive contexts

机译：有界归纳二分法：在构造上下文中将具有有限备选的开放和有限确定性分离
- 作者：Sato Kentaro
- 期刊名称：《Archive for Mathematical Logic》 | 2022年第4期
78.An infinitary propositional probability logic

机译：不定式命题概率逻辑
- 作者：Baratella Stefano
- 期刊名称：《Archive for Mathematical Logic》 | 2023年第4期
- Probability logic;
- Infinitary logic;
- Completeness;
79.Enhancing induction in a contraction free logic with unrestricted abstraction: from Z to Z(2)

机译：在无收缩逻辑中增强无限制抽象的归纳：从 Z 到 Z（2）
- 作者：Petersen Uwe
- 期刊名称：《Archive for Mathematical Logic》 | 2022年第8期
80.Equivalence of generics

机译：泛型的等价性
- 作者：Smythe Iian B.
- 期刊名称：《Archive for Mathematical Logic》 | 2022年第6期
- Borel equivalence relations;
- Forcing;
- Orbit equivalence relations;
- SET;
- SUPERRIGIDITY;
81.Combinatory logic with polymorphic types

机译：具有多态类型的组合逻辑
- 作者：Stirton William R.
- 期刊名称：《Archive for Mathematical Logic》 | 2022年第4期
- Combinatory logic;
- Polymorphic types;
- System F;
- Normalizability;
- ORDINAL ANALYSIS;
82.Reverse mathematics and semisimple rings

机译：逆向数学和半简单环
- 作者：Wu Huishan
- 期刊名称：《Archive for Mathematical Logic》 | 2022年第6期
- Reverse mathematics;
- Semisimple rings;
- Projective modules;
- Injective modules;
- IDEALS;
83.Computability and the game of cops and robbers on graphs

机译：可计算性以及图表上的警察和强盗游戏
- 作者：Stahl Rachel D.
- 期刊名称：《Archive for Mathematical Logic》 | 2022年第4期
- Cops and robbers on graphs;
- Infinite graphs;
- Computability;
- Effective strategy;
- Games on graphs;
- Locally finite trees;
84.On extendability to F-sigma ideals

机译：关于F-sigma理想的可扩展性
- 作者：Kwela Adam
- 期刊名称：《Archive for Mathematical Logic》 | 2022年第8期
- Ideal;
- Katetov order;
- Asymptotic density;
85.sQ(1)-degrees of computably enumerable sets

机译：sQ（1）度可计算枚举集合
- 作者：Omanadze Roland Sh
- 期刊名称：《Archive for Mathematical Logic》 | 2023年第4期
- Computable enumerable set;
- sQ(1)-degree;
- Upper semilattice;
86.Hanf numbers for extendibility and related phenomena

机译：汉夫数的可伸缩性和相关现象
- 作者：Baldwin John T.;Shelah Saharon
- 期刊名称：《Archive for Mathematical Logic》 | 2022年第4期
- Hanf numbers;
- Maximal models;
- L-omega 1;
- L-omega;
- Measurable cardinals;
- Amalgamation;
- AMALGAMATION;
87.Bounded-low sets and the high/low hierarchy

机译：有界-低集和高/低层次结构
- 作者：Wu Huishan
- 期刊名称：《Archive for Mathematical Logic》 | 2020年第8期
- Computably enumerable sets;
- Bounded-low sets;
- Low sets;
- Superhigh sets;
88.On Hilbert algebras generated by the order

机译：在由阶生成的希尔伯特代数上
- 作者：Castiglioni J. L.;Celani S. A.;San Martin H. J.
- 期刊名称：《Archive for Mathematical Logic》 | 2022年第2期
- Subvarieties of Hilbert algebras;
- Order algebras;
- Fragments of Intuitionistic logic;
89.A boundedness principle for the Hjorth rank

机译：Hjorth 秩的有界性原则
- 作者：Drucker Ohad
- 期刊名称：《Archive for Mathematical Logic》 | 2022年第2期
- Descriptive set theory;
- Equivalence relations;
- Polish group actions;
90.Tanaka's theorem revisited

机译：重新审视田中定理
- 作者：Bahrami Saeideh
- 期刊名称：《Archive for Mathematical Logic》 | 2020年第8期
- Peano arithmetic;
- WKL0;
- Nonstandard model;
- Self-embedding;
- Fixed point;
- Strong cut;
91.An ordinal-connection axiom as a weak form of global choke under the GCH

机译：序数连接公理作为GCH下全局扼流圈的弱形式
- 作者：Freire Rodrigo A.;Holy Peter
- 期刊名称：《Archive for Mathematical Logic》 | 2023年第4期
- Ordinals;
- Ordinal-Connection Axioms;
- Generalized Continuum Hypothesis;
- Global choice;
92.Does weak quasi-o-minimality behave better than weak o-minimality?

机译：弱准极简性是否比弱极简性表现得更好？
- 作者：Moconja Slavko;Tanovic Predrag
- 期刊名称：《Archive for Mathematical Logic》 | 2022年第2期
- Linearly ordered structures;
- Definable linear orders;
- Weak quasi-o-minimality;
- Binary reduct;
93.Preservation properties for products and sums of metric structures

机译：乘积和公制结构总和的保留属性
- 作者：Karker Mary Leah
- 期刊名称：《Archive for Mathematical Logic》 | 2023年第4期
- Metric structures;
- Continuous logic;
- Product constructions;
94.Implicit recursion-theoretic characterizations of counting classes

机译：计数类的隐式递归理论表征
- 作者：Dal Lago Ugo;Kahle Reinhard;Oitavem Isabel
- 期刊名称：《Archive for Mathematical Logic》 | 2022年第8期
- P;
- Counting hierarchy;
- Implicit computational complexity;
- Function algebras;
- Recursion-theoretic characterizations;
- POLYNOMIAL HIERARCHY;
- NC;
95.Classifying equivalence relations in the Ershov hierarchy

机译：对 Ershov 层次结构中的等价关系进行分类
- 作者：Bazhenov Nikolay;Mustafa Manat;San Mauro LucaSorbi AndreaYamaleev Mars
- 期刊名称：《Archive for Mathematical Logic》 | 2020年第8期
96.Locally compact groups which are separably categorical structures

机译：局部紧致群，是可分离的分类结构
- 作者：Ivanov Aleksander
- 期刊名称：《Archive for Mathematical Logic》 | 2017年第2期
- Separably categorical structures;
- Locally compact groups;
- Stability;
97.Homology of proof-nets

机译：校样网的同源性
- 作者：FrançoisMétayer
- 期刊名称：《archive for mathematical logic》 | 1994年第3期
98.Nilpotent complements and Carter subgroups in stable ℜ-groups

机译：稳定 R 基团中的无能补体和 Carter 亚群
- 作者：FrankO.Wagner
- 期刊名称：《archive for mathematical logic》 | 1994年第1期
99.The rhombus classes of degrees of unsolvability (I), The jump properties

机译：不可解度的菱形类（I）、跳跃性质
- 作者：XizhongZheng
- 期刊名称：《archive for mathematical logic》 | 1994年第1期
100.Proof-functional connectives and realizability

机译：证明功能连接和可实现性
- 作者：FrancoBarbanera;SimoneMartini
- 期刊名称：《archive for mathematical logic》 | 1994年第3期

客服邮箱：kefu@zhangqiaokeyan.com

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

客服微信
服务号