5570 results in Programming Languages and Applied Logic
Stabilization — an alternative to double-negation translation for classical natural deduction
- from RESEARCH ARTICLES
-
-
- Book:
- Logic Colloquium '03
- Published online:
- 30 March 2017
- Print publication:
- 02 March 2006, pp 167-199
-
- Chapter
- Export citation
Reals which compute little
-
-
- Book:
- Logic Colloquium '02
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2006, pp 261-275
-
- Chapter
- Export citation
Nonstandard objects in set theory
- from FOUNDATIONS
-
-
- Book:
- Nonstandard Methods and Applications in Mathematics
- Published online:
- 30 March 2017
- Print publication:
- 02 March 2006, pp 80-120
-
- Chapter
- Export citation
PURE MATHEMATICS
-
- Book:
- Nonstandard Methods and Applications in Mathematics
- Published online:
- 30 March 2017
- Print publication:
- 02 March 2006, pp 121-122
-
- Chapter
- Export citation
Dimension theory inside a homogeneous model
-
-
- Book:
- Logic Colloquium '02
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2006, pp 230-260
-
- Chapter
- Export citation
Ibn-Sina's anticipation of the formulas of Buridan and Barcan
-
-
- Book:
- Logic in Tehran
- Published online:
- 30 March 2017
- Print publication:
- 02 March 2006, pp 248-255
-
- Chapter
- Export citation
Descriptive set theory and uncountable model theory
- from RESEARCH ARTICLES
-
-
- Book:
- Logic Colloquium '03
- Published online:
- 30 March 2017
- Print publication:
- 02 March 2006, pp 133-145
-
- Chapter
- Export citation
Neoclosed forcing
- from FOUNDATIONS
-
-
- Book:
- Nonstandard Methods and Applications in Mathematics
- Published online:
- 30 March 2017
- Print publication:
- 02 March 2006, pp 45-79
-
- Chapter
- Export citation
A simple positive Robinson theory with LSTP ≠ STP
-
-
- Book:
- Logic in Tehran
- Published online:
- 30 March 2017
- Print publication:
- 02 March 2006, pp 270-283
-
- Chapter
- Export citation
Logic in Tehran
-
- Published online:
- 30 March 2017
- Print publication:
- 02 March 2006
Dense subfields of henselian fields, and integer parts
-
-
- Book:
- Logic in Tehran
- Published online:
- 30 March 2017
- Print publication:
- 02 March 2006, pp 204-226
-
- Chapter
- Export citation
Loeb space methods for stochastic Navier-Stokes equations
- from APPLIED MATHEMATICS
-
-
- Book:
- Nonstandard Methods and Applications in Mathematics
- Published online:
- 30 March 2017
- Print publication:
- 02 March 2006, pp 195-223
-
- Chapter
- Export citation
Bisimulation invariance and finite models
-
-
- Book:
- Logic Colloquium '02
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2006, pp 276-298
-
- Chapter
- Export citation
Consistency and games— in search of new combinatorial principles
- from RESEARCH ARTICLES
-
-
- Book:
- Logic Colloquium '03
- Published online:
- 30 March 2017
- Print publication:
- 02 March 2006, pp 244-281
-
- Chapter
- Export citation
Real closed fields and IP-sensitivity
-
-
- Book:
- Logic in Tehran
- Published online:
- 30 March 2017
- Print publication:
- 02 March 2006, pp 1-22
-
- Chapter
- Export citation
Indestructibility and strong compactness
- from RESEARCH ARTICLES
-
-
- Book:
- Logic Colloquium '03
- Published online:
- 30 March 2017
- Print publication:
- 02 March 2006, pp 27-37
-
- Chapter
- Export citation
Nonstandard analysis at pre-university level: Naive magnitude analysis
- from TEACHING
-
-
- Book:
- Nonstandard Methods and Applications in Mathematics
- Published online:
- 30 March 2017
- Print publication:
- 02 March 2006, pp 235-248
-
- Chapter
- Export citation
Abstract versus concrete computability: the case of countable algebras
- from RESEARCH ARTICLES
-
-
- Book:
- Logic Colloquium '03
- Published online:
- 30 March 2017
- Print publication:
- 02 March 2006, pp 377-408
-
- Chapter
- Export citation
Martin-Löf random and PA-complete sets
-
-
- Book:
- Logic Colloquium '02
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2006, pp 342-348
-
- Chapter
- Export citation
APPLIED MATHEMATICS
-
- Book:
- Nonstandard Methods and Applications in Mathematics
- Published online:
- 30 March 2017
- Print publication:
- 02 March 2006, pp 193-194
-
- Chapter
- Export citation