Logic in Tehran
Latest Publications

TOTAL DOCUMENTS

19
(FIVE YEARS 0)

H-INDEX

2
(FIVE YEARS 0)

Published By Cambridge University Press

9781316755747
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

A simple positive Robinson theory with LSTP ≠ STP

2017 ◽  
pp. 270-283
Author(s):  
Massoud Pourmahdian ◽  
Frank Wagner

Beatty sequences and the arithmetical hierarchy

2017 ◽  
pp. 126-133
Author(s):  
Mehdi Ghasemi ◽  
Mojtaba Moniri
Keyword(s):  
Arithmetical Hierarchy ◽  
Beatty Sequences

Preface

2017 ◽  
pp. vii-viii
Author(s):  
Ali Enayat ◽  
Iraj Kalantari ◽  
Mojtaba Moniri

scholarly journals Dense subfields of henselian fields, and integer parts

2017 ◽  
pp. 204-226
Author(s):  
Franz-Viktor Kuhlmann

Real closed fields and IP-sensitivity

2017 ◽  
pp. 1-22
Author(s):  
Seyed Masih Ayat ◽  
Mojtaba Moniri
Keyword(s):  
Real Closed Fields ◽  
Closed Fields

scholarly journals Additive polynomials and their role in the model theory of valued fields

2017 ◽  
pp. 160-203 ◽  
Author(s):  
Franz-Viktor Kuhlmann
Keyword(s):  
Model Theory ◽  
Valued Fields

scholarly journals Primes and irreducibles in truncation integer parts of real closed fields

2017 ◽  
pp. 42-64 ◽  
Author(s):  
Darko Biljakovic ◽  
Mikhail Kochetov ◽  
Salma Kuhlmann
Keyword(s):  
Real Closed Fields ◽  
Closed Fields

A recursive nonstandard model for open induction with GCD property and cofinal primes

2017 ◽  
pp. 227-238 ◽  
Author(s):  
Shahram Mohsenipour
Keyword(s):  
Nonstandard Model ◽  
Open Induction

On explicit definability in arithmetic

2017 ◽  
pp. 65-86
Author(s):  
Lou van den Dries
Load More ...
Sign in / Sign up

Export Citation Format

Share Document