default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDThe Journal of Symbolic Logic, Volume 75
Volume 75, Number 1, March 2010
- Paola D'Aquino
, Julia F. Knight, Sergei Starchenko:
Real closed fields and models of Peano arithmetic. 1-11 - Byunghan Kim:
Recovering the hyperdefinable group action in the group configuration theorem. 12-24 - Thomas Blossier, Elisabeth Bouscaren:
Finitely axiomatizable strongly minimal groups. 25-50 - Jakob Kellner, Saharon Shelah:
A Sacks real out of nowhere. 51-76 - Masahiro Hamano, Ryo Takemura:
A phase semantics for polarized linear logic and second order conservativity. 77-102 - Bjørn Kjos-Hanssen, Richard A. Shore:
Lattice initial segments of the hyperdegrees. 103-130 - Asher M. Kach, Daniel Turetsky:
Limitwise monotonic functions, sets, and degrees on computable domains. 131-154 - Ryota Akiyoshi:
Tait's conservative extension theorem revisited. 155-167 - Arthur Paul Pedersen, Itay Ben-Yaacov:
A proof of completeness for continuous first-order logic. 168-190 - Johanna N. Y. Franklin:
Schnorr triviality and genericity. 191-207 - Pantelis E. Eleftheriou:
Groups definable in linear o-minimal structures: the non-compact case. 208-220 - John Goodrick:
A monotonicity theorem for dp-minimal densely ordered groups. 221-238 - Yijia Chen, Jörg Flum:
On the complexity of Gödel's proof predicate. 239-254 - Marianne Morillon:
Notions of compactness for special subsets of RI and some weak forms of the axiom of choice. 255-268 - Greg Hjorth:
Uniquely undefinable elements. 269-274 - Elías Baro:
Normal triangulations in o-minimal structures. 275-288 - Harold Simmons:
The Ackermann functions are not optimal, but by how much? 289-313 - Arthur W. Apter, Grigor Sargsyan:
An equiconsistency for universal indestructibility. 314-322 - Luca Motto Ros:
Baire reductions and good Borel reducibilities. 323-345 - Bruno Poizat:
Groups of small Cantor rank. 346-354 - Jaime Gaspar, Ulrich Kohlenbach:
On Tao's "finitary" infinite pigeonhole principle. 355-371 - Krzysztof Krupinski:
Fields interpretable in superrosy groups with NIP (the non-solvable case). 372-386 - George Barmpalias, Andrew E. M. Lewis, Keng Meng Ng:
The importance of Pi01 classes in effective randomness. 387-400
Volume 75, Number 2, June 2010
- Marat M. Arslanov, Iskander Sh. Kalimullin, Steffen Lempp:
On Downey's conjecture. 401-441 - Ehud Hrushovski, James Loveys:
Strongly and co-strongly minimal abelian structures. 442-458 - Eugenio G. Omodeo, Alberto Policriti:
The Bernays-Schönfinkel-Ramsey class for set theory: semidecidability. 459-480 - Markus Junker, Jochen Koenigsmann:
Schlanke Körper (Slim fields). 481-500 - Johanna N. Y. Franklin, Frank Stephan:
Schnorr trivial sets and truth-table reducibility. 501-521 - Thomas F. Kent:
Interpreting true arithmetic in the Delta02-enumeration degrees. 522-550 - Jonathan Kirby:
On quasiminimal excellent classes. 551-564 - Giorgi Japaridze:
Towards applied theories based on computability logic. 565-601 - Dieter Spreen:
Effectivity and effective continuity of multifunctions. 602-640 - Moti Gitik:
On changing cofinality of partially ordered sets. 641-660 - Michael Hrusák, David Meza-Alcántara, Hiroaki Minami:
Pair-splitting, pair-reaping and cardinal invariants of Fsigma-ideals. 661-677 - Dietrich Kuske, Markus Lohrey:
Some natural decision problems in automatic graphs. 678-710 - Richard Ketchersid, Paul B. Larson, Jindrich Zapletal:
Regular embeddings of the stationary tower and Woodin's Sigma22 maximality theorem. 711-727 - Bakhadyr Khoussainov, Antonio Montalbán:
A computable Alef0-categorical structure whose theory computes true arithmetic. 728-740 - Fares Maalouf:
Espaces vectoriels C-minimaux. 741-758 - Patrícia Engrácia, Fernando Ferreira:
The bounded functional interpretation of the double negation shift. 759-773 - Jan Krajícek:
A form of feasible interpolation for constant depth Frege systems. 774-784
Volume 75, Number 3, September 2010
- Luis Miguel Villegas-Silva:
The two-cardinal problem for languages of arbitrary cardinality. 785-801 - Ali Bleybel:
p-adically closed fields with nonstandard analytic structure. 802-816 - Itaï Ben Yaacov:
Definability of groups in Alef0-stable metric structures. 817-840 - Roman Wencel:
Topological properties of sets definable in weakly o-minimal structures. 841-867 - Jaroslav Nesetril, Patrice Ossona de Mendez:
First order properties on nowhere dense structures. 868-887 - Inge Bethke, Piet Rodenburg:
The initial meadows. 888-895 - Pawel Kawa, Janusz Pawlikowski:
Extending Baire property by uncountably many sets. 896-904 - John Goodrick, Alexei S. Kolesnikov:
Groupoids, covers, and 3-uniqueness in stable theories. 905-929 - Douglas S. Bridges, Matthew Hendtlass:
Continuous isomorphisms from R onto a complete abelian group. 930-944 - Jared Corduan, Marcia J. Groszek, Joseph R. Mileti:
Reverse mathematics and Ramsey's property for trees. 945-954 - Carlo Toffalori, Kathryn Vozoris:
On complex exponentiation restricted to the integers. 955-970 - Karen M. Lange:
A characterization of the 0-basis homogeneous bounding degrees. 971-995 - Kyriakos Keremedis, Eleftherios Tachtsis:
Products of some special compact spaces and restricted forms of AC. 996-1006 - Luc Bélair, Françoise Point:
Quantifier elimination in valued Ore modules. 1007-1034 - Assaf Rinot:
A relative of the approachability ideal, diamond and non-saturation. 1035-1065 - Arthur W. Apter, Peter Koepke:
The consistency strength of choiceless failures of SCH. 1066-1080 - Christian Rosendal:
Universally measurable subgroups of countable index. 1081-1086 - Vinicius Cifú Lopes, Lou van den Dries:
Division rings whose vector spaces are pseudofinite. 1087-1090 - Su Gao, Steve Jackson, Vincent Kieftenbeld:
The {L}aczkovich - {K}omjáth property for coanalytic equivalence relations. 1091-1101 - Christian Herrmann:
On the equational theory of projection lattices of finite von Neumann factors. 1102-1110 - Itaï Ben Yaacov:
Stability and stable groups in continuous logic. 1111-1136
Volume 75, Number 4, December 2010
- Giovanni Curi:
On the existence of Stone-Cech compactification. 1137-1146 - Krzysztof Krupinski:
Generalizations of small profinite structures. 1147-1175 - Romain Grunert:
Directed free pseudospaces. 1176-1198 - Keita Yokoyama:
Formalizing non-standard arguments in second-order arithmetic. 1199-1210 - Assaf Hasson, Alf Onshuus:
Stable types in rosy theories. 1211-1230 - Karim Er-rhaimini, Boban Velickovic:
PCF structures of height less than omega3. 1231-1248 - Manuel Bodirsky, Hubie Chen, Michael Pinsker:
The reducts of equality up to primitive positive interdefinability. 1249-1292 - Tomek Bartoszynski, Saharon Shelah:
Dual Borel Conjecture and Cohen reals. 1293-1310 - Harvey Friedman, Krzysztof Kurdyka, Chris Miller, Patrick Speissegger:
Expansions of the real field by open sets: definability versus interpretability. 1311-1325 - Sergei Tupailo:
Consistency of strictly impredicative NF and a little more ... 1326-1338 - Matthew B. Giorgi:
A high c.e. degree which is not the join of two minimal degrees. 1339-1358 - Julien Melleray:
A note on Hjorth's oscillation theorem. 1359-1365 - James H. Schmerl:
Infinite substructure lattices of models of Peano Arithmetic. 1366-1382 - James Cummings, Matthew Foreman:
Diagonal Prikry extensions. 1383-1402 - Vera Fischer, Asger Törnquist:
A co-analytic maximal set of orthogonal measures. 1403-1414 - M. E. Malliaris:
The characteristic sequence of a first-order formula. 1415-1440 - Tom Foster:
Uniform model-completeness for the real field expanded by power functions. 1441-1461 - Alice Medvedev:
Grouplike minimal sets in ACFA and in TA. 1462-1488 - Alexander Rabinovich:
The full binary tree cannot be interpreted in a chain. 1489-1498
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 2025-01-21 20:04 CET 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:
