搜索页_+03C10

常用资源

电子图书

期刊论文

学位会议

在“SpringerLink电子期刊”中，命中：20条，耗时：小于0.01 秒

在所有数据库中总计命中：949条

1. Geometric structures with a dense independent subset

作者： Alexander Berenstein ; Evgueni Vassiliev

关键词：03C10 ; 03C45 ; 03C64

刊名：Selecta Mathematica, New Series

出版年：2016

2. Positive primitive formulae of modules over rings of semi-algebraic functions on a curve

作者： Laura R. Phillips

关键词：Rings of continuous semi ; algebraic functions ; Semi ; algebraic vector bundles ; Piecewise vector bundles ; p.p. ; Formula ; Model theory of modules ; Semi ; algebraic geometry ; 03C10 ; 03C57 ; 03C40 ; 03C64 ; 14P10

刊名：Archive for Mathematical Logic

出版年：2015

3. Tropicalization of the moduli space of stable maps

作者： Tony Yue Yu

关键词：Tropicalization ; Moduli space ; Stable map ; Continuity ; Polyhedrality ; Berkovich space ; Balancing condition ; Vanishing cycle ; Quantifier elimination ; Rigid subanalytic set ; Primary 14T05 ; Secondary 14G22 ; 14H15 ; 03C98 ; 03C10 ; 32B20

刊名：Mathematische Zeitschrift

出版年：2015

4. On polymorphism-homogeneous relational structures and their clones

作者： Christian Pech ; Maja Pech

关键词：Primary ; 08A02 ; Secondary ; 03C10 ; 03C40 ; 05C63 ; 06A06 ; relational structure ; polymorphism ; clone ; relational clone ; weak oligomorphy ; quantifier elimination ; homomorphism ; homogeneity ; polymorphism ; homogeneity ; Galois connection

刊名：Algebra Universalis

出版年：2015

5. The field of reals with a predicate for the real algebraic numbers and a predicate for the integer powers of two

作者： Mohsen Khani

关键词：O ; minimality ; Dense pairs ; Integer powers of two ; 03C10

刊名：Archive for Mathematical Logic

出版年：2015

6. The model companion of the class of pseudocomplemented semilattices is finitely axiomatizable

作者： Jo?l Adler

关键词：Primary ; 03C60 ; Secondary ; 03C05 ; 03C10 ; 03G10 ; 06A12 ; pseudocomplemented semilattice ; algebraic and existential closedness ; finite axiomatizability ; model companion

刊名：Algebra Universalis

出版年：2014

7. Reducts of p-adically closed fields

作者：Eva Leenknegt (1)

关键词：Cell decomposition ; Quantifier elimination ; p ; adic numbers ; P ; minimality ; o ; minimality ; Reducts ; Defining multiplication ; Skolem functions ; 03C07 ; 03C10 ; 03C64 ; 11U09 ; 12J12

刊名：Archive for Mathematical Logic

出版年：2014

8. The model theory of modules of a C*-algebra

作者：Camilo Argoty (1)

关键词：Hilbert space ; C* ; algebra representation ; Model theory ; Stability theory ; Types ; 03C10 ; 03C30 ; 03C65 ; 03C98 ; 47A16 ; 47C15

刊名：Archive for Mathematical Logic

出版年：2013

9. The class of algebraically closed p-semilattices is finitely axiomatizable

作者： Jo?l Adler ; Regula Rupp ; Jürg Schmid

关键词：Primary ; 03C60 ; Secondary ; 03C05 ; 03C10 ; 03G10 ; 06A12 ; pseudocomplemented semilattice ; algebraic and existential closedness ; finite axiomatizability

刊名：Algebra Universalis

出版年：2013

10. Cell decomposition for semibounded p-adic sets

作者：Eva Leenknegt (1)

关键词：Cell decomposition ; Quantifier elimination ; p ; adic numbers ; p ; minimality ; o ; minimality ; Definability ; Restricted multiplication ; 03C07 ; 03C10 ; 03C64 ; 11U09 ; 12J12

刊名：Archive for Mathematical Logic

出版年：2013

按检索点细分(20)

关键词(20)

文摘(1)

按出版年细分(20)

2016年(1)

2015年(4)

2014年(2)

2013年(5)

2012年(3)

2009年(1)

2008年(2)

2001年(2)

地址：北京市海淀区学院路29号邮编：100083

电话：办公室：(+86 10)66554848；文献借阅、咨询服务、科技查新：66554700