-
Strong jump-traceability
British Library Online Contents | 2018|Verlag: ASSOCIATION FOR SYMBOLIC LOGIC, INC. -
Pure and Hybrid Mice with Finitely Many Woodin Cardinals from Levels of Determinacy, Westfälische Wilhelms-Universität Münster, Germany, 2016. Supervised by Ralf-Dieter Schindler
British Library Online Contents | 2018|Verlag: ASSOCIATION FOR SYMBOLIC LOGIC, INC. -
Hierarchies of (virtual) resurrection axioms
British Library Online Contents | 2018|Verlag: ASSOCIATION FOR SYMBOLIC LOGIC, INC. -
A computable functor from graphs to fields
British Library Online Contents | 2018|Verlag: ASSOCIATION FOR SYMBOLIC LOGIC, INC. -
The unity and identity of decidable objects and double-negation sheaves
British Library Online Contents | 2018|Verlag: ASSOCIATION FOR SYMBOLIC LOGIC, INC. -
Anton Bobkov, Computations of Vapnik—Chervonenkis Density in Various Model- Theoretic Structures, University of California, Los Angeles, 2017
British Library Online Contents | 2018|Verlag: ASSOCIATION FOR SYMBOLIC LOGIC, INC. -
Fifteenth Asian Logic Conference, An Official Meeting of the Association for Symbolic Logic, National Institute for Mathematical Sciences, Daejeon, South Korea, July 10—14, 2017
British Library Online Contents | 2018Verlag: ASSOCIATION FOR SYMBOLIC LOGIC, INC. -
On C^(^n^)-extendible cardinals
British Library Online Contents | 2018|Verlag: ASSOCIATION FOR SYMBOLIC LOGIC, INC. -
Undecidability of the first order theories of free noncommutative lie algebras
British Library Online Contents | 2018|Verlag: ASSOCIATION FOR SYMBOLIC LOGIC, INC. -
Relatively exchangeable structures
British Library Online Contents | 2018|Verlag: ASSOCIATION FOR SYMBOLIC LOGIC, INC. -
Computable Polish group actions
British Library Online Contents | 2018|Verlag: ASSOCIATION FOR SYMBOLIC LOGIC, INC. -
Separation Problems of Analytic Relations (Problèmes de séparation des relations analytiques), Université Pierre et Marie Curie, France, 2015. Supervised by Dominique Lecomte
British Library Online Contents | 2018|Verlag: ASSOCIATION FOR SYMBOLIC LOGIC, INC. -
Ø. Linnebo, Philosophy of Mathematics
British Library Online Contents | 2018|Verlag: ASSOCIATION FOR SYMBOLIC LOGIC, INC. -
Polymorphism and the obstinate circularity of second order logic: A victims' tale
British Library Online Contents | 2018|Verlag: ASSOCIATION FOR SYMBOLIC LOGIC, INC. -
Bounded polynomials and holomorphic mappings between convex subrings of ^*C
British Library Online Contents | 2018|Verlag: ASSOCIATION FOR SYMBOLIC LOGIC, INC. -
Namba forcing, weak approximation, and guessing
British Library Online Contents | 2018|Verlag: ASSOCIATION FOR SYMBOLIC LOGIC, INC. -
Universal minimal flows of generalized Ważewski dendrites
British Library Online Contents | 2018|Verlag: ASSOCIATION FOR SYMBOLIC LOGIC, INC. -
29th European Summer School, In Logic, Language, and Information, (ESSLLI 2017), Co-Sponsored by the Association for Symbolic Logic, Toulouse, France, July 17—28, 2017
British Library Online Contents | 2018Verlag: ASSOCIATION FOR SYMBOLIC LOGIC, INC. -
Equivalence relations invariant under group actions
British Library Online Contents | 2018|Verlag: ASSOCIATION FOR SYMBOLIC LOGIC, INC. -
Keisler's order is not linear, assuming a supercompact
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.