Models of weak theories of truth (English)
Free access
- New search for: Łełyk, Mateusz
- New search for: Wcisło, Bartosz
- New search for: Łełyk, Mateusz
- New search for: Wcisło, Bartosz
In:
Archive for Mathematical Logic
;
56
, 5
;
453-474
;
2017
- Article (Journal) / Electronic Resource
-
Title:Models of weak theories of truth
-
Contributors:Łełyk, Mateusz ( author ) / Wcisło, Bartosz ( author )
-
Published in:Archive for Mathematical Logic ; 56, 5 ; 453-474
-
Publisher:
- New search for: Springer Berlin Heidelberg
-
Place of publication:Berlin/Heidelberg
-
Publication date:2017-04-22
-
Size:22 pages
-
ISSN:
-
DOI:
-
Type of media:Article (Journal)
-
Type of material:Electronic Resource
-
Language:English
-
Keywords:
-
Source:
Table of contents – Volume 56, Issue 5
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.
- 453
-
Models of weak theories of truthŁełyk, Mateusz / Wcisło, Bartosz et al. | 2017
- 475
-
A logic for arguing about probabilities in measure teamsHyttinen, Tapani / Paolini, Gianluca / Väänänen, Jouko et al. | 2017
- 491
-
The reverse mathematics of non-decreasing subsequencesPatey, Ludovic et al. | 2017
- 507
-
Bounded low and high setsAnderson, Bernard A. / Csima, Barbara F. / Lange, Karen M. et al. | 2017
- 523
-
A herbrandized functional interpretation of classical first-order logicFerreira, Fernando / Ferreira, Gilda et al. | 2017
- 541
-
Minimal elementary end extensionsSchmerl, James H. et al. | 2017
- 555
-
Interpretability suprema in Peano ArithmeticHenk, Paula / Visser, Albert et al. | 2017
- 585
-
A predicate extension of real valued logicBaratella, Stefano et al. | 2017
- 607
-
Ordinal notation systems corresponding to Friedman’s linearized well-partial-orders with gap-conditionRathjen, Michael / Van der Meeren, Jeroen / Weiermann, Andreas et al. | 2017
- 639
-
Uniform proofs of ACC representationsBuss, Sam et al. | 2017
- 671
-
Saturation and solvability in abstract elementary classes with amalgamationVasey, Sebastien et al. | 2017
- 691
-
A null ideal for inaccessiblesFriedman, Sy-David / Laguzzi, Giorgio et al. | 2017
- 699
-
The strength of countable saturationvan den Berg, Benno / Briseid, Eyvind / Safarik, Pavol et al. | 2017