Models with compactness properties relative to an admissible language
From MaRDI portal
(Redirected from Publication:4154547)
Cited in
(27)- Bootstrapping. I
- Unifying the model theory of first-order and second-order arithmetic via \(\mathrm{WKL}_0^\ast\)
- New axiomatizations for logics with generalized quantifiers
- Classification from a Computable Viewpoint
- An example related to Gregory's theorem
- A Spector-Gandy theorem for cPCd() classes
- Polish Group Actions and the Vaught Conjecture
- Applications of Fodor's lemma to Vaught's conjecture
- Well quasi-orderings and roots of polynomials in a Hahn field
- A new proof of Ajtai's completeness theorem for nonstandard finite structures
- Recursively saturated nonstandard models of arithmetic
- Hanf number for Scott sentences of computable structures
- Transplendent models: expansions omitting a type
- Π11 relations and paths through
- Generalized reduction theorems for model-theoretic analogs of the class of coanalytic sets
- Automorphisms of countable recursively saturated models of PA: A survey
- A Tree Argument in Infinitary Model Theory
- Game sentences, recursive saturation and definability
- A Transfer Principle for Simple Properties of Theories
- An example concerning Scott heights
- Algebraic independence
- Refinements of Vaught's normal from theorem
- Recursively Saturated Models of Set Theory
- Classes of Ulm type and coding rank-homogeneous trees in other structures
- Barwise: Infinitary Logic and Admissible Sets
- Resplendent models and \({\Sigma_1^1}\)-definability with an oracle
- Condensable models of set theory
This page was built for publication: Models with compactness properties relative to an admissible language
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4154547)
