Sie befinden Sich nicht im Netzwerk der Universität Paderborn. Der Zugriff auf elektronische Ressourcen ist gegebenenfalls nur via VPN oder Shibboleth (DFN-AAI) möglich. mehr Informationen...
Sortiert nach
Open Access
    Datensatz exportieren als...
  • BibTeX
POINCARÉ–WEYL'S PREDICATIVITY: GOING BEYOND Γ0
The bulletin of symbolic logic, 2024-03, Vol.30 (1), p.41-91
2024
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
A WALK WITH GOODSTEIN
The bulletin of symbolic logic, 2024-03, Vol.30 (1), p.1-19
2024
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
TREE THEORY: INTERPRETABILITY BETWEEN WEAK FIRST-ORDER THEORIES OF TREES
The bulletin of symbolic logic, 2023-12, Vol.29 (4), p.465-502
2023
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
COMPUTABLY COMPACT METRIC SPACES
The bulletin of symbolic logic, 2023-06, Vol.29 (2), p.170-263
2023
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
CURRENT RESEARCH ON GÖDEL'S INCOMPLETENESS THEOREMS
The bulletin of symbolic logic, 2021-06, Vol.27 (2), p.113-167
2021
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
NOTES ON THE STABLE REGULARITY LEMMA
The bulletin of symbolic logic, 2021-12, Vol.27 (4), p.415-425
2021
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
CONSTRUCTING WADGE CLASSES
The bulletin of symbolic logic, 2022-06, Vol.28 (2), p.207-257
2022
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
ON THE EXISTENCE OF STRONG PROOF COMPLEXITY GENERATORS
The bulletin of symbolic logic, 2024-03, Vol.30 (1), p.20-40
2024
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
AN AXIOMATIC APPROACH TO FORCING IN A GENERAL SETTING
The bulletin of symbolic logic, 2022-09, Vol.28 (3), p.427-450
2022
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
CONSTRUCTING NONSTANDARD HULLS AND LOEB MEASURES IN INTERNAL SET THEORIES
The bulletin of symbolic logic, 2023-03, Vol.29 (1), p.97-127
2023
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
INCOMPATIBILITY OF GENERIC HUGENESS PRINCIPLES
The bulletin of symbolic logic, 2023-06, Vol.29 (2), p.157-162
2023
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
THE AXIOM OF CHOICE IS FALSE INTUITIONISTICALLY (IN MOST CONTEXTS)
The bulletin of symbolic logic, 2023-03, Vol.29 (1), p.71-96
2023
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
AXIOMATIZABILITY OF PROPOSITIONALLY QUANTIFIED MODAL LOGICS ON RELATIONAL FRAMES
The Journal of symbolic logic, 2024-06, Vol.89 (2), p.758-793
2024
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
THE COLLAPSE OF THE HILBERT PROGRAM: A VARIATION ON THE GÖDELIAN THEME
The bulletin of symbolic logic, 2022-09, Vol.28 (3), p.413-426
2022
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
MODEL THEORY AND MACHINE LEARNING
The bulletin of symbolic logic, 2019-09, Vol.25 (3), p.319-332
2019
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
A TOPOLOGICAL APPROACH TO UNDEFINABILITY IN ALGEBRAIC EXTENSIONS OF Q
The bulletin of symbolic logic, 2023-12, Vol.29 (4), p.626-655
2023
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
ASYMMETRIC CUT AND CHOOSE GAMES
The bulletin of symbolic logic, 2023-12, Vol.29 (4), p.588-625
2023
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
FOUNDATIONS OF ONLINE STRUCTURE THEORY
The bulletin of symbolic logic, 2019-06, Vol.25 (2), p.141-181
2019
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
ISOMORPHISM OF LOCALLY COMPACT POLISH METRIC STRUCTURES
The Journal of symbolic logic, 2024-06, Vol.89 (2), p.646-664
2024
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
MODULAR MANY-VALUED SEMANTICS FOR COMBINED LOGICS
The Journal of symbolic logic, 2024-06, Vol.89 (2), p.583-636
2024
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
PARTITION GENERICITY AND PIGEONHOLE BASIS THEOREMS
The Journal of symbolic logic, 2024-06, Vol.89 (2), p.829-857
2024
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
FORBIDDEN INDUCED SUBGRAPHS AND THE ŁOŚ–TARSKI THEOREM
The Journal of symbolic logic, 2024-06, Vol.89 (2), p.516-548
2024
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
AFFINE LOGIC FOR CONSTRUCTIVE MATHEMATICS
The bulletin of symbolic logic, 2022-09, Vol.28 (3), p.327-386
2022
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
MENAS’S CONJECTURE REVISITED
The bulletin of symbolic logic, 2023-09, Vol.29 (3), p.354-405
2023
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
COMPLETENESS OF THE GÖDEL–LÖB PROVABILITY LOGIC FOR THE FILTER SEQUENCE OF NORMAL MEASURES
The Journal of symbolic logic, 2024-03, Vol.89 (1), p.163-174
2024
Link zum Volltext
Verfügbarkeit prüfen
1 – 25 von 295
Suche als RSS-Feed
Aktive Filter
SpracheKoreanisch
ThemaMaterials Science
KollektionAUTh Library subscriptions: Project Euclid Complete
ThemaScience & Technology - Other Topics
Suchergebnisse filtern
Filter anzeigen