Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDNotre Dame Journal of Formal Logic, Volume 54
Volume 54, Number 1, 2013
- Hunter Johnson:
dp-Rank and Forbidden Configurations. 1-13 - J. C. Beall, Thomas Forster, Jeremy Seligman
:
A Note on Freedom from Detachment in the Logic of Paradox. 15-20 - Daniel R. Patten:
Mereology on Topological and Convergence Spaces. 21-31 - Yun Lu:
Reducts of the Random Bipartite Graph. 33-46 - Samuel Alexander:
The First-Order Syntax of Variadic Functions. 47-59 - Wenyan Xu, Sanyang Liu:
The Parallel versus Branching Recurrences in Computability Logic. 61-78 - Florian Steinberger:
On the Equivalence Conjecture for Proof-Theoretic Harmony. 79-86 - Andrew Bacon:
A New Conditional for Naive Truth Theory. 87-104 - Stephen Binns, Marie Nicholson:
Compressibility and Kolmogorov Complexity. 105-123
Volume 54, Number 2, 2013
- Arthur W. Apter, Brent Cody:
Consecutive Singular Cardinals and the Continuum Function. 125-136 - Sy-David Friedman, Tapani Hyttinen, Martin Koerwien:
The Nonabsoluteness of Model Existence in Uncountable Cardinals for Lω1,ω. 137-151 - Michael J. Lieberman:
Rank Functions and Partial Stability Spectra for Tame Abstract Elementary Classes. 153-166 - James B. Nation:
Lattices of Theories in Languages without Equality. 167-175 - Torsten Hahmann, Michael Grüninger:
Complementation in Representable Theories of Region-Based Space. 177-214 - Barbara F. Csima, Johanna N. Y. Franklin, Richard A. Shore:
Degrees of Categoricity and the Hyperarithmetic Hierarchy. 215-231 - Chris J. Conidis, Noam Greenberg, Daniel Turetsky:
Galvin's "Racing Pawns" Game, Internal Hyperarithmetic Comprehension, and the Law of Excluded Middle. 233-252 - Pietro Galliani:
General Models and Entailment Semantics for Independence Logic. 253-275
Volume 54, Numbers 3-4, 2013
- Zoé Chatzidakis, David Marker, Amador Martin-Pizarro, Rahim Moosa, Sergei Starchenko:
Introduction. 277 - Matthias Aschenbrenner, Lou van den Dries, Joris van der Hoeven:
Toward a Model Theory for Transseries. 279-310 - Matthias Aschenbrenner, Alf Dolich, Deirdre Haskell, Dugald Macpherson, Sergei Starchenko:
Vapnik-Chervonenkis Density in Some Theories without the Independence Property, II. 311-363 - D. Bertrand:
Unlikely Intersections in Poincaré Biextensions over Elliptic Schemes. 365-375 - Jean-Benoît Bost:
Algebraization, Transcendence, and D-Group Schemes. 377-434 - Gareth Boxall, David Bradley-Williams, Charlotte Kestner, Alexandra Omar Aziz, Davide Penazzi:
Weak One-Basedness. 435-448 - Pantelis E. Eleftheriou, Ya'acov Peterzil:
Lattices in Locally Definable Subgroups of <Rn,+>. 449-461 - Ehud Hrushovski:
On Pseudo-Finite Dimensions. 463-495 - Byunghan Kim:
The Lascar Group and the Strong Types of Hyperimaginaries. 497-507 - Jonathan Kirby:
A Note on the Axioms for Zilber's Pseudo-Exponential Fields. 509-520 - Larsen Louder, Chloé Perin, Rizos Sklinos:
Hyperbolic Towers and Independent Generic Sets in the Theory of Free Groups. 521-539 - Daniel Palacín, Frank O. Wagner:
Elimination of Hyperimaginaries and Stable Independence in Simple CM-Trivial Theories. 541-551 - Jonathan Pila:
Modular Ax-Lindemann-Weierstrass with Derivatives. 553-565 - Anand Pillay:
Weight and Measure in NIP Theories. 567-578 - Damian Rössler:
Infinitely p-Divisible Points on Abelian Varieties Defined over Function Fields of Characteristic p > 0. 579-589 - Ahuva C. Shkop:
Real Closed Exponential Subfields of Pseudo-Exponential Fields. 591-601 - A. J. Wilkie:
Some Results and Problems on Complex Germs with Definable Mittag-Leffler Stars. 603-610
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-04-22 20:02 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:
