The de Jongh property for Basic Arithmetic (English)
- New search for: Ardeshir, Mohammad
- New search for: Mojtahedi, S. Mojtaba
- New search for: Ardeshir, Mohammad
- New search for: Mojtahedi, S. Mojtaba
In:
Archive for Mathematical Logic
;
53
, 7
;
881-895
;
2014
- Article (Journal) / Electronic Resource
-
Title:The de Jongh property for Basic Arithmetic
-
Contributors:Ardeshir, Mohammad ( author ) / Mojtahedi, S. Mojtaba ( author )
-
Published in:Archive for Mathematical Logic ; 53, 7 ; 881-895
-
Publisher:
- New search for: Springer Berlin Heidelberg
-
Place of publication:Berlin/Heidelberg
-
Publication date:2014-08-08
-
Size:15 pages
-
ISSN:
-
DOI:
-
Type of media:Article (Journal)
-
Type of material:Electronic Resource
-
Language:English
-
Keywords:
-
Source:
Table of contents – Volume 53, Issue 7
The tables of contents are generated automatically and are based on the data records of the individual contributions available in the index of the TIB portal. The display of the Tables of Contents may therefore be incomplete.
- 731
-
On the separation of regularity properties of the realsLaguzzi, Giorgio et al. | 2014
- 749
-
Good and bad points in scalesLambie-Hanson, Chris et al. | 2014
- 779
-
Admissibility and refutation: some characterisations of intermediate logicsGoudsmit, Jeroen P. et al. | 2014
- 809
-
On idealized versions of $ Pr_{1} $(μ+, μ+, μ+, cf(μ))Eisworth, Todd et al. | 2014
- 825
-
On a variant of Rado’s selection lemma and its equivalence with the Boolean prime ideal theoremHoward, Paul / Tachtsis, Eleftherios et al. | 2014
- 835
-
Weak theories of concatenation and minimal essentially undecidable theoriesHiguchi, Kojiro / Horihata, Yoshihiro et al. | 2014
- 855
-
From hierarchies to well-foundednessFlumini, Dandolo / Sato, Kentaro et al. | 2014
- 865
-
Natural factors of the Medvedev lattice capturing IPCKuyper, Rutger et al. | 2014
- 881
-
The de Jongh property for Basic ArithmeticArdeshir, Mohammad / Mojtahedi, S. Mojtaba et al. | 2014
- 897
-
Linear model theory for Lipschitz structuresBagheri, Seyed-Mohammad et al. | 2014
- 929
-
Simple types in discretely ordered structuresIlić, Dejan et al. | 2014
- 949
-
On the complexity of the closed fragment of Japaridze’s provability logicPakhomov, Fedor et al. | 2014