Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDThe Journal of Symbolic Logic, Volume 78
Volume 78, Number 1, March 2013
- Todd Eisworth
:
Getting more colors I. 1-16 - Todd Eisworth:
Getting more colors II. 17-38 - Robert S. Lubarsky:
On the failure of BD- and BD, and an application to the anti-Specker property. 39-56 - Colin G. Bailey:
Some jump-like operations in β-recursion theory. 57-71 - Cédric Milliet:
Fields with few types. 72-84 - Peter Koepke, Karen Räsch, Philipp Schlicht:
A minimal Prikry-type forcing for singularizing a measurable cardinal. 85-100 - Clinton T. Conley:
Canonizing relations on nonsmooth sets. 101-112 - Adam R. Day:
Indifferent sets for genericity. 113-138 - Joel David Hamkins, David Linetsky, Jonas Reitz:
Pointwise definable models of set theory. 139-156 - Dilip Raghavan:
P-ideal dichotomy and weak squares. 157-167 - Fred Galvin, Marion Scheepers:
Borel's conjecture in topological groups. 168-184 - Michael C. Laskowski:
Mutually algebraic structures and expansions by predicates. 185-194 - Chris J. Conidis, Theodore A. Slaman:
Random reals, the rainbow Ramsey theorem, and arithmetic conservation. 195-206 - Philipp Hieronymi:
An analogue of the Baire category theorem. 207-213 - Katalin Bimbó, J. Michael Dunn:
On the decidability of implicational ticket entailment. 214-236 - Greg Hjorth, Leigh Humphries, Arnold W. Miller:
Universal sets for pointsets properly on the nth level of the projective hierarchy. 237-244 - Nathan J. Bowler, Cong Chen, Jakub Gismatullin:
Model theoretic connected components of finitely generated nilpotent groups. 245-259 - Fernando Ferreira, Gilda Ferreira:
Atomic polymorphism. 260-274 - Justin Palumbo:
Unbounded and dominating reals in Hechler extensions. 275-289 - Bruno Poizat:
Centralisateurs génériques. 290-306 - Fredrik Engström, Juha Kontinen:
Characterizing quantifier extensions of dependence logic. 307-316 - Laura Fontanella:
Strong tree properties for small cardinals. 317-333 - Jeremy Avigad:
Uniform distribution and algorithmic randomness. 334-344
Volume 78, Number 2, June 2013
- Robert A. Van Wesep:
Satisfaction relations for proper classes: applications in logic and set theory. 345-368 - Alfred Dolich, Chris Miller, Charles Steinhorn:
Extensions of ordered theories by generic predicates. 369-387 - Thomas Studer:
Decidability for some justification logics with negative introspection. 388-402 - Steve Jackson, Benedikt Löwe:
Canonical measure assignments. 403-424 - Antonio Montalbán:
A fixed point for the jump operator on structures. 425-438 - Vadim Kulikov:
Borel reductions and cub games in generalised descriptive set theory. 439-458 - Henry Towsner:
Partial impredicativity in reverse mathematics. 459-488 - Daniel Palacín, Frank O. Wagner:
Ample thoughts. 489-510 - Gregory Igusa:
Nonexistence of minimal pairs for generic computability. 511-522 - Deirdre Haskell, Ehud Hrushovski, Dugald Macpherson:
Unexpected imaginaries in valued fields with analytic structure. 523-542 - David Fernández-Duque, Joost J. Joosten:
Models of transfinite provability logic. 543-561 - Joan Bagaria, Andrew D. Brooke-Taylor:
On colimits and elementary embeddings. 562-578 - Sam Buss, Mia Minnes:
Probabilistic algorithmic randomness. 579-601 - Adi Jarden, Alon Sitton:
Independence, dimension and continuity in non-forking frames. 602-632 - Raphaël Carroy:
A quasi-order on continuous functions. 633-648 - Cédric Milliet:
On the definability of radicals in supersimple groups. 649-656 - Anand Pillay:
Topological dynamics and definable groups. 657-666 - Yo Matsubara, Tochimichi Usuba:
On skinny stationary subsets of Pκ λ. 667-680
Volume 78, Number 3, September 2013
- M. C. Stanley:
Forcing closed unbounded subsets of ℵω1+1. 681-707 - Ronald Jensen, John R. Steel:
K without the measurable. 708-734 - Grigor Sargsyan:
On the prewellorderings associated with the directed systems of mice. 735-763 - Martín Escardó:
Infinite sets that satisfy the principle of omniscience in any variety of constructive mathematics. 764-784 - John Krueger:
Namba forcing and no good scale. 785-802 - Sy-David Friedman, Mohammad Golshani:
Killing the GCH everywhere with a single real. 803-823 - Wei Wang:
Rainbow Ramsey Theorem for triples is strictly weaker than the Arithmetical Comprehension Axiom. 824-836 - Lukasz Czajka:
Higher-order illative combinatory logic. 837-872 - Hannes Diener, Robert S. Lubarsky:
Principles weaker than BD-N. 873-885 - Giovanni Panti, Davide Ravotti:
Measures induced by units. 886-910 - Vera Koponen:
A limit law of almost l-partite graphs. 911-936 - Grigori Mints, Grigory K. Olkhovikov, Alasdair Urquhart:
Failure of interpolation in constant domain intuitionistic logic. 937-950 - Justin Palumbo:
Comparisons of polychromatic and monochromatic Ramsey theory. 951-968 - Jan Cz. Dobrowolski:
New examples of small Polish structures. 969-976 - Carl G. Jockusch Jr., Andrew E. M. Lewis:
Diagonally non-computable functions and bi-immunity. 977-988 - M. Arciga-Alejandre, Michael Hrusák, Carlos Azarel Martínez-Ranero:
Invariance properties of almost disjoint families. 989-999 - Isaac Goldbring, Bradd Hart, Thomas Sinclair:
The theory of tracial von Neumann algebras does not have a model companion. 1000-1004 - Mingzhong Cai, Richard A. Shore:
Low level nondefinability results: Domination and recursive enumeration. 1005-1024
Volume 78, Number 4, December 2013
- Andrés Cordón-Franco, Alejandro Fernández-Margarit, Francisco Félix Lara Martín:
On the optimality of conservation results for local reflection in arithmetic. 1025-1035 - Manuel Bodirsky, Michael Pinsker, Todor Tsankov:
Decidability of definability. 1036-1054 - Alexander G. Melnikov:
Computably isometric spaces. 1055-1085 - John Goodrick, Byunghan Kim, Alexei S. Kolesnikov:
Homology groups of types in model theory and the computation of H2(p). 1086-1114 - Olivier Finkel:
The determinacy of context-free games. 1115-1134 - Wei Li:
Friedberg numbering in fragments of Peano Arithmetic and α-recursion theory. 1135-1163 - Jörg Brendle, Yurii Khomskii:
Mad families constructed from perfect almost disjoint families. 1164-1180 - Asger Törnquist:
Σ12 and Π11 mad families. 1181-1182 - Achilles Beros:
Anomalous Vacillatory Learning. 1183-1188 - Uri Andrews, Julia F. Knight:
Spectra of atomic theories. 1189-1198 - Antonio Montalbán:
Copyable structures. 1199-1217 - Laurent Bienvenu, Adam R. Day, Rupert Hölzl:
From bi-immunity to absolute undecidability. 1218-1228 - Ian Herbert:
A perfect set of reals with finite self-information. 1229-1246 - David A. Ross:
Extensions and applications of the S-measure construction. 1247-1256 - Luca Motto Ros:
On the structure of finite level and ω-decomposable Borel functions. 1257-1287 - Konstantin Slutsky:
Automatic continuity for homomorphisms into free products. 1288-1306 - Johanna N. Y. Franklin, Noam Greenberg, Frank Stephan, Guohua Wu:
Anti-complex sets and reducibilities with tiny use. 1307-1327 - Howard Becker:
Isomorphism of computable structures and Vaught's Conjecture. 1328-1344 - Robin Hirsch:
Corrigendum to: "Relation algebra reducts of cylindric algebras and complete representations". 1345-1346
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-05-10 18:47 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
