首页>外文期刊>数学、物理、化学、力学>数学>Annals of Pure and Applied Logic

Annals of Pure and Applied Logic

Annals of Pure and Applied Logic

SCI

中文名称：年报的纯粹与应用逻辑

ISSN：0168-0072
出版周期：Monthly

发文量：622

期刊论文

年度选择

2023
- 第1期
- 第2期
- 第3期
- 第4期
- 第5期
- 第6期
- 第7期
- 第8期
- 第9期
2022
- 第1期
- 第2期
- 第3期
- 第4期
- 第5期
- 第6期
- 第7期
- 第8期
- 第9期
- 第10期
2021
- 第1期
- 第2期
- 第3期
- 第4期
- 第5期
- 第6期
- 第7期
- 第8期
- 第9期
- 第10期
2020
- 第1期
- 第2期
- 第3期
- 第4期
- 第5期
- 第6期
- 第7期
- 第8期
- 第9期
- 第10期
2019
- 第1期
- 第2期
- 第3期
- 第4期
- 第5期
- 第6期
- 第7期
- 第8期
- 第9期
- 第10期
- 第11期
- 第12期
2018
- 第1期
- 第2期
- 第3期
- 第4期
- 第5期
- 第6期
- 第7期
- 第8期
- 第9期
- 第10期
- 第11期
- 第12期
2017
- 第1期
- 第2期
- 第3期
- 第4期
- 第5期
- 第6期
- 第7期
- 第8期
- 第9期
- 第10期
- 第11期
- 第12期
2016
- 第1期
- 第2期
- 第3期
- 第4期
- 第5期
- 第6期
- 第7期
- 第8期
- 第9期
- 第10期
- 第11期
- 第12期
2015
- 第1期
- 第2期
- 第3期
- 第4期
- 第5期
- 第6期
- 第8期
- 第9期
- 第10期
- 第11期
- 第12期
2014
- 第1期
- 第2期
- 第3期
- 第4期
- 第5期
- 第6期
- 第8期
- 第9期
- 第10期
- 第11期
- 第12期
2013
- 第1期
- 第2期
- 第3期
- 第4期
- 第5期
- 第6期
- 第8期
- 第9期
- 第10期
- 第11期
- 第12期
2012
- 第1期
- 第2期
- 第3期
- 第4期
- 第5期
- 第6期
- 第7期
- 第8期
- 第9期
- 第10期
- 第11期
- 第12期
2011
- 第4期
- 第5期
- 第6期
- 第7期
- 第8期
- 第9期
- 第10期
- 第11期
- 第12期
2010
- 第1期
- 第2期
- 第3期
- 第4期
- 第5期
- 第6期
- 第7期
- 第8期
- 第9期
- 第10期
- 第11期
- 第12期
2009
- 第1期
- 第1期
- 第2期
- 第2期
- 第2期
- 第3期
- 第3期
- 第3期

更多>>

全选（0）

1.Delimited control operators prove Double-negation Shift

机译：定界的控制算子证明了双负移位
- 作者：Ilik D.
- 期刊名称：《Annals of Pure and Applied Logic》 | 2012年第11期
- Delimited control operators;
- Disjunction property;
- Double-negation shift;
- Existence property;
- Intermediate logic;
2.The uniform boundedness theorem and a boundedness principle

机译：一致有界性定理和有界性原理
- 作者：Ishihara H.
- 期刊名称：《Annals of Pure and Applied Logic》 | 2012年第8期
- Boundedness principle;
- Constructive mathematics;
- The uniform boundedness theorem;
- Topological vector space;
3.Reflections on function spaces

机译：对功能空间的思考
- 作者：Bridges D.S.
- 期刊名称：《Annals of Pure and Applied Logic》 | 2012年第2期
- Anti-Specker property;
- Apartness;
- Constructive;
- Continuous;
- Function space;
4.Computable fields and the bounded Turing reduction

机译：可计算字段和有界图灵缩减
- 作者：Steiner R.M.
- 期刊名称：《Annals of Pure and Applied Logic》 | 2012年第6期
- Algebraic;
- Bounded Turing reduction;
- Computability;
- Computable model theory;
- Field;
- M-reduction;
5.Two subcategories of apartness spaces

机译：间隔空间的两个子类别
- 作者：Ishihara H.
- 期刊名称：《Annals of Pure and Applied Logic》 | 2012年第2期
- Adjunction;
- Apartness space;
- Constructive mathematics;
- Neighbourhood space;
- Uniform space;
6.Coding true arithmetic in the Medvedev degrees of Π10 classes

