Global and local admissibility: II. Major subsets and automorphisms

Annals of Pure and Applied Logic 24 (2):99-111 (1983)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/0168-0072(83)90027-1

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,932

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

The intervals of the lattice of recursively enumerable sets determined by major subsets.Wolfgang Maass & Michael Stob - 1983 - Annals of Pure and Applied Logic 24 (2):189-212.
Admissibility spectra and minimality.Robert S. Lubarsky - 1988 - Annals of Pure and Applied Logic 40 (3):257-276.
Automorphisms of substructure lattices in recursive algebra.David R. Guichard - 1983 - Annals of Pure and Applied Logic 25 (1):47-58.
The structure of random automorphisms of the random graph.Udayan B. Darji, Márton Elekes, Kende Kalina, Viktor Kiss & Zoltán Vidnyánszky - 2022 - Annals of Pure and Applied Logic 173 (9):103152.
Recursive automorphisms of recursive linear orderings.Steven Schwarz - 1984 - Annals of Pure and Applied Logic 26 (1):69-73.
Automorphisms of models of set theory and extensions of NFU.Zachiri McKenzie - 2015 - Annals of Pure and Applied Logic 166 (5):601-638.
Constructive characterizations of bar subsets.Silvio Valentini - 2007 - Annals of Pure and Applied Logic 145 (3):368-378.
On the existence of skinny stationary subsets.Yo Matsubara, Hiroshi Sakai & Toshimichi Usuba - 2019 - Annals of Pure and Applied Logic 170 (5):539-557.
Admissibility of Π2-Inference Rules: interpolation, model completion, and contact algebras.Nick Bezhanishvili, Luca Carai, Silvio Ghilardi & Lucia Landi - 2023 - Annals of Pure and Applied Logic 174 (1):103169.
Orbits of subsets of the monster model and geometric theories.Enrique Casanovas & Luis Jaime Corredor - 2017 - Annals of Pure and Applied Logic 168 (12):2152-2163.

Analytics

Added to PP
2014-01-16

Downloads
13 (#1,041,990)

6 months
13 (#276,301)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

The α-finite injury method.G. E. Sacks & S. G. Simpson - 1972 - Annals of Mathematical Logic 4 (4):343-367.
Hyperhypersimple α-r.e. sets.C. T. Chong & M. Lerman - 1976 - Annals of Mathematical Logic 9 (1-2):1-48.
The alpha-finite injury method.G. E. Sacks - 1972 - Annals of Mathematical Logic 4 (4):343.
Types of simple α-recursively enumerable sets.Manuel Lerman - 1976 - Journal of Symbolic Logic 41 (2):419-426.
Types of simple α-recursively enumerable sets.Anne Leggett & Richard A. Shore - 1976 - Journal of Symbolic Logic 41 (3):681-694.

View all 7 references / Add more references