The number of countable models in realizability toposes

DOI10.1016/J.JPAA.2012.02.037zbMath1269.03061OpenAlexW2126284009MaRDI QIDQ456878

Nathanael Leedom 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

first-order theoryperfect setnumber of countable modelsrealizability topos

Mathematics Subject Classification ID

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

Related Items (1)

Encoding complete metric structures by classical structures

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Realizability. An introduction to its categorical side
• Sheaves in geometry and logic: a first introduction to topos theory
• 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
• Tripos theory in retrospect
• The number of countable models

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