机译：在Π10类的Medvedev度中编码真算术
- 作者：Shafer P.
- 期刊名称：《Annals of Pure and Applied Logic》 | 2012年第3期
- Π10 classes;
- Medvedev degrees;
- Muchnik degrees;
7.Completeness results for memory logics

机译：存储器逻辑的完整性结果
- 作者：Areces C.;Figueira S.;Mera S.
- 期刊名称：《Annals of Pure and Applied Logic》 | 2012年第7期
- Completeness;
- Hybrid logics;
- Memory logics;
- Modal logics;
8.Generalizations of the Kunen inconsistency

机译：Kunen不一致的一般化
- 作者：Hamkins J.D.;Kirmayer G.;Perlmutter N.L.
- 期刊名称：《Annals of Pure and Applied Logic》 | 2012年第12期
- Definability;
- Elementary embeddings;
- Forcing;
- Kunen inconsistency;
9.A constructive analysis of learning in Peano Arithmetic

机译：Peano算术学习的建设性分析
- 作者：Aschieri F.
- 期刊名称：《Annals of Pure and Applied Logic》 | 2012年第11期
10.Product-free Lambek calculus is NP-complete

机译：没有产品的Lambek演算是NP完全的
- 作者：Savateev Y.
- 期刊名称：《Annals of Pure and Applied Logic》 | 2012年第7期
- Algorithmic complexity;
- Lambek calculus;
- Proof nets;
11.Realizability models refuting Ishihara's boundedness principle

机译：驳斥石原界法则的可实现性模型
- 作者：Lietz P.;Streicher T.
- 期刊名称：《Annals of Pure and Applied Logic》 | 2012年第12期
- Constructive analysis;
- Independence proofs;
- Realizability;
12.Closed choice and a Uniform Low Basis Theorem

机译：封闭选择和一致的低基定理
- 作者：Brattka V.;de Brecht M.;Pauly A.
- 期刊名称：《Annals of Pure and Applied Logic》 | 2012年第8期
- Borel complexity;
- Computable analysis;
- Weihrauch reducibility;
13.Craig interpolation for networks of sentences

机译：句子网络的克雷格插值
- 作者：Jerome Keisler H.;Keisler J.M.
- 期刊名称：《Annals of Pure and Applied Logic》 | 2012年第9期
- Craig interpolation;
- Knowledge base;
- Network;
- Partition based reasoning;
- Peer-to-peer inference;
14.First order tameness of measures

机译：一阶驯服措施
- 作者：Kaiser T.
- 期刊名称：《Annals of Pure and Applied Logic》 | 2012年第12期
- Compatible measure;
- O-minimal structure;
- Tame measure;
15.Separating the basic logics of the basic recurrences

机译：分离基本重复的基本逻辑
- 作者：Japaridze G.
- 期刊名称：《Annals of Pure and Applied Logic》 | 2012年第3期
- Computability logic;
- Game semantics;
- Primary;
- Recurrence operators;
- Secondary;
16.Preface

机译：前言
- 作者：Artemov S.;Nerode A.
- 期刊名称：《Annals of Pure and Applied Logic》 | 2012年第7期
17.Indestructible strong compactness but not supercompactness

机译：坚不可摧的坚固性，而不是超紧凑性
- 作者：Apter A.W.;Gitik M.;Sargsyan G.
- 期刊名称：《Annals of Pure and Applied Logic》 | 2012年第9期
- Indestructibility;
- Prikry forcing;
- Strongly compact;
- Supercompact;
18.Metric spaces in synthetic topology

机译：合成拓扑中的度量空间
- 作者：Bauer A.;Le?nik D.
- 期刊名称：《Annals of Pure and Applied Logic》 | 2012年第2期
- Constructive metric spaces;
- Metrization axiom;
- Synthetic topology;
19.Independence results in formal topology

机译：独立导致形式拓扑
- 作者：Valentini S.
- 期刊名称：《Annals of Pure and Applied Logic》 | 2012年第2期
- Constructive mathematics;
- Formal topology;
- Independence results;
20.Decidability questions for a ring of Laurent polynomials

机译：Laurent多项式环的可判定性问题
- 作者：Sirokofskich A.
- 期刊名称：《Annals of Pure and Applied Logic》 | 2012年第5期
- Decidability;
- Existential theory;
- Laurent polynomials;
21.Prefixed tableaus and nested sequents

