-
On the set-theoretic strength of Ellis' theorem and the existence of free idempotent ultrafilters on ω
British Library Online Contents | 2018|Verlag: ASSOCIATION FOR SYMBOLIC LOGIC, INC. -
Jump operations for Borel graphs
British Library Online Contents | 2018|Verlag: ASSOCIATION FOR SYMBOLIC LOGIC, INC. -
Universal classes near [non-Roman script word]~1
British Library Online Contents | 2018|Verlag: ASSOCIATION FOR SYMBOLIC LOGIC, INC. -
Raphaël Carroy, Functions of the first Baire class, Université Paris 7 - Denis Diderot & Université de Lausanne, France, 2013
British Library Online Contents | 2018|Verlag: ASSOCIATION FOR SYMBOLIC LOGIC, INC. -
2017—2018 Winter Meeting of the Association for Symbolic Logic, San Diego Convention Center and Marriott Marquis San Diego Marina, San Diego, CA, January 12—13, 2018
British Library Online Contents | 2018Verlag: ASSOCIATION FOR SYMBOLIC LOGIC, INC. -
VIII Conference and III School on Topology, Algebra, and Categories in Logic (TACL), 2017, Co-Sponsored by the Association for Symbolic Logic, Prague and Olomouc, Czech Republic, June 20—30, 2017
British Library Online Contents | 2018Verlag: ASSOCIATION FOR SYMBOLIC LOGIC, INC. -
Interrelation between weak fragments of double negation shift and related principles
British Library Online Contents | 2018|Verlag: ASSOCIATION FOR SYMBOLIC LOGIC, INC. -
Truncation and semi-decidability notions in applicative theories
British Library Online Contents | 2018|Verlag: ASSOCIATION FOR SYMBOLIC LOGIC, INC. -
Kurt Gödel's first steps in logic: Formal proofs in arithmetic and set theory through a system of natural deduction
British Library Online Contents | 2018|Verlag: ASSOCIATION FOR SYMBOLIC LOGIC, INC. -
The complexity of the embeddability relation between torsion-free abelian groups of uncountable size
British Library Online Contents | 2018|Verlag: ASSOCIATION FOR SYMBOLIC LOGIC, INC. -
Conservativity of ultrafilters over subsystems of second order arithmetic
British Library Online Contents | 2018|Verlag: ASSOCIATION FOR SYMBOLIC LOGIC, INC. -
Number systems with simplicity hierarchies: a generalization of Conway's theory of surreal numbers II
British Library Online Contents | 2018|Verlag: ASSOCIATION FOR SYMBOLIC LOGIC, INC. -
Amenability and Unique Ergodicity of the Automorphism Groups of All Countable Homogeneous Directed Graphs, University of Toronto, Canada, 2015. Supervised by Vladimir Pestov and Stevo Todorcevic
British Library Online Contents | 2018|Verlag: ASSOCIATION FOR SYMBOLIC LOGIC, INC. -
Logic and C*-Algebras: Set Theoretical Dichotomies in the Theory of Continuous Quotients, York University, Toronto, Canada, 2017. Supervised by Ilijas Farah
British Library Online Contents | 2018|Verlag: ASSOCIATION FOR SYMBOLIC LOGIC, INC. -
Some Results on Tight Stationarity, University of California, Los Angeles, USA, 2016. Supervised by Itay Neeman
British Library Online Contents | 2018|Verlag: ASSOCIATION FOR SYMBOLIC LOGIC, INC. -
A constructive examination of a Russell-style ramified type theory
British Library Online Contents | 2018|Verlag: ASSOCIATION FOR SYMBOLIC LOGIC, INC. -
The eightfold way
British Library Online Contents | 2018|Verlag: ASSOCIATION FOR SYMBOLIC LOGIC, INC. -
Berkeley cardinals and the structure of L(V~δ~+~1)
British Library Online Contents | 2018|Verlag: ASSOCIATION FOR SYMBOLIC LOGIC, INC. -
Athipat Thamrongthanyalak, Extensions and Smooth Approximations of Definable Functions in O-minimal Structures, University of California, Los Angeles, 2013
British Library Online Contents | 2018|Verlag: ASSOCIATION FOR SYMBOLIC LOGIC, INC. -
Tableaux 2017 / Frocos 2017 / ITP 2017, Co-Sponsored by the Association for Symbolic Logic, Brasilia, Brazil, September 25—29, 2017
British Library Online Contents | 2018Verlag: 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.