Model-interpretability into trees and applications

Archive for Mathematical Logic 17 (3-4):97-104 (1975)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Add categories

Keywords

Reprint years

DOI

10.1007/bf02276797

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 100,290

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

A theory of local negation: The model and some applications.Yvon Gauthier - 1985 - Archive for Mathematical Logic 25 (1):127-143.
Iterated trees and fragments of arithmetic.Yue Yang - 1995 - Archive for Mathematical Logic 34 (2):97-112.
Two applications of finite side conditions at omega _2.Itay Neeman - 2017 - Archive for Mathematical Logic 56 (7-8):983-1036.
The tree property at successors of singular cardinals.Menachem Magidor & Saharon Shelah - 1996 - Archive for Mathematical Logic 35 (5-6):385-404.
VC-density for trees.Anton Bobkov - 2019 - Archive for Mathematical Logic 58 (5-6):587-603.
Results on the Generic Kurepa Hypothesis.R. B. Jensen & K. Schlechta - 1990 - Archive for Mathematical Logic 30 (1):13-27.
Partitions of trees and $${{\sf ACA}^\prime_{0}}$$.Bernard A. Anderson & Jeffry L. Hirst - 2009 - Archive for Mathematical Logic 48 (3-4):227-230.
The unprovability of small inconsistency.Albert Visser - 1993 - Archive for Mathematical Logic 32 (4):275-298.
Further applications of ultra-conservative ω-rules.E. G. K. López-Escobar - 1980 - Archive for Mathematical Logic 22 (3-4):89-102.
On the spectra of cardinalities of branches of Kurepa trees.Márk Poór - 2021 - Archive for Mathematical Logic 60 (7):927-966.

Analytics

Added to PP
2020-12-03

Downloads
7 (#1,630,295)

6 months
3 (#1,465,011)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

The structure of the models of decidable monadic theories of graphs.D. Seese - 1991 - Annals of Pure and Applied Logic 53 (2):169-195.

Add more citations

References found in this work

No references found.

Add more references