机译：前缀表格和嵌套序列
- 作者：Fitting M.
- 期刊名称：《Annals of Pure and Applied Logic》 | 2012年第3期
- Modal logic;
- Nested sequent;
- Prefixed tableau;
- Sequent;
- Tableau;
22.Isometry of Polish metric spaces

机译：波兰度量空间的等距
- 作者：Clemens J.D.
- 期刊名称：《Annals of Pure and Applied Logic》 | 2012年第9期
- Borel reducibility;
- Isometry;
- Polish metric spaces;
23.Effectively closed mass problems and intuitionism

机译：有效解决群众问题和直觉主义
- 作者：Higuchi K.
- 期刊名称：《Annals of Pure and Applied Logic》 | 2012年第6期
- Π10 classes;
- Brouwer algebras;
- Effective closed sets;
- Heyting algebras;
- Intuitionism;
- Mass problems;
24.Decomposing Borel functions and structure at finite levels of the Baire hierarchy

机译：在Baire层次结构的有限级别分解Borel函数和结构
- 作者：Pawlikowski J.;Sabok M.
- 期刊名称：《Annals of Pure and Applied Logic》 | 2012年第12期
- Analytic sets;
- Countably continuous functions;
- Decomposition of functions;
25.Isometry of Polish metric spaces

机译：波兰度量空间的等距
- 作者：Clemens J.D.
- 期刊名称：《Annals of Pure and Applied Logic》 | 2012年第9期
- Borel reducibility;
- Isometry;
- Polish metric spaces;
26.Independence results in formal topology

机译：独立导致形式拓扑
- 作者：Valentini S.
- 期刊名称：《Annals of Pure and Applied Logic》 | 2012年第2期
- Constructive mathematics;
- Formal topology;
- Independence results;
27.Foreword

机译：前言
- 作者：Baaz M.
- 期刊名称：《Annals of Pure and Applied Logic》 | 2012年第11期
28.Propositional proofs and reductions between NP search problems

机译：命题证明和NP搜索问题之间的减少
- 作者：Buss S.R.;Johnson A.S.
- 期刊名称：《Annals of Pure and Applied Logic》 | 2012年第9期
- Nullstellensatz;
- Polynomial time reducibility;
- Propositional proofs;
- Search problems;
29.Empty intervals in the enumeration degrees

机译：枚举度中的空间隔
- 作者：Kent T.F.;Lewis A.E.M.;Sorbi A.
- 期刊名称：《Annals of Pure and Applied Logic》 | 2012年第5期
- Enumeration reducibility;
- Positive reducibility;
- Strong minimal cover;
30.Expressive power of digraph solvability

机译：有向图可解性的表达能力
- 作者：Bezem M.;Grabmayer C.;Walicki M.
- 期刊名称：《Annals of Pure and Applied Logic》 | 2012年第3期
- Digraph;
- Infinitary propositional logic;
- Kernel;
- Reverse mathematics;
31.Almost universal cupping and diamond embeddings

机译：几乎通用的拔罐和钻石嵌入
- 作者：Liu J.;Wu G.
- 期刊名称：《Annals of Pure and Applied Logic》 | 2012年第6期
- Almost universal cupping property;
- Diamond embeddings;
- Ershov hierarchy;
- Turing degrees;
32.Cosheaves and connectedness in formal topology

机译：形式拓扑中的同捆和连通性
- 作者：Vickers S.
- 期刊名称：《Annals of Pure and Applied Logic》 | 2012年第2期
- Complete spread;
- Cosheaf;
- Formal topology;
- Locally connected;
- Predicative;
- Primary;
- Secondary;
- Symmetric topos;
33.Visible acyclic differential nets, Part I: Semantics

机译：可见的非循环差分网络，第一部分：语义
- 作者：Pagani M.
- 期刊名称：《Annals of Pure and Applied Logic》 | 2012年第3期
- Differential interaction nets;
- Finiteness spaces;
- Linear logic;
34.The Peirce translation

机译：皮尔斯翻译
- 作者：Escardó M.;Oliva P.
- 期刊名称：《Annals of Pure and Applied Logic》 | 2012年第6期
- Countable choice;
- Dependent choice;
- Negative translation;
- The Peirce law;
35.Tracking chains of σ2-elementarity

