1–20 of 2,743 hits
Sort by:
Sort by:
-
The Ellis group conjecture and variants of definable amenability
British Library Online Contents | 2018|Publisher: ASSOCIATION FOR SYMBOLIC LOGIC, INC. -
On constraints and dividing in ternary homogeneous structures
British Library Online Contents | 2018|Publisher: ASSOCIATION FOR SYMBOLIC LOGIC, INC. -
Generalizations of the recursion theorem
British Library Online Contents | 2018|Publisher: ASSOCIATION FOR SYMBOLIC LOGIC, INC. -
Some model theory of guarded negation
British Library Online Contents | 2018|Publisher: 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 | 2018Publisher: 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|Publisher: ASSOCIATION FOR SYMBOLIC LOGIC, INC. -
The complexity of topological group isomorphism
British Library Online Contents | 2018|Publisher: 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 | 2018Publisher: ASSOCIATION FOR SYMBOLIC LOGIC, INC. -
Believing in Logic and Philosophy, KU Leuven, Belgium, 2014. Supervised by Stefaan Cuypers
British Library Online Contents | 2018|Publisher: ASSOCIATION FOR SYMBOLIC LOGIC, INC. -
ZFC proves that the class of ordinals is not weakly compact for definable classes
British Library Online Contents | 2018|Publisher: ASSOCIATION FOR SYMBOLIC LOGIC, INC. -
Deciding the chromatic numbers of algebraic hypergraphs
British Library Online Contents | 2018|Publisher: ASSOCIATION FOR SYMBOLIC LOGIC, INC. -
Weakly 2-randoms and 1-generics in Scott sets
British Library Online Contents | 2018|Publisher: ASSOCIATION FOR SYMBOLIC LOGIC, INC. -
Degrees of categoricity and spectral dimension
British Library Online Contents | 2018|Publisher: ASSOCIATION FOR SYMBOLIC LOGIC, INC. -
Left-orderable computable groups
British Library Online Contents | 2018|Publisher: ASSOCIATION FOR SYMBOLIC LOGIC, INC. -
The strength of Ramsey's theorem for pairs and arbitrarily many colors
British Library Online Contents | 2018|Publisher: ASSOCIATION FOR SYMBOLIC LOGIC, INC. -
Borel functors and infinitary interpretations
British Library Online Contents | 2018|Publisher: ASSOCIATION FOR SYMBOLIC LOGIC, INC. -
25th Workshop on Logic, Language, Information, and Computation (WOLLIC 2018), Co-Sponsored by the Association for Symbolic Logic, Bogotá, Colombia, July 24—27, 2018
British Library Online Contents | 2018Publisher: ASSOCIATION FOR SYMBOLIC LOGIC, INC. -
Joseph Zielinski, Compact Structures in Descriptive Classification Theory, University of Illinois at Chicago, 2016
British Library Online Contents | 2018|Publisher: ASSOCIATION FOR SYMBOLIC LOGIC, INC. -
CIE 2018: Sailing Routes in the World of Computation, Co-Sponsored by the Association for Symbolic Logic, Kiel, Germany, July 31—August 3, 2018
British Library Online Contents | 2018Publisher: ASSOCIATION FOR SYMBOLIC LOGIC, INC. -
Will Boney, Advances in Classification Theory for Abstract Elementary Classes, Carnegie Mellon University, 2014
British Library Online Contents | 2018|Publisher: ASSOCIATION FOR SYMBOLIC LOGIC, INC.
Send my search to (beta)
Send your search query (search terms without filters) to other databases, portals and catalogues to find more interesting hits.
Dimensions:
full data search
or
title and abstract search
Dimensions is a database for abstracts and citations that links information on research funding with the resulting publications, studies and patents.
TIB AV portal
In the TIB AV-Portal, audiovisual media from science and teaching can be foundand own scientific videos can be published.
Specialised Information Service for Mobility and Transport Research (FID move)
Open Research Knowledge Graph (ORKG)
The FID move can be used to search for subject-specific literature, research data and other information from mobility and transport research.
The Open Research Knowledge Graph provides structured descriptions of research content and makes it comparable.
Common Union Catalogue (GVK)
Freely accessible part of the collaborative K10plus catalogue with materials relevant for interlibrary loan and direct delivery services.