Model theory of special subvarieties and Schanuel-type conjectures

Annals of Pure and Applied Logic 167 (10):1000-1028 (2016)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.apal.2015.02.002

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,654

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Consequences of Schanuel's condition for zeros of exponential terms.Helmut Wolter - 1993 - Mathematical Logic Quarterly 39 (1):559-565.
Some remarks on Schanuel's conjecture.Ricardo Bianconi - 2001 - Annals of Pure and Applied Logic 108 (1-3):15-18.
On the theory of relations based on the theory of objects.S. Kaczorowski - 1962 - Studia Logica 13 (1):37-38.
Uniting model theory and the universalist tradition of logic: Carnap’s early axiomatics.Iris Loeb - 2014 - Synthese 191 (12):2815-2833.
Special Model Axiom in Nonstandard Set Theory.Vladimir Kanovei & Michael Reeken - 1999 - Mathematical Logic Quarterly 45 (3):371-384.
Notes on quasiminimality and excellence.John T. Baldwin - 2004 - Bulletin of Symbolic Logic 10 (3):334-366.
Combinatorial realizability models of type theory.Pieter Hofstra & Michael A. Warren - 2013 - Annals of Pure and Applied Logic 164 (10):957-988.
Logic in the 1930s: type theory and model theory.Georg Schiemer & Erich H. Reck - 2013 - Bulletin of Symbolic Logic 19 (4):433-472.
Externally compatible Abelian groups of the type (2,1,0).Krystyna Mruczek-Nasieniewska - 2006 - Logic and Logical Philosophy 15 (3):239-250.
Unlikely Intersections in Poincaré Biextensions over Elliptic Schemes.D. Bertrand - 2013 - Notre Dame Journal of Formal Logic 54 (3-4):365-375.
On the Cycle-Transitivity of the Dice Model.B. de Schuymer, H. de Meyer, B. de Baets & S. Jenei - 2003 - Theory and Decision 54 (3):261-285.
Some model-theoretic results in the algebraic theory of quadratic forms.Vincent Astier - 2001 - Annals of Pure and Applied Logic 112 (2-3):189-223.
Homotopy theoretic models of identity types.Steve Awodey & Michael A. Warren - unknown
The equivalence of NF-Style set theories with "tangled" theories; the construction of ω-models of predicative NF (and more).M. Randall Holmes - 1995 - Journal of Symbolic Logic 60 (1):178-190.
Natural models of homotopy type theory.Steve Awodey - unknown

Analytics

Added to PP
2016-06-30

Downloads
30 (#537,555)

6 months
2 (#1,206,551)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Ax–Schanuel for linear differential equations.Vahagn Aslanyan - 2018 - Archive for Mathematical Logic 57 (5-6):629-648.
Adequate predimension inequalities in differential fields.Vahagn Aslanyan - 2022 - Annals of Pure and Applied Logic 173 (1):103030.

Add more citations

References found in this work

A new strongly minimal set.Ehud Hrushovski - 1993 - Annals of Pure and Applied Logic 62 (2):147-166.
On quasiminimal excellent classes.Jonathan Kirby - 2010 - Journal of Symbolic Logic 75 (2):551-564.
Tame Topology and O-Minimal Structures.Lou van den Dries - 2000 - Bulletin of Symbolic Logic 6 (2):216-218.
Henson and Rubel's theorem for Zilber's pseudoexponentiation.Ahuva C. Shkop - 2012 - Journal of Symbolic Logic 77 (2):423-432.

View all 6 references / Add more references