机译：σ2元素的跟踪链
- 作者：Carlson T.J.;Wilken G.
- 期刊名称：《Annals of Pure and Applied Logic》 | 2012年第1期
- 03F15;
- Elementary substructures;
- Ordinal arithmetic;
- Ordinal notations;
- Patterns of resemblance;
- Proof theory;
36.Guessing models and generalized Laver diamond

机译：猜测模型和广义紫菜钻石
- 作者：Viale M.
- 期刊名称：《Annals of Pure and Applied Logic》 | 2012年第11期
- Forcing axioms;
- Large cardinals;
- Laver diamond;
37.Topological forcing semantics with settling

机译：带有沉降的拓扑强制语义
- 作者：Lubarsky R.S.
- 期刊名称：《Annals of Pure and Applied Logic》 | 2012年第7期
- Constructivism;
- Semantics;
- Set theory;
- Topology;
38.Streamlined subrecursive degree theory

机译：简化的亚递归度理论
- 作者：Kristiansen L.;Schlage-Puchta J.-C.;Weiermann A.
- 期刊名称：《Annals of Pure and Applied Logic》 | 2012年第6期
- Honest functions;
- Provability in PA;
- Subrecursive degrees;
39.Light linear logics with controlled weakening: Expressibility, confluent strong normalization

机译：具有受控弱化的轻型线性逻辑：可表达性，融合强归一化
- 作者：Kanovich M.
- 期刊名称：《Annals of Pure and Applied Logic》 | 2012年第7期
40.The combinatorial essence of supercompactness

机译：超紧凑的组合本质
- 作者：Wei? C.
- 期刊名称：《Annals of Pure and Applied Logic》 | 2012年第11期
- Ineffable;
- Slender;
- Strongly compact;
- Supercompact;
- Thin;
41.Real computation with least discrete advice: A complexity theory of nonuniform computability with applications to effective linear algebra

机译：最少离散建议的实际计算：非均匀可计算性的复杂性理论及其在有效线性代数中的应用
- 作者：Ziegler M.
- 期刊名称：《Annals of Pure and Applied Logic》 | 2012年第8期
- Linear algebra;
- Recursive Analysis;
- Topological complexity;
42.Intuitionism and the liar paradox

机译：直觉主义与说谎者悖论
- 作者：Weaver N.
- 期刊名称：《Annals of Pure and Applied Logic》 | 2012年第10期
- Intuitionism;
- Liar paradox;
- Semantic paradoxes;
43.Algorithmic correspondence and canonicity for distributive modal logic

机译：分布模态逻辑的算法对应性和规范性
- 作者：Conradie W.;Palmigiano A.
- 期刊名称：《Annals of Pure and Applied Logic》 | 2012年第3期
- Algorithmic correspondence;
- Canonicity;
- Distributive lattices;
- Modal logic;
- Sahlqvist correspondence;
44.The extensional ordering of the sequential functionals

机译：顺序功能的扩展顺序
- 作者：Normann D.;Sazonov V.Y.
- 期刊名称：《Annals of Pure and Applied Logic》 | 2012年第5期
- Discontinuity;
- Finite sequential procedure;
- Fully abstract model;
- Sequential functional;
45.On n-tardy sets

机译：在n迟缓的集合上
- 作者：Cholak P.A.;Gerdes P.M.;Lange K.
- 期刊名称：《Annals of Pure and Applied Logic》 | 2012年第9期
- Automorphisms;
- C.e.sets;
- N-tardy sets;
- R.e. sets;
46.Extension without cut

机译：扩展无切
- 作者：Stra?burger L.
- 期刊名称：《Annals of Pure and Applied Logic》 | 2012年第12期
- Balanced tautologies;
- Cut elimination;
- Deep inference;
- Frege systems;
- Proof complexity;
- Propositional pigeonhole principle;
47.Computability in Europe 2010

机译：2010年欧洲可计算性
- 作者：Ferreira F.;Hyland M.;L?we B.;Mayordomo E.
- 期刊名称：《Annals of Pure and Applied Logic》 | 2012年第6期
48.Generalizing realizability and Heyting models for constructive set theory

机译：建设性集合论的可实现性和Heyting模型的一般化
- 作者：Ziegler A.
- 期刊名称：《Annals of Pure and Applied Logic》 | 2012年第2期
- Constructive set theory;
- CZF;
- Formal topology;
- Heyting models;
- Pca's;
- Realizability;
49.Measure, randomness and sublocales

机译：度量，随机性和子区域
- 作者：Simpson A.
- 期刊名称：《Annals of Pure and Applied Logic》 | 2012年第11期
- Foundations of measure theory;
- Foundations of probability theory;
- Locale theory;
50.Constructive toposes with countable sums as models of constructive set theory

机译：具有可数总和的构造姿势作为构造集理论的模型
- 作者：Simpson A.;Streicher T.
- 期刊名称：《Annals of Pure and Applied Logic》 | 2012年第10期
- Categorical logic;
- Constructive set theory;
- Sheaves;
51.Generalizing realizability and Heyting models for constructive set theory

机译：建设性集合论的可实现性和Heyting模型的一般化
- 作者：Ziegler A.
- 期刊名称：《Annals of Pure and Applied Logic》 | 2012年第2期
- Constructive set theory;
- CZF;
- Formal topology;
- Heyting models;
- Pca's;
- Realizability;
52.Lower complexity bounds in justification logic

机译：调整逻辑的复杂度较低
- 作者：Buss S.R.;Kuznets R.
- 期刊名称：《Annals of Pure and Applied Logic》 | 2012年第7期
- Π2p-completeness;
- Computational complexity;
- Derivability problem;
- Justification logic;
- Logic of proofs;
53.Polarized partitions on the second level of the projective hierarchy

机译：投影层次第二层上的极化分区
- 作者：Brendle J.;Khomskii Y.
- 期刊名称：《Annals of Pure and Applied Logic》 | 2012年第9期
- Descriptive set theory;
- Polarized partitions;
- Projective hierarchy;
54.Erratum to 'Representation theory of MV-algebras' [Ann. Pure Appl. Logic 161 (8) (2010)]

机译：对“ MV-代数的表示理论”的勘误纯应用逻辑161（8）（2010）]
- 作者：Dubuc E.J.
- 期刊名称：《Annals of Pure and Applied Logic》 | 2012年第9期
55.Tangled modal logic for topological dynamics

机译：拓扑动力学的复杂模态逻辑
- 作者：Fernández-Duque D.
- 期刊名称：《Annals of Pure and Applied Logic》 | 2012年第4期
- Dynamic topological logic;
- Modal logic;
- Spatial reasoning;
- Temporal reasoning;
56.Formal neighbourhoods, combinatory B?hm trees, and untyped normalization by evaluation

机译：正式社区，组合Bhm树和未类型化归一化评估
- 作者：Dybjer P.;Kuperberg D.
- 期刊名称：《Annals of Pure and Applied Logic》 | 2012年第2期
- B?hm trees;
- Combinatory logic;
- Formal neighbourhoods;
- Lazy evaluation;
- Normalization by evaluation;
57.Asymptotic probabilities of extension properties and random l-colourable structures

机译：扩展性质和随机l色结构的渐近概率
- 作者：Koponen V.
- 期刊名称：《Annals of Pure and Applied Logic》 | 2012年第4期
- Asymptotic probability;
- Colouring;
- Extension axiom;
- Finite structure;
- Model theory;
- Zero-one law;
58.Metric spaces in synthetic topology

机译：合成拓扑中的度量空间
- 作者：Bauer A.;Le?nik D.
- 期刊名称：《Annals of Pure and Applied Logic》 | 2012年第2期
- Constructive metric spaces;
- Metrization axiom;
- Synthetic topology;
59.Preface

机译：前言
- 作者：Kennedy J.;van Oosten J.
- 期刊名称：《Annals of Pure and Applied Logic》 | 2012年第10期
60.Comparing Peano arithmetic, Basic Law V, and Hume's Principle

机译：比较Peano算术，基本法V和休H原理
- 作者：Walsh S.
- 期刊名称：《Annals of Pure and Applied Logic》 | 2012年第11期
- Basic Law V;
- Hume's Principle;
- Hyperarithmetic;
- Interpretability;
- Recursively saturated;
- Second-order arithmetic;
61.Fine hierarchies via Priestley duality

机译：通过Priestley对偶性实现精细层次结构
- 作者：Selivanov V.
- 期刊名称：《Annals of Pure and Applied Logic》 | 2012年第8期
- Alternating tree;
- Hierarchy;
- K-partition;
- M-reducibility;
- Priestley space;
- Stone space;
62.Preface

机译：前言
- 作者：Andrej Bauer;Thierry Coquand;Giovanni Sambin;Peter M. Schuster
- 期刊名称：《Annals of Pure and Applied Logic》 | 2012年第2期
63.Foundational implications of the Inner Model Hypothesis

机译：内部模型假设的基本含义
- 作者：Arrigoni T.;Friedman S.-D.
- 期刊名称：《Annals of Pure and Applied Logic》 | 2012年第10期
- Consistency;
- Forcing;
- Foundation of set theory;
- Independence results;
- Inner models;
- New axioms;
64.Tracing and domination in the Turing degrees

机译：图灵度的追踪和控制
- 作者：Barmpalias G.
- 期刊名称：《Annals of Pure and Applied Logic》 | 2012年第5期
- Array computability;
- Domination;
- Tracing;
- Turing degrees;
65.The relational model is injective for multiplicative exponential linear logic (without weakenings)

机译：关系模型对于乘法指数线性逻辑是内射性的（不减弱）
- 作者：de Carvalho D.;Tortora de Falco L.
- 期刊名称：《Annals of Pure and Applied Logic》 | 2012年第9期
- Denotational semantics;
- Injective model;
- Linear logic;
- Proof-nets;
66.The limits of tractability in Resolution-based propositional proof systems

机译：基于分辨率的命题证明系统中易处理性的限制
- 作者：Dantchev S.;Martin B.
- 期刊名称：《Annals of Pure and Applied Logic》 | 2012年第6期
- Lower bounds;
- Propositional Proof Complexity;
- Resolution with bounded conjunction;
67.Derived rules for predicative set theory: An application of sheaves

机译：谓词集合论的派生规则：滑轮的应用
- 作者：van den Berg B.;Moerdijk I.
- 期刊名称：《Annals of Pure and Applied Logic》 | 2012年第10期
- Baire space;
- Constructive set theory;
- Derived rules;
- Sheaves;
68.Dynamic measure logic

机译：动态测量逻辑
- 作者：Lando T.
- 期刊名称：《Annals of Pure and Applied Logic》 | 2012年第12期
- Completeness;
- Measure algebra;
- Modal logic;
- S4;
- Topological semantics;
69.Characterizing strong randomness via Martin-L?f randomness

机译：通过Martin-L？f随机性表征强随机性
- 作者：Yu L.
- 期刊名称：《Annals of Pure and Applied Logic》 | 2012年第3期
- Kolmogorov complexity;
- Randomness;
70.Canonical signed calculi with multi-ary quantifiers

机译：多元量词的规范符号计算
- 作者：Zamansky A.;Avron A.
- 期刊名称：《Annals of Pure and Applied Logic》 | 2012年第7期
- Cut-elimination;
- Generalized quantifiers;
- Non-deterministic matrices;
- Proof theory;
- Signed calculi;
71.Justification Logic as a foundation for certifying mobile computation

机译：证明逻辑是认证移动计算的基础
- 作者：Bonelli E.;Feller F.
- 期刊名称：《Annals of Pure and Applied Logic》 | 2012年第7期
- Curry-de Bruijn-Howard isomorphism;
- Justification Logic;
- Mobile computation;
- Typed lambda calculus;
72.Preface

机译：前言
- 作者：Bauer A.;Coquand T.;Sambin G.;Schuster P.M.
- 期刊名称：《Annals of Pure and Applied Logic》 | 2012年第2期
73.Slow consistency

机译：一致性慢
- 作者：Friedman S.-D.;Rathjen M.;Weiermann A.
- 期刊名称：《Annals of Pure and Applied Logic》 | 2013年第3期
- Consistency strength;
- Fast growing function;
- Interpretation;
- Orey sentence;
- Peano arithmetic;
- Slow consistency;
74.Chain conditions in dependent groups

机译：依赖群体中的连锁条件
- 作者：Kaplan I.;Shelah S.
- 期刊名称：《Annals of Pure and Applied Logic》 | 2013年第12期
- Chain conditions;
- Dependent theories;
- Dp-Rank;
- NIP;
- Strongly dependent theories;
- Type definable groups;
75.Uniformly defining valuation rings in Henselian valued fields with finite or pseudo-finite residue fields

机译：在带有有限或伪有限残差字段的Henselian值字段中统一定义评估环
- 作者：Cluckers R.;Derakhshan J.;Leenknegt E.;Macintyre A.
- 期刊名称：《Annals of Pure and Applied Logic》 | 2013年第12期
- Definability;
- Diophantine sets;
- Hilbert's tenth problem;
76.Goodstein sequences for prominent ordinals up to the ordinal of 11-CA0

