-
The Ellis group conjecture and variants of definable amenability
British Library Online Contents | 2018|Verlag: ASSOCIATION FOR SYMBOLIC LOGIC, INC. -
On constraints and dividing in ternary homogeneous structures
British Library Online Contents | 2018|Verlag: ASSOCIATION FOR SYMBOLIC LOGIC, INC. -
Generalizations of the recursion theorem
British Library Online Contents | 2018|Verlag: ASSOCIATION FOR SYMBOLIC LOGIC, INC. -
Some model theory of guarded negation
British Library Online Contents | 2018|Verlag: ASSOCIATION FOR SYMBOLIC LOGIC, INC. -
Workshop on Computability Theory and Its Applications 2018, Co-Sponsored by the Association for Symbolic Logic, Waterloo, Canada, June 4—8, 2018
British Library Online Contents | 2018Verlag: ASSOCIATION FOR SYMBOLIC LOGIC, INC. -
Marios Koulakis, Coding into Inner Models at the Level of Strong Cardinals, University of Münster, 2015
British Library Online Contents | 2018|Verlag: ASSOCIATION FOR SYMBOLIC LOGIC, INC. -
The complexity of topological group isomorphism
British Library Online Contents | 2018|Verlag: ASSOCIATION FOR SYMBOLIC LOGIC, INC. -
24th Workshop on Logic, Language, Information, and Computation (WOLLIC 2017), London, UK, July 18—21, 2017
British Library Online Contents | 2018Verlag: ASSOCIATION FOR SYMBOLIC LOGIC, INC. -
Believing in Logic and Philosophy, KU Leuven, Belgium, 2014. Supervised by Stefaan Cuypers
British Library Online Contents | 2018|Verlag: ASSOCIATION FOR SYMBOLIC LOGIC, INC. -
ZFC proves that the class of ordinals is not weakly compact for definable classes
British Library Online Contents | 2018|Verlag: ASSOCIATION FOR SYMBOLIC LOGIC, INC. -
Deciding the chromatic numbers of algebraic hypergraphs
British Library Online Contents | 2018|Verlag: ASSOCIATION FOR SYMBOLIC LOGIC, INC. -
Weakly 2-randoms and 1-generics in Scott sets
British Library Online Contents | 2018|Verlag: ASSOCIATION FOR SYMBOLIC LOGIC, INC. -
Degrees of categoricity and spectral dimension
British Library Online Contents | 2018|Verlag: ASSOCIATION FOR SYMBOLIC LOGIC, INC. -
Left-orderable computable groups
British Library Online Contents | 2018|Verlag: ASSOCIATION FOR SYMBOLIC LOGIC, INC. -
Acceptable colorings of indexed hyperspaces
British Library Online Contents | 2018|Verlag: ASSOCIATION FOR SYMBOLIC LOGIC, INC. -
Interpretable sets in dense o-minimal structures
British Library Online Contents | 2018|Verlag: ASSOCIATION FOR SYMBOLIC LOGIC, INC. -
Provability logics relative to a fixed extension of Peano Arithmetic
British Library Online Contents | 2018|Verlag: ASSOCIATION FOR SYMBOLIC LOGIC, INC. -
The temporal logic of two dimensional Minkowski spacetime is decidable
British Library Online Contents | 2018|Verlag: ASSOCIATION FOR SYMBOLIC LOGIC, INC. -
On the structure of groups endowed with a compatible C-relation
British Library Online Contents | 2018|Verlag: ASSOCIATION FOR SYMBOLIC LOGIC, INC. -
Preservation of structural properties in intuitionistic extensions of an inference relation
British Library Online Contents | 2018|Verlag: ASSOCIATION FOR SYMBOLIC LOGIC, INC.
Meine Suche schicken an (beta)
Schicken Sie ihre Suchanfrage (Suchterm ohne Filter) an andere Datenbanken, Portale und Kataloge, um ggf. weitere interessante Treffer zu finden:
Dimensions ist eine Datenbank für Abstracts und Zitate, die Informationen zu Forschungsförderungen mit daraus resultierenden Veröffentlichungen, Studien und Patenten verknüpft.
Im TIB AV-Portal können audiovisuelle Medien aus Wissenschaft und Lehre recherchiert und eigene wissenschaftliche Videos publiziert werden.
Im FID move kann nach fachspezifischer Literatur, Forschungsdaten und weitere Informationen aus der Mobilitäts- und Verkehrsforschung gesucht werden.
Der Open Research Knowledge Graph liefert strukturiert beschriebene Forschungsinhalte und macht diese vergleichbar.
Frei zugänglicher Ausschnitt der Verbunddatenbank K10plus des GBV und des SWB mit für die Fernleihe und Direktlieferdienste relevanten Materialien.