Found: 25
Select item for more details and to access through your institution.
The natural numbers in constructive set theory.
- Published in:
- Mathematical Logic Quarterly, 2008, v. 54, n. 1, p. 83, doi. 10.1002/malq.200710036
- By:
- Publication type:
- Article
A note on Bar Induction in Constructive Set Theory.
- Published in:
- Mathematical Logic Quarterly, 2006, v. 52, n. 3, p. 253, doi. 10.1002/malq.200510030
- By:
- Publication type:
- Article
On the regular extension axiom and its variants.
- Published in:
- Mathematical Logic Quarterly, 2003, v. 49, n. 5, p. 511, doi. 10.1002/malq.200310054
- By:
- Publication type:
- Article
Kripke-Platek Set Theory and the Anti-Foundation Axiom.
- Published in:
- Mathematical Logic Quarterly, 2001, v. 47, n. 4, p. 435, doi. 10.1002/1521-3870(200111)47:4<435::AID-MALQ435>3.0.CO;2-7
- By:
- Publication type:
- Article
The Recursively Mahlo Property in Second Order Arithmetic.
- Published in:
- Mathematical Logic Quarterly, 1996, v. 42, n. 1, p. 59, doi. 10.1002/malq.19960420106
- By:
- Publication type:
- Article
How to develop Proof-Theoretic Ordinal Functions on the basis of admissible ordinals.
- Published in:
- Mathematical Logic Quarterly, 1993, v. 39, n. 1, p. 47, doi. 10.1002/malq.19930390107
- By:
- Publication type:
- Article
Preservation of choice principles under realizability.
- Published in:
- Logic Journal of the IGPL, 2019, v. 27, n. 5, p. 746, doi. 10.1093/jigpal/jzz002
- By:
- Publication type:
- Article
Ordinal notation systems corresponding to Friedman's linearized well-partial-orders with gap-condition.
- Published in:
- Archive for Mathematical Logic, 2017, v. 56, n. 5/6, p. 607, doi. 10.1007/s00153-017-0559-2
- By:
- Publication type:
- Article
An order-theoretic characterization of the Howard-Bachmann-hierarchy.
- Published in:
- Archive for Mathematical Logic, 2017, v. 56, n. 1/2, p. 79, doi. 10.1007/s00153-016-0515-6
- By:
- Publication type:
- Article
Well-partial-orderings and the big Veblen number.
- Published in:
- Archive for Mathematical Logic, 2015, v. 54, n. 1/2, p. 193, doi. 10.1007/s00153-014-0408-5
- By:
- Publication type:
- Article
Lifschitz realizability for intuitionistic Zermelo-Fraenkel set theory.
- Published in:
- Archive for Mathematical Logic, 2012, v. 51, n. 7/8, p. 789, doi. 10.1007/s00153-012-0299-2
- By:
- Publication type:
- Article
Extensional realizability for intuitionistic set theory.
- Published in:
- Journal of Logic & Computation, 2021, v. 31, n. 2, p. 630, doi. 10.1093/logcom/exaa087
- By:
- Publication type:
- Article
Power Kripke–Platek set theory and the axiom of choice.
- Published in:
- Journal of Logic & Computation, 2020, v. 30, n. 1, p. 447, doi. 10.1093/logcom/exaa020
- By:
- Publication type:
- Article
A note on the theory of positive induction, $${{\rm ID}^*_1}$$.
- Published in:
- Archive for Mathematical Logic, 2010, v. 49, n. 2, p. 275, doi. 10.1007/s00153-009-0168-9
- By:
- Publication type:
- Article
An ordinal analysis for theories of self-referential truth.
- Published in:
- Archive for Mathematical Logic, 2010, v. 49, n. 2, p. 213, doi. 10.1007/s00153-009-0170-2
- By:
- Publication type:
- Article
An ordinal analysis of parameter free ?<sup>1</sup><sub>2</sub>-comprehension.
- Published in:
- Archive for Mathematical Logic, 2005, v. 44, n. 3, p. 263, doi. 10.1007/s00153-004-0232-4
- By:
- Publication type:
- Article
An ordinal analysis of stability.
- Published in:
- Archive for Mathematical Logic, 2005, v. 44, n. 1, p. 1, doi. 10.1007/s00153-004-0226-2
- By:
- Publication type:
- Article
Realizing Mahlo set theory in type theory.
- Published in:
- Archive for Mathematical Logic, 2003, v. 42, n. 1, p. 89, doi. 10.1007/s00153-002-0159-6
- By:
- Publication type:
- Article
A note on the Σ[sub 1] spectrum of a theory.
- Published in:
- Archive for Mathematical Logic, 2002, v. 41, n. 1, p. 33
- By:
- Publication type:
- Article
The strength of Martin-Löf type theory with a superuniverse. Part II.
- Published in:
- Archive for Mathematical Logic, 2001, v. 40, n. 3, p. 207, doi. 10.1007/s001530000051
- By:
- Publication type:
- Article
The strength of Martin-Löf type theory with a superuniverse. Part I.
- Published in:
- Archive for Mathematical Logic, 2000, v. 39, n. 1, p. 1, doi. 10.1007/s001530050001
- By:
- Publication type:
- Article
LIFSCHITZ REALIZABILITY AS A TOPOLOGICAL CONSTRUCTION.
- Published in:
- Journal of Symbolic Logic, 2020, v. 85, n. 4, p. 1342, doi. 10.1017/jsl.2021.1
- By:
- Publication type:
- Article
INDEFINITENESS IN SEMI-INTUITIONISTIC SET THEORIES: ON A CONJECTURE OF FEFERMAN.
- Published in:
- Journal of Symbolic Logic, 2016, v. 81, n. 2, p. 742, doi. 10.1017/jsl.2015.55
- By:
- Publication type:
- Article
INDUCTIVE AND COINDUCTIVE TOPOLOGICAL GENERATION WITH CHURCH'S THESIS AND THE AXIOM OF CHOICE.
- Published in:
- Logical Methods in Computer Science (LMCS), 2022, v. 18, n. 4, p. 1, doi. 10.46298/LMCS-18(4:5)2022
- By:
- Publication type:
- Article
A REALIZABILITY SEMANTICS FOR INDUCTIVE FORMAL TOPOLOGIES, CHURCH'S THESIS AND AXIOM OF CHOICE.
- Published in:
- Logical Methods in Computer Science (LMCS), 2021, v. 17, n. 2, p. 1, doi. 10.23638/LMCS-17(2:21)2021
- By:
- Publication type:
- Article