Normalisation and subformula property for a system of classical logic with Tarski’s rule (English)
Free access
- New search for: Kürbis, Nils
- Further information on Kürbis, Nils:
- https://orcid.org/http://orcid.org/0000-0002-3651-5458
- New search for: Kürbis, Nils
- Further information on Kürbis, Nils:
- https://orcid.org/http://orcid.org/0000-0002-3651-5458
In:
Archive for Mathematical Logic
;
61
, 1-2
;
105-129
;
2022
- Article (Journal) / Electronic Resource
-
Title:Normalisation and subformula property for a system of classical logic with Tarski’s rule
-
Additional title:Arch. Math. Logic
-
Contributors:Kürbis, Nils ( author )
-
Published in:Archive for Mathematical Logic ; 61, 1-2 ; 105-129
-
Publisher:
- New search for: Springer Berlin Heidelberg
-
Place of publication:Berlin/Heidelberg
-
Publication date:2022-02-01
-
Size:25 pages
-
ISSN:
-
DOI:
-
Type of media:Article (Journal)
-
Type of material:Electronic Resource
-
Language:English
- New search for: 03B05 / 03B10 / 03B20 / 03F05
- Further information on Mathematics Subject Classification
-
Keywords:
-
Classification:
-
Licence:
-
Source:
Table of contents – Volume 61, Issue 1-2
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.
- 1
-
The independence of $$\mathsf {GCH}$$ and a combinatorial principle related to Banach–Mazur gamesBrian, Will / Dow, Alan / Shelah, Saharon et al. | 2021
- 1
-
The independence of GCH and a combinatorial principle related to Banach–Mazur gamesBrian, Will / Dow, Alan / Shelah, Saharon et al. | 2022
- 19
-
Degree structures of conjunctive reducibilityChitaia, Irakli / Omanadze, Roland et al. | 2021
- 33
-
Small u(κ) at singular κ with compactness at κ++Honzik, Radek / Stejskalová, Šárka et al. | 2022
- 33
-
Small $$\mathfrak {u}(\kappa )$$ at singular $$\kappa $$ with compactness at $$\kappa ^{++}$$Honzik, Radek / Stejskalová, Šárka et al. | 2021
- 55
-
Representability and compactness for pseudopowersEisworth, Todd et al. | 2021
- 81
-
Does weak quasi-o-minimality behave better than weak o-minimality?Moconja, Slavko / Tanović, Predrag et al. | 2021
- 105
-
Normalisation and subformula property for a system of classical logic with Tarski’s ruleKürbis, Nils et al. | 2021
- 131
-
Rosenthal families, filters, and semifiltersRepický, Miroslav et al. | 2021
- 155
-
On Hilbert algebras generated by the orderCastiglioni, J. L. / Celani, S. A. / San Martín, H. J. et al. | 2021
- 173
-
Various forms of infinity for finitely supported structuresAlexandru, Andrei / Ciobanu, Gabriel et al. | 2021
- 223
-
A boundedness principle for the Hjorth rankDrucker, Ohad et al. | 2021
- 233
-
Sprague–Grundy theory in bounded arithmeticKuroda, Satoru et al. | 2021
- 263
-
First-order theories of bounded treesKellerman, Ruaan et al. | 2021