The number of countable models in realizability toposes

DOI10.1016/J.JPAA.2012.02.037zbMATH Open1269.03061OpenAlexW2126284009MaRDI QIDQ456878FDOQ456878

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

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

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)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Sheaves in geometry and logic: a first introduction to topos theory
• Title not available (Why is that?)
• Tripos theory in retrospect
• First order categorical logic. Model-theoretical methods in the theory of topoi and related categories
• Realizability. An introduction to its categorical side
• Model theory for infinitary logic. Logic with countable conjunctions and finite quantifiers
• Title not available (Why is that?)
• The number of countable models

Cited In (4)

• Subcountability under realizability
• Encoding complete metric structures by classical structures
• Title not available (Why is that?)
• Σ-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)