The number of countable models in realizability toposes

DOI10.1016/J.JPAA.2012.02.037MaRDI QIDQ456878zbMATH OpenOpenAlexFDO

Authors Nathanael Ackerman

Publication date 16 October 2012

Published in Journal of Pure and Applied Algebra (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.jpaa.2012.02.037

zbMATH Keywords

perfect setfirst-order theorynumber of countable modelsrealizability topos

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20) Categorical logic, topoi (03G30) Topoi (18B25) Model theory of denumerable and separable structures (03C15) Nonclassical models (Boolean-valued, sheaf, etc.) (03C90)

Recommendations

• scientific article; zbMATH DE number 5960295
• scientific article; zbMATH DE number 1069962
• scientific article; zbMATH DE number 3896909
• Sheaf toposes for realizability
• Extensional realizability

Cites work

• scientific article; zbMATH DE number 3645093 (Why is no real title available?)
• scientific article; zbMATH DE number 1216133 (Why is no real title available?)
• scientific article; zbMATH DE number 722611 (Why is no real title available?)
• scientific article; zbMATH DE number 3183991 (Why is no real title available?)
• First order categorical logic. Model-theoretical methods in the theory of topoi and related categories
• Model theory for infinitary logic. Logic with countable conjunctions and finite quantifiers
• Realizability. An introduction to its categorical side
• Sheaves in geometry and logic: a first introduction to topos theory
• The number of countable models
• Tripos theory in retrospect

Cited in

(4)

• Subcountability under realizability
• Encoding complete metric structures by classical structures
• scientific article; zbMATH DE number 3896909 (Why is no real title available?)
• Σ-Definability of countable structures over real numbers, complex numbers, and quaternions

This page was built for publication: The number of countable models in realizability toposes

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