5570 results in Programming Languages and Applied Logic
On explicit definability in arithmetic
-
-
- Book:
- Logic in Tehran
- Published online:
- 30 March 2017
- Print publication:
- 02 March 2006, pp 65-86
-
- Chapter
- Export citation
Ash's theorem for abstract structures
-
-
- Book:
- Logic Colloquium '02
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2006, pp 327-341
-
- Chapter
- Export citation
Choice principles in constructive and classical set theories
-
-
- Book:
- Logic Colloquium '02
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2006, pp 299-326
-
- Chapter
- Export citation
Generic absoluteness for Σ1 formulas and the continuum problem
-
-
- Book:
- Logic Colloquium '02
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2006, pp 1-27
-
- Chapter
- Export citation
TUTORIAL
-
- Book:
- Logic Colloquium '03
- Published online:
- 30 March 2017
- Print publication:
- 02 March 2006, pp 1-2
-
- Chapter
- Export citation
Geometry of interaction IV: the feedback equation
- from RESEARCH ARTICLES
-
-
- Book:
- Logic Colloquium '03
- Published online:
- 30 March 2017
- Print publication:
- 02 March 2006, pp 76-117
-
- Chapter
- Export citation
From bounded arithmetic to second order arithmetic via automorphisms
-
-
- Book:
- Logic in Tehran
- Published online:
- 30 March 2017
- Print publication:
- 02 March 2006, pp 87-113
-
- Chapter
- Export citation
Axioms of generic absoluteness
-
-
- Book:
- Logic Colloquium '02
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2006, pp 28-47
-
- Chapter
- Export citation
On local modularity in homogeneous structures
- from RESEARCH ARTICLES
-
-
- Book:
- Logic Colloquium '03
- Published online:
- 30 March 2017
- Print publication:
- 02 March 2006, pp 118-132
-
- Chapter
- Export citation
PCF theory and Woodin cardinals
-
-
- Book:
- Logic Colloquium '02
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2006, pp 172-205
-
- Chapter
- Export citation
Contents
-
- Book:
- Logic Colloquium '02
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2006, pp v-vi
-
- Chapter
- Export citation
Model theory of bounded arithmetic with applications to independence results
-
-
- Book:
- Logic in Tehran
- Published online:
- 30 March 2017
- Print publication:
- 02 March 2006, pp 239-247
-
- Chapter
- Export citation
Remarks on algebraic D-varieties and the model theory of differential fields
-
-
- Book:
- Logic in Tehran
- Published online:
- 30 March 2017
- Print publication:
- 02 March 2006, pp 256-269
-
- Chapter
- Export citation
Primes and irreducibles in truncation integer parts of real closed fields
-
-
- Book:
- Logic in Tehran
- Published online:
- 30 March 2017
- Print publication:
- 02 March 2006, pp 42-64
-
- Chapter
- Export citation
Learning and computing in the limit
-
-
- Book:
- Logic Colloquium '02
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2006, pp 349-359
-
- Chapter
- Export citation
Mathematical logic in Iran: A perspective
-
-
- Book:
- Logic in Tehran
- Published online:
- 30 March 2017
- Print publication:
- 02 March 2006, pp xiii-xvi
-
- Chapter
- Export citation
Additive polynomials and their role in the model theory of valued fields
-
-
- Book:
- Logic in Tehran
- Published online:
- 30 March 2017
- Print publication:
- 02 March 2006, pp 160-203
-
- Chapter
- Export citation
The microscopic behavior of measurable functions
- from PURE MATHEMATICS
-
-
- Book:
- Nonstandard Methods and Applications in Mathematics
- Published online:
- 30 March 2017
- Print publication:
- 02 March 2006, pp 123-126
-
- Chapter
- Export citation
Contents
-
- Book:
- Nonstandard Methods and Applications in Mathematics
- Published online:
- 30 March 2017
- Print publication:
- 02 March 2006, pp v-vi
-
- Chapter
- Export citation
Decidable properties of logical calculi and of varieties of algebras
- from RESEARCH ARTICLES
-
-
- Book:
- Logic Colloquium '03
- Published online:
- 30 March 2017
- Print publication:
- 02 March 2006, pp 146-166
-
- Chapter
- Export citation