机译：直到11-CA0序数的突出序数的Goodstein序列
- 作者：Weiermann A.;Wilken G.
- 期刊名称：《Annals of Pure and Applied Logic》 | 2013年第12期
- Goodstein sequence;
- Proof-theoretic ordinal;
- Unprovability;
77.Operations, climbability and the proper forcing axiom

机译：操作性，爬升性和适当的推力公理
- 作者：Yoshinobu Y.
- 期刊名称：《Annals of Pure and Applied Logic》 | 2013年第8期
- Banach-Mazur game;
- Proper forcing axiom;
78.Computability in Europe 2011

机译：2011年欧洲可计算性
- 作者：Buss S.;L?we B.;Normann D.;Soskov I.
- 期刊名称：《Annals of Pure and Applied Logic》 | 2013年第5期
79.Conditional computability of real functions with respect to a class of operators

机译：关于一类运算符的实函数的条件可计算性
- 作者：Georgiev I.;Skordev D.
- 期刊名称：《Annals of Pure and Applied Logic》 | 2013年第5期
- Computable real-valued function;
- Conditional computability;
- Elementary functions of calculus;
- Subrecursive;
- TTE;
- Uniform computability;
80.Rudimentary and arithmetical constructive set theory

机译：基本和算术构造集理论
- 作者：Aczel P.
- 期刊名称：《Annals of Pure and Applied Logic》 | 2013年第4期
- Arithmetic;
- Constructive set theory;
- Rudimentary functions;
81.Erratum to 'Elimination of unbounded quantifiers for some poly-regular groups of infinite rank' [Ann. Pure Appl. Logic 149 (1-3) (2007) 40-80]

机译：勘误表“消除一些无穷级的多规则组的无界量词” [Ann。纯应用逻辑149（1-3）（2007）40-80]
- 作者：Scowcroft P.
- 期刊名称：《Annals of Pure and Applied Logic》 | 2013年第1期
82.Expressive completeness through logically tractable models

机译：通过逻辑上易处理的模型来表现完整
- 作者：Otto M.
- 期刊名称：《Annals of Pure and Applied Logic》 | 2013年第12期
- Expressive completeness;
- Finite model theory;
- Modal and guarded logics;
- Model theory;
- Preservation;
83.Axiomatizing first-order consequences in dependence logic

机译：公理化依赖逻辑中的一阶结果
- 作者：Kontinen J.;V??n?nen J.
- 期刊名称：《Annals of Pure and Applied Logic》 | 2013年第11期
- Dependence logic;
- Game logic;
- Independence friendly logic;
- Independence logic;
- Natural deduction;
84.Super/rosy L~k-theories and classes of finite structures

机译：超/玫瑰色L〜k理论和有限结构类
- 作者：Hill C.D.
- 期刊名称：《Annals of Pure and Applied Logic》 | 2013年第10期
- Amalgamation;
- Finite structures;
- {thorn}-Forking;
- {thorn}-Independence;
85.Towards a canonical classical natural deduction system

机译：走向经典的经典自然演绎系统
- 作者：Espírito Santo J.
- 期刊名称：《Annals of Pure and Applied Logic》 | 2013年第6期
- Classical logic;
- Control operators;
- Eta-reduction;
- Let-expressions;
- Natural deduction;
- Sequent calculus;
86.Kolmogorov complexity and computably enumerable sets

机译：Kolmogorov的复杂性和可计算的集合
- 作者：Barmpalias G.;Li A.
- 期刊名称：《Annals of Pure and Applied Logic》 | 2013年第12期
- Computably enumerable sets;
- Kolmogorov complexity;
- Relativization;
87.First-order logical duality

机译：一阶逻辑对偶
- 作者：Awodey S.;Forssell H.
- 期刊名称：《Annals of Pure and Applied Logic》 | 2013年第3期
- Categorical logic;
- First-order logic;
- Topological semantics;
- Topos theory;
88.Duality, projectivity, and unification in ?ukasiewicz logic and MV-algebras

机译：ukasiewicz逻辑和MV代数的对偶性，投影性和统一性
- 作者：Marra V.;Spada L.
- 期刊名称：《Annals of Pure and Applied Logic》 | 2013年第3期
- ?ukasiewicz logic;
- Covering space;
- Fundamental group;
- Projective MV-algebras;
- Rational polyhedra;
- Unification;
89.Characterising dominated weak-operator continuous functionals on subspaces of B(H)

机译：刻画B（H）子空间上占优的弱算子连续函数
- 作者：Bridges D.S.
- 期刊名称：《Annals of Pure and Applied Logic》 | 2013年第4期
- (Ultra)weak operator topology;
- Constructive;
- Continuous functionals;
- Operators;
90.Topological completeness of the provability logic GLP

机译：可证明性逻辑GLP的拓扑完整性
- 作者：Beklemishev L.;Gabelaia D.
- 期刊名称：《Annals of Pure and Applied Logic》 | 2013年第12期
- GLP;
- Provability logic;
- Scattered spaces;
91.Lambek vs. Lambek: Functorial vector space semantics and string diagrams for Lambek calculus

机译：Lambek vs. Lambek：Lambek微积分的函数向量空间语义和字符串图
- 作者：Coecke B.;Grefenstette E.;Sadrzadeh M.
- 期刊名称：《Annals of Pure and Applied Logic》 | 2013年第11期
- Categorial grammars;
- Distributional semantics;
- Lambek calculus;
- Monoidal categories;
- Pregroups;
- Vector spaces;
92.Cardinal characteristics, projective wellorders and large continuum

机译：基本特征，投影井序和大连续体
- 作者：Fischer V.;Friedman S.D.;Zdomskyy L.
- 期刊名称：《Annals of Pure and Applied Logic》 | 2013年第8期
- Cardinal characteristics;
- Coding;
- Large continuum;
- Martin's axiom;
- Projective wellorders;
93.Bare canonicity of representable cylindric and polyadic algebras

机译：可表示的圆柱和多代数的裸经典性
- 作者：Bulian J.;Hodkinson I.
- 期刊名称：《Annals of Pure and Applied Logic》 | 2013年第9期
- Algebras of relations;
- Canonical axiomatisation;
- Canonical variety;
- Cylindric algebras;
- Diagonal-free algebras;
- Primary;
- Random graphs;
- Secondary;
94.Algebraically closed MV-algebras and their sheaf representation

机译：代数封闭的MV代数及其捆表示
- 作者：Di Nola A.;Ferraioli A.R.;Lenzi G.
- 期刊名称：《Annals of Pure and Applied Logic》 | 2013年第3期
- MV-algebra;
- Radical;
- Sheaf;
95.Combinatorial realizability models of type theory

机译：类型理论的组合可实现性模型
- 作者：Hofstra P.;Warren M.A.
- 期刊名称：《Annals of Pure and Applied Logic》 | 2013年第10期
- Gluing;
- Groupoid semantics;
- Homotopy type theory;
- Logical relations;
- Martin-L?f type theory;
- Realizability;
96.Large cardinals and basic sequences

机译：大主教和基本顺序
- 作者：Lopez-Abad J.
- 期刊名称：《Annals of Pure and Applied Logic》 | 2013年第12期
- Basic sequences;
- Non-separable Banach spaces;
- Partition calculus;
97.Quasi-Polish spaces

机译：准波兰空间
- 作者：De Brecht M.
- 期刊名称：《Annals of Pure and Applied Logic》 | 2013年第3期
- Admissible representation;
- Borel hierarchy;
- Descriptive set theory;
- Domain theory;
- Quasi-metric space;
98.Unification and admissible rules for paraconsistent minimal johanssons' logic J and positive intuitionistic logic IPC~+

机译：超一致的最小约翰逊逻辑J和正直觉逻辑IPC〜+的统一和可容许规则
- 作者：Odintsov S.;Rybakov V.
- 期刊名称：《Annals of Pure and Applied Logic》 | 2013年第8期
99.Learning based realizability for HA + EM1 and 1-Backtracking games: Soundness and completeness

机译：HA + EM1和1-Backtracking游戏的基于学习的可实现性：健全性和完整性
- 作者：Aschieri F.
- 期刊名称：《Annals of Pure and Applied Logic》 | 2013年第6期
- Backtracking games;
- Classical logic;
- Classical realizability;
- Learning;
100.On the Kolmogorov complexity of continuous real functions

机译：关于连续实函数的Kolmogorov复杂性
- 作者：Farjudian A.
- 期刊名称：《Annals of Pure and Applied Logic》 | 2013年第5期
- Algorithmic randomness;
- Computable analysis;
- Domain theory;
- Kolmogorov complexity;
- Measure theory;
- Prevalence;

客服邮箱：kefu@zhangqiaokeyan.com

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

客服微信
服务号