Admissible Sets and Structures

DOI10.1017/9781316717196MaRDI QIDQ5274793zbMATH OpenOpenAlexFDO

Authors Jon Barwise

Publication date 6 July 2017

Full work available at URL https://doi.org/10.1017/9781316717196

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Computability and recursion theory on ordinals, admissible sets, etc. (03D60) Other infinitary logic (03C75) Large cardinals (03E55) Logic on admissible sets (03C70)

Recommendations

• scientific article; zbMATH DE number 1420850
• scientific article; zbMATH DE number 4039890
• scientific article; zbMATH DE number 3995659
• TOWARDS A THEORY OF DEFINABLE SETS
• scientific article; zbMATH DE number 5165178
• New Computational Paradigms
• Definable Sets in Generic Structures and their Cardinalities
• scientific article; zbMATH DE number 3979051
• On the inner constructivizability of admissible sets
• Definable Sets in Ordered Structures. I

Cited in

(23)

• Ordinal definability and recursion theory. The Cabal Seminar, Vol. III. Reprints of papers and new material based on the Los Angeles Caltech-UCLA Logic Cabal Seminar 1976--1985
• scientific article; zbMATH DE number 3979051 (Why is no real title available?)
• Mathematical foundations of consciousness
• All melodies are lost -- recognizability for weak and strong -register machines
• Bounded symbiosis and upwards reflection
• Almost sure OTM-realizability
• Classes of Polish spaces under effective Borel isomorphism
• Semi admissible sets
• Set-theoretic reflection is equivalent to induction over well-founded classes
• Bounds on continuous Scott rank
• TOWARDS A THEORY OF DEFINABLE SETS
• scientific article; zbMATH DE number 4057496 (Why is no real title available?)
• scientific article; zbMATH DE number 1420850 (Why is no real title available?)
• Genericity and randomness with ITTMs
• Reflection principles and second-order choice principles with urelements
• Relativized Grothendieck topoi
• Determinacy in the difference hierarchy of co-analytic sets
• New Computational Paradigms
• A robuster Scott rank
• Solving discontinuous initial value problems with unique solutions is equivalent to computing over the transfinite
• Barwise: Infinitary Logic and Admissible Sets
• Spectral spaces of countable abelian lattice-ordered groups
• scientific article; zbMATH DE number 5165178 (Why is no real title available?)

This page was built for publication: Admissible Sets and Structures

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